Commit graph

ed255/pod2

Fork 0

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