Commit Graph

61 Commits

Author SHA1 Message Date
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
Ethan Cemer
b8913c92d9 perf: optimized sol verifier by replacing memory params with calldata. (#344) 2023-07-09 19:14:27 +01:00
Jseam
287935645a refactor: change ezkl_lib to ezkl (#345)
---------

Co-authored-by: dante <45801863+alexander-camuto@users.noreply.github.com>
2023-07-08 14:50:09 +01:00
dante
6dd9aacb7f refactor: only GraphData can be on-chain (#342) 2023-07-07 12:21:53 +01:00
dante
d895ab3023 refactor: abstract over input types (#335) 2023-07-01 23:02:52 +01:00
dante
4e350ec06c refactor: split input and witness data types (#334) 2023-06-30 03:55:27 +01:00
Ethan Cemer
71c3024f48 feat: onchain / file options for input data + persisted evm state between cmds (#319)
---------

Co-authored-by: Alexander Camuto <45801863+alexander-camuto@users.noreply.github.com>
Co-authored-by: Alexander Camuto <alexander.camuto@st-hughs.ox.ac.uk>
2023-06-25 18:34:10 +01:00
dante
78b5fe29a5 feat: get_srs command (#323) 2023-06-22 18:08:05 +01:00
dante
f6de16a6e4 refactor: split input/witness (#316) 2023-06-20 22:08:39 +01:00
dante
33dc39d24d fix: slow calibration pass (#314) 2023-06-20 12:23:40 +01:00
Ethan Cemer
7325122d83 feat: Create verifyWithDataAttestation.sol (#293) 2023-06-20 09:42:39 +01:00
Jseam
6cce387a16 feat: standardize serialization and lets forward output values (#312)
---------

Co-authored-by: Alexander Camuto <45801863+alexander-camuto@users.noreply.github.com>
2023-06-19 14:54:07 +01:00
dante
9edd47bbf6 feat: visibility = encrypted (#311) 2023-06-18 18:25:33 +01:00
dante
6b3e66a648 feat: hashed parameters (#309) 2023-06-17 08:12:19 +01:00
dante
22ed50e8f6 refactor: avoid overloading "params" (#300) 2023-06-14 20:34:05 +01:00
dante
7b5a0e03e0 feat: calibration pass (#295) 2023-06-13 13:34:33 +01:00
dante
76a16a2374 feat: hashes of inputs and outputs as instances (#291) 2023-06-10 14:35:31 +01:00
dante
73ed05cef4 feat: allow for variable batch sizes (#283) 2023-06-04 12:08:55 +01:00
Ethan Cemer
fa76bf3dba perf: optimized fix_verifier_sol & added support for aggregated solidity verifiers 🎉 (#254) 2023-05-28 22:06:20 +01:00
Jseam
cc5ec813ab feat: Create python bindings for aggregate, verify_aggr, create_evm_verifier_aggr, print_proof_hex (#258) 2023-05-27 18:03:05 +01:00