Commit graph

  • 901ba6442c
    clone SecretKey, remove Infallible error type, set_contains arity (#329) Daniel Gulotta 2025-07-02 17:55:02 -07:00
  • 24cafde231
    Assorted tweaks to support external playground crate (#322) Rob Knight 2025-07-02 18:27:54 +02:00
  • 335100d1d7
    add auto implementation of Pod::equals (#327) Daniel Gulotta 2025-07-01 11:09:35 -07:00
  • e0d2fce060
    fix #315, and add cargo check in GitHub CI with zk feature disabled (#316) arnaucube 2025-07-01 12:02:12 +02:00
  • b123185ee9
    Support public key literals and tidy up handling of Raw vs PodId (#319) Rob Knight 2025-07-01 10:34:35 +02:00
  • 6aa4acac4a
    Restore typed data to serialized PODs (#318) Rob Knight 2025-06-28 07:53:31 +02:00
  • 3306f360f7
    make Pod trait thread-safe (#317) Eduard S. 2025-06-27 15:48:52 +01:00
  • b6041508e5
    resolve #273: remove global constant MAX_DEPTH, instead use the respective value from Params (#314) arnaucube 2025-06-26 13:54:28 +02:00
  • 115c3c1152
    fix: use raw values for container keys and values (#312) Ahmad Afuni 2025-06-25 22:41:52 +10:00
  • e1775d8578
    add eq & partial_eq for RecursivePod, Pod traits and VDSet struct (for usage from introduction-pods) (#309) arnaucube 2025-06-24 17:41:46 +02:00
  • 256d76ae34
    add zk config, enabled by a feature (on by default) (#306) arnaucube 2025-06-24 17:28:58 +02:00
  • d5da9d8593
    Display point in base58 (#305) Eduard S. 2025-06-23 16:18:58 +02:00
  • 151419ec88
    feat: compress EC subgroup points before serialising (#304) Ahmad Afuni 2025-06-20 23:01:11 +10:00
  • b7ac54d972
    Add some top-level examples (#303) Eduard S. 2025-06-19 19:31:54 +02:00
  • 6249406cb2
    Complete the verification in MainMockPod (#302) Eduard S. 2025-06-19 16:28:25 +02:00
  • df8fce76d6
    better measuring (#295) Eduard S. 2025-06-18 17:23:32 +02:00
  • 0541817116
    move pod data's deserialization to RecursivePod trait (#294), expose get_common_data (#300) arnaucube 2025-06-18 11:13:29 +02:00
  • 6ab0bc52fc
    recursion circuit's verifier_data_hash include constant_sigmas_cap in the hash, and add explanation (#288) arnaucube 2025-06-17 10:49:04 +02:00
  • 462aaee061
    Fix incorrect output statement types on operation check (#292) Rob Knight 2025-06-17 10:40:52 +02:00
  • 3c6930dfe6
    Allow literals in statement templates (#287) Eduard S. 2025-06-16 16:38:38 +02:00
  • 7d0d3ad769
    Allow literals in statements (#276) Daniel Gulotta 2025-06-13 10:27:19 -07:00
  • 21ab3c2d0d
    Basic 'use' syntax for importing custom predicates (#286) Rob Knight 2025-06-13 19:09:08 +02:00
  • f7bb6af219
    docs: add initial docs of Introduction PODs section, with some diagrams (#285) arnaucube 2025-06-13 11:26:12 +02:00
  • 3b4edab1f5
    remove NonePod and use dummy signed pods (#272) Eduard S. 2025-06-13 10:14:15 +02:00
  • 03485d6fd3
    fix anchored keys syntax (#283) Eduard S. 2025-06-12 18:15:02 +02:00
  • 3ea0d5be71
    Better Hash and PartialEq for Keys and AnchoredKeys (#277) Rob Knight 2025-06-11 13:25:08 +02:00
  • 273d803ebd
    Add verifier-datas tree (set) & in-circuit verification (#274) arnaucube 2025-06-11 13:08:39 +02:00
  • 6258e52e1a
    update docs to use pod lang v1 (#268) Eduard S. 2025-06-10 15:08:45 +02:00
  • 6feff2ae69
    display statement/statement_tmpl as in pod lang v1 (#269) Eduard S. 2025-06-10 15:06:57 +02:00
  • 77c96d5dbe
    chore(backend): add flags to PointTarget struct (#270) Ahmad Afuni 2025-06-10 21:47:51 +10:00
  • 9c709094e5
    adjust recursive calculation using standard gates (#251) Eduard S. 2025-06-10 12:35:13 +02:00
  • 621f8be6b5
    Implement generic serialization/deserialization (#260) Eduard S. 2025-06-10 12:17:30 +02:00
  • c66506c048
    feat(backend): Use Schnorr signatures for signed PODs (#236) Ahmad Afuni 2025-06-10 00:24:16 +10:00
  • 541c264586
    Podlog language v1 (#225) Rob Knight 2025-06-07 07:17:23 +02:00
  • e8edbbc1c5
    Feat/add exp gate (#257) Sunghyeon Jo 2025-06-06 02:37:15 -07:00
  • 7bc0bd08d2
    expose some interfaces for external usage (from introduction-pods) (#256) arnaucube 2025-06-05 11:37:43 +02:00
  • 5d13ac32ce
    update docs (#242) tideofwords 2025-06-02 17:49:33 -07:00
  • 88a75986b8
    Integrate recursion into MainPod (#243) Eduard S. 2025-05-29 17:10:19 +02:00
  • d3fef8392e
    calculate MainPod id in a dynamic-friendly way (#241) Eduard S. 2025-05-23 10:12:28 +02:00
  • 82481e88d7
    allow SELF in st_tmpl (#240) Eduard S. 2025-05-22 15:13:02 +02:00
  • b4a4c72328
    Add RecursiveCircuit (#204) arnaucube 2025-05-21 13:15:22 +02:00
  • c3c9e7f99c
    add gate count metrics (#238) Eduard S. 2025-05-21 12:45:51 +02:00
  • de9b206852
    Serialization for Plonky2 Signed and Main PODs (#234) Rob Knight 2025-05-19 02:22:38 -07:00
  • def0730462
    Fix custom predicate circuits and add tests for them (#235) Eduard S. 2025-05-16 13:17:14 +02:00
  • f5a1aa7523
    chore: workaround for #230 (#231) Ahmad Afuni 2025-05-14 00:22:11 +10:00
  • cd40219ba6
    Use id as public inputs in MainPod verify (#233) Eduard S. 2025-05-13 16:19:51 +02:00
  • 024ed8bd04
    Constraints for custom predicates (#227) Eduard S. 2025-05-13 11:00:45 +02:00
  • 4fa9e20ecd
    feat(backend): implement gadgets for remaining ops (#228) Ahmad Afuni 2025-05-13 07:34:35 +10:00
  • b2cb563eb6
    Desugar statement templates (#226) Rob Knight 2025-05-09 05:48:18 -07:00
  • 726f95483d
    add target types for custom predicates (#223) Eduard S. 2025-05-07 11:09:38 +02:00
  • bf394eada3
    feat(backend): implement more ops (#222) Ahmad Afuni 2025-05-07 10:37:05 +10:00
  • 8cc090c5e0
    Implement HashOf statement and op (#217) Ahmad Afuni 2025-05-06 19:14:53 +10:00
  • 53ade6ea26
    chore: implement Gt and GtEq as syntactic sugar (#216) Ahmad Afuni 2025-05-06 06:59:59 +10:00
  • e420aa7b32
    Make Plonky2 config more explicit (#209) Ahmad Afuni 2025-04-30 07:15:20 +10:00
  • 29545f03fc
    migrate from anyhow to thiserror (#197) arnaucube 2025-04-22 15:07:04 +02:00
  • 58d3c6a236
    make Pod derive from Any (#205) Daniel Gulotta 2025-04-22 06:06:23 -06:00
  • bf6d8aee8b
    Re-implement serialization (#201) Rob Knight 2025-04-22 04:19:20 -07:00
  • 26a6b2d143
    Padding in set target (#200) Eduard S. 2025-04-21 17:27:29 +02:00
  • 17e6c2a092
    chore(frontend): make Merkle proofs optional (#198) Ahmad Afuni 2025-04-17 21:51:02 +10:00
  • 281f57f0a0
    move MainPod layouting to mainpod (#196) Eduard S. 2025-04-17 13:31:44 +02:00
  • 0b5d4dd802
    Remove output statement logic in middleware (#199) Ahmad Afuni 2025-04-17 21:15:46 +10:00
  • c232c8dae5
    Refactor frontend/middleware types (#194) Eduard S. 2025-04-16 11:59:30 +02:00
  • 9e860ef262
    Use the sanctions set passed in as arg to builder function (#193) Rob Knight 2025-04-10 10:07:40 -07:00
  • 0759d6e165
    Add clippy (#191) Eduard S. 2025-04-08 11:52:02 -07:00
  • 24ff82dd3d
    Organize imports (#188) Eduard S. 2025-04-07 16:19:13 -07:00
  • 1214cdfa1b
    chore(qol): add rust-analyzer.toml (#187) Ahmad Afuni 2025-04-08 08:33:49 +10:00
  • a6cd02ec2f
    Add extra front-end types and make MainPodBuilder emit these (#166) Rob Knight 2025-04-07 14:27:20 -07:00
  • 6528914366
    chore(backend): implement more circuit op logic (#173) Ahmad Afuni 2025-04-08 02:15:46 +10:00
  • adad695ba5
    complete full zukyc example doc (#172) Eduard S. 2025-04-04 12:00:57 -07:00
  • ce26a316a1
    MainPod implementation (#168) Eduard S. 2025-04-01 11:23:45 -07:00
  • 4a94b34792
    Add SignedPod verification circuit (SignedPodVerifyGadget) (#170) arnaucube 2025-04-01 18:20:28 +02:00
  • 0637f52573
    add circuit to verify signatures (SignatureVerifyGadget) (#167) arnaucube 2025-04-01 01:36:37 +02:00
  • d00ff95f41
    Fe contains (#145) tideofwords 2025-03-26 17:54:58 -07:00
  • d6033b7090
    implement SignedPod (non-mock) using proof-based signatures (#160) arnaucube 2025-03-25 22:17:14 +01:00
  • 30f26a94ef
    chore(backend): implement some circuit op logic (#165) Ahmad Afuni 2025-03-26 03:40:23 +10:00
  • 3b2860beeb
    organize files & dirs (mostly backend structure) (#158) arnaucube 2025-03-24 12:34:45 +01:00
  • b93187c9bb
    Progress on the MainPod circuit (#159) Eduard S. 2025-03-21 16:53:03 +01:00
  • 9afc43675d
    Serialization of Signed and Main Pods (#128) Rob Knight 2025-03-21 14:42:16 +01:00
  • fee70af12b
    Print debugging info if a pod does not verify (#141) tideofwords 2025-03-20 10:36:26 -07:00
  • 22db6ce4c6
    MainPod circuit skeleton (#151) Eduard S. 2025-03-20 13:32:12 +01:00
  • 2a2628ccbf
    chore: simplify ToFields trait (#154) Eduard S. 2025-03-20 09:38:46 +01:00
  • b1689c5b37
    Merkleproof verify circuit (#143) arnaucube 2025-03-18 19:34:01 +01:00
  • abce0af675
    chore(frontend): expose literal method in MainPod builder + more op macros (#127) Ahmad Afuni 2025-03-12 23:30:11 +10:00
  • 12ec220de6
    add initial counter setup (#130) arnaucube 2025-03-12 14:29:55 +01:00
  • a77b522128
    add signature documentation page (#123) arnaucube 2025-03-11 19:49:12 +01:00
  • 1b53e3b693
    Replace leaf hash function (#129) Ahmad Afuni 2025-03-12 00:00:27 +10:00
  • aa4d0a2670
    Wrap up ETHDoS example (#121) Ahmad Afuni 2025-03-11 00:03:39 +10:00
  • ef3bf26533
    implement proof-based signatures using plonky2 proofs (#112) arnaucube 2025-03-07 15:27:14 +01:00
  • 42c1f0b0f7
    Replace constant 4 with HASH_SIZE (#119) tideofwords 2025-03-07 06:10:09 -08:00
  • 2864ef22d4
    Implement more frontend ops (#111) tideofwords 2025-03-07 03:15:01 -08:00
  • 6627b46819
    chore: add statement and KV metadata to frontend PODs (#117) Ahmad Afuni 2025-03-07 14:35:25 +10:00
  • 02ec7c311b
    sync spec & code (#107) arnaucube 2025-03-05 20:35:23 +01:00
  • 77f3f347e0
    Fix i64 conversion (#110) Rob Knight 2025-03-05 15:46:27 +01:00
  • 9d60b0ec3a
    Frontend work (#109) Ahmad Afuni 2025-03-05 21:02:28 +10:00
  • 7eeb595dc2
    Backend support for custom statements and deductions (#105) tideofwords 2025-03-03 15:55:30 -08:00
  • 5092149f9f
    Check statement correctness on compile (#104) tideofwords 2025-03-03 15:12:09 -08:00
  • c92839d897
    limit the number of StatementTmpl in CustomPredicate: (#101) arnaucube 2025-03-03 05:38:51 +01:00
  • c9f7427967
    Organize docs: front and back end; custom predicates. (#96) tideofwords 2025-03-02 08:26:29 -08:00
  • 7373b959f6
    feat: custom predicates in frontend statement and operation types (#97) Ahmad Afuni 2025-02-28 22:03:44 +10:00
  • bcfad307e7
    ZuKYC example: get the sanctions list from a SignedPod (#98) Rob Knight 2025-02-28 12:15:18 +01:00