Commit Graph

167 Commits

Author SHA1 Message Date
dante
5125aaa090 chore: add aarch64 linux to release pipeline (#788) 2024-05-13 11:29:49 +09:00
dante
924f7c0420 fix: simplify kzg-commit (#780) 2024-04-24 11:57:20 -04:00
dante
4a93d31869 fix: accomodate modules in col-overflow (#777) 2024-04-18 17:13:31 -04:00
Ethan Cemer
f05f83481e chore: update eth postgres (#769)
---------

Co-authored-by: dante <45801863+alexander-camuto@users.noreply.github.com>
2024-04-13 08:08:09 -04:00
Ethan Cemer
8aaf518b5e fix: fix @ezkljs/verify etherumjs deps (#765) 2024-04-12 18:24:59 -04:00
dante
ff563e93a7 fix: bump python version (#761) 2024-04-02 17:08:26 +01:00
dante
5639d36097 chore: verify aggr wasm unit test (#760) 2024-04-01 20:54:20 +01:00
dante
3abb3aff56 feat: make selector polynomials optional (#753) 2024-03-22 09:28:28 +00:00
dante
338788cb8f fix: lookup safety = 1 during calibration falls OOR (#750) 2024-03-21 08:53:43 +00:00
dante
a5bf64b1a2 feat!: ipa commitments (#740)
BREAKING CHANGE: commitment is now an added flag
2024-03-16 16:31:01 +00:00
Ethan Cemer
2be181db35 feat: merge @ezkljs/verify package into core repo. (#736) 2024-03-14 01:13:14 +00:00
Ethan Cemer
fe535c1cac feat: wasm felt to little endian string (#729)
---------

Co-authored-by: Alexander Camuto <45801863+alexander-camuto@users.noreply.github.com>
2024-03-01 14:06:20 +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
6c0c17c9be fix: include tol check in fwd pass (#723) 2024-02-23 01:28:59 +00:00
dante
85ee6e7f9d refactor: use layout as the forward function (#707) 2024-02-08 21:15:46 +00:00
dante
80041ac523 refactor: equals argument without lookups (#705) 2024-02-07 14:20:13 +00:00
dante
bceac2fab5 ci: make gpu tests single threaded (#700) 2024-01-31 18:19:29 +00:00
dante
45fd12a04f refactor!: make rebasing multiplicative by default (#698)
BREAKING CHANGE: adds a `required_range_checks` field to `cs`
2024-01-30 18:37:57 +00:00
dante
bc7c33190f feat: allow for separate vk render on-chain (#697) 2024-01-25 19:48:13 +00:00
dante
df72e01414 feat: make selector compression optional (#696) 2024-01-24 00:09:00 +00:00
dante
ddbcc1d2d8 fix: calibration should only consider local scales (#691) 2024-01-18 23:28:49 +00:00
dante
db24577c5d fix: calibrate from total min/max on lookups rather than individual x (#690) 2024-01-17 23:59:15 +00:00
dante
fd3159d860 refactor: rm encrypted vis (#660) 2023-12-16 10:00:44 +00:00
dante
71a0a5fa0b chore: cleanup remote cmds (#650) 2023-12-09 23:35:56 +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
3386bba9ce chore: test for max 0.18 error on resources cal (#639) 2023-12-01 09:22:20 +00:00
dante
4fcf775d77 feat: lookup modularity (#637) 2023-11-28 22:43:28 +00:00
Jseam
e250b68979 fix: update hub queries (#630)
---------

Co-authored-by: dante <45801863+alexander-camuto@users.noreply.github.com>
2023-11-27 11:12:06 +00:00
dante
cd70a95836 refactor: remove most paths that panic or crash when using as a lib not bin (#632) 2023-11-26 13:05:07 +00:00
dante
4b1b9a8b8b chore: rm hub example (#631) 2023-11-23 18:05:28 +00:00
Jseam
df27e81038 docs: add tictactoe examples (#623) 2023-11-21 10:25:39 +00:00
dante
6082d71f08 fix: allow for 0 instance evm verifier (#622) 2023-11-21 00:45:07 +00:00
dante
6fea1dea53 chore: world rotation example (#618) 2023-11-18 15:09:39 +03: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
samtvlabs
9a2afb653a feat: hub auth (#605) 2023-11-14 16:11:19 +03:00
Jeremy Felder
97e473126d feat: icicle integration (gpu proving) (#586)
---------

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-11-12 16:49:25 +00:00
dante
50ed2e2990 chore: cleanup integration tests (#600) 2023-11-11 08:58:44 +03:00
dante
ae88ffe55b feat: match accum constraints to cuboid (#595) 2023-11-07 18:02:08 +03:00
dante
470116b97b chore: simple mnist classifier example (#593) 2023-11-04 19:38:33 +00:00
dante
4c8493d422 chore: generalized inverse example (#588) 2023-11-02 14:46:02 +00:00
dante
098903869a feat: aggregation for split proofs (#581) 2023-10-30 12:03:32 +00:00
dante
77df15d152 fix: patch int to float cast and rounding ops (#580) 2023-10-27 20:43:00 +01:00
Ethan Cemer
c821165ba1 feat: gen pk and vk wasm bindings (#577) 2023-10-27 09:31:12 +01:00
dante
8493ed3ddc fix: patch tract inference for ? dims (#576) 2023-10-26 23:30:24 +01:00
dante
3156738f16 chore: gan proof splitting example (no parallelism) (#574) 2023-10-25 23:52:42 +01:00
dante
875fdda60e chore: proof splitting example (#572) 2023-10-24 22:18:18 +01:00
dante
4ac0873c5a chore: solvency demo (#571) 2023-10-24 11:52:33 +01:00
dante
adff86a868 chore: kmeans example (#567) 2023-10-23 21:14:30 +01:00
dante
593e46a3da feat: kzg commitment proof bytes swapping (#565) 2023-10-20 17:00:19 +01:00