80 Commits

Author SHA1 Message Date
dante
8cf28456b3 refactor: remove IPA (#1014) 2025-10-14 09:32:28 -04:00
dante
e70e13a9e3 refactor!: rm ios,js,aggregation (#1013)
BREAKING CHANGE: removes support for iOS, JS, WASM and removes aggregation circuit.
2025-10-10 09:56:41 -04:00
dante
d7b04d0d25 chore: update icicle to latest (#998) 2025-08-14 18:21:06 -04:00
Ethan Cemer
3ea68f08b3 feat: vka hashing squash (#982) 2025-06-27 22:58:10 +02:00
dante
bf9cf14ab7 refactor!: rpc url should be required (#965)
BREAKING CHANGE: in python the order of arguments for evm related functions has changed
2025-04-22 12:45:36 +01:00
dante
ae076aef09 refactor: rm tolerance parameter (#937) 2025-02-11 12:57:18 -05:00
dante
a7544f4060 feat: generalize conv mem layout and ND (#935) 2025-02-10 09:11:58 -05:00
dante
4ed7e0fd29 fix: use variable len domain for poseidon (#927) 2025-02-05 16:52:28 -05:00
dante
675628cd08 fix!: shuffle argument should include an incrementing index (#904)
BREAKING CHANGE: pk and vk will not be backwards compatible
2025-01-17 09:19:10 -05:00
Ethan Cemer
d2b683b527 feat: reusable verifier (#821) 2024-10-22 09:10:24 -04:00
dante
64fbc8a1c9 refactor: lookup-less sign relu abs (#845) 2024-09-17 11:58:58 -04:00
dante
2fd877c716 chore: small worm example (#568) 2024-07-15 09:20:37 -04:00
Ethan Cemer
390de88194 feat: create_evm_vk python bindings (#818) 2024-06-23 22:21:59 -04:00
dante
5a8498894d feat: create encode-evm-calldata in cli and python (#803) 2024-05-29 21:03:16 -04:00
dante
5125aaa090 chore: add aarch64 linux to release pipeline (#788) 2024-05-13 11:29:49 +09:00
dante
a5bf64b1a2 feat!: ipa commitments (#740)
BREAKING CHANGE: commitment is now an added flag
2024-03-16 16:31:01 +00:00
dante
88098b8190 fix!: cleanup felt serialization language in python and wasm (#724)
BREAKING CHANGE: python and wasm felt utilities have new names
2024-02-25 14:06:48 +00:00
dante
1b637a70b0 refactor: print_proof_hex is redundant with proof file (#713) 2024-02-14 15:25:28 +00:00
dante
97d9832591 refactor: calibration for resources and accuracy over same scale range (#710) 2024-02-11 15:03:38 +00:00
dante
df72e01414 feat: make selector compression optional (#696) 2024-01-24 00:09:00 +00:00
dante
de48ae18fa refactor: lookup safety during cal should be selectable (#678) 2024-01-03 16:10:58 +00:00
dante
fd3159d860 refactor: rm encrypted vis (#660) 2023-12-16 10:00:44 +00:00
dante
78c0aff9b0 refactor!: set defaults for most flags (#653)
BREAKING_CHANGE: arg ordering in python
2023-12-11 11:06:18 +00:00
dante
1697b6e46e feat!: create SRS repo by default to avoid redownloading (#649) 2023-12-08 17:59:55 +00:00
dante
54ab439fec fix: patch arg processing for 1D sumpool (#646) 2023-12-05 22:13:03 +00:00
dante
13dae3392f fix!: make calibrate-settings sync in python (#616)
BREAKING CHANGE: calibrate settings is no longer async
2023-11-18 01:08:10 +03:00
Jseam
1df0a92cf4 fix: adds parametric tests for python bindings (#599) 2023-11-09 15:17:45 +03:00
dante
4ac0873c5a chore: solvency demo (#571) 2023-10-24 11:52:33 +01:00
Giuseppe Bertone
c3538253fd feat: custom private key (#527) 2023-10-10 22:10:41 +01:00
dante
24482cad3c refactor!: simplify transcript/strategy choice (#502)
BREAKING CHANGE: replaces transcript and strategy args with a single arg
2023-09-26 15:04:38 +01:00
dante
eade3647d0 feat: merge compiled-model and circuit to reduce pipeline errors (#495) 2023-09-19 19:51:54 +01:00
dante
42ff8094f4 refactor: reuse assigned index mask when selecting/gathering (#487) 2023-09-15 20:57:18 +01:00
dante
bc6c81eca3 chore: python implementations of module functions (#484) 2023-09-14 12:35:16 +01:00
dante
47cc94e73a feat: onehot op (#472) 2023-09-12 09:36:13 +01:00
Ethan Cemer
025ba0a732 feat: buffer to felts/vec of vecu64s python/wasm bindings (#468) 2023-09-09 09:25:57 +01:00
dante
8033bb92b1 feat: calibration scales override (#443) 2023-08-28 09:49:37 +01:00
dante
f053eb6a18 fix: allow float values for PyRunArgs tolerance field (#440) 2023-08-26 22:19:35 +01:00
dante
1edb7840aa refactor: handle all field processing utils in wasm not js (#425) 2023-08-19 05:47:52 -06:00
dante
0b109ed4db refactor: remove tract as dep in wasm compile (#422) 2023-08-16 22:28:49 +01:00
dante
e07107070f chore: vk from pk python bindings (#409) 2023-08-11 14:17:53 -04:00
dante
8da9f67ee7 chore: felt <> float helper functions in python (#408) 2023-08-11 15:52:01 +01:00
Jseam
e915b9570e feat: Allow the use of logrows instead of a settings file in get-srs (#406) 2023-08-11 12:49:01 +01:00
dante
fa1394e106 refactor: multi outlet nodes (#403) 2023-08-10 17:16:01 -04:00
dante
8eff3bece3 refactor: clean up const raw values after processing (#400) 2023-08-10 03:29:17 +01:00
dante
fb658604d8 chore: vecu64 to felt util python binding (#401) 2023-08-09 00:59:48 +01:00
dante
643bf0c589 refactor: homogenize model and module witness field serialization (#387) 2023-08-01 00:41:12 +01:00
dante
8f21f0acb3 feat: pre quantize and compile model (#372) 2023-07-26 23:01:04 +01:00
dante
b08a4341f1 feat: split aggregate into setup and prove phases (#369) 2023-07-23 15:02:17 +01:00
dante
e2969785dd refactor: reduce elgamal instances (#367) 2023-07-21 11:38:02 +01:00
dante
883314b43b feat: expose aggregated instances (#361) 2023-07-15 22:52:49 +01:00