github/ezkl
1
1
Fork 0
mirror of https://github.com/zkonduit/ezkl.git synced 2026-01-14 00:38:15 -05:00
Code Issues Packages Projects Releases Wiki Activity
640 Commits 247 Branches 236 Tags
example-reorg
Commit Graph

253 Commits

Author SHA1 Message Date
dante
2a1ee1102c refactor: range check recip (#703) 2024-02-05 14:42:26 +00:00
dante
95d4fd4a70 feat: power of 2 div using type system (#702) 2024-02-04 02:43:38 +00:00
dante
04d7b5feaa chore: fold div_rebasing parameter into calibration (#699) 2024-01-31 10:03:12 +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
db24577c5d fix: calibrate from total min/max on lookups rather than individual x (#690) 2024-01-17 23:59:15 +00:00
dante
07a508016e refactor: carry conv/deconv kernel info at the const node level (#684) 2024-01-09 19:20:16 +00:00
dante
de48ae18fa refactor: lookup safety during cal should be selectable (#678) 2024-01-03 16:10:58 +00:00
dante
cc327586ee chore: bump revm / snark-verifier deps (#671) 
---------

Co-authored-by: Ethan <tylercemer@gmail.com>
 2023-12-21 13:00:42 +00:00
dante
fd3159d860 refactor: rm encrypted vis (#660) 2023-12-16 10:00:44 +00:00
dante
faf4db25d7 chore: adds rescaled public inputs / outputs as optional field to proofs (#658) 2023-12-14 11:33:38 +00:00
dante
865532b93d refactor: set defaults as exportable consts (#655) 2023-12-12 10:32:18 +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
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
Ethan Cemer
7df38d0aa6 feat: lenet model for improved accuracy of mnist classifier (#636) 
---------

Co-authored-by: dante <45801863+alexander-camuto@users.noreply.github.com>
 2023-12-06 23:32:35 +00:00
dante
54ab439fec fix: patch arg processing for 1D sumpool (#646) 2023-12-05 22:13:03 +00:00
dante
18681711f4 fix: remove implicit unwrap in einsum prod pair iteration (#644) 2023-12-04 23:21:54 +00:00
dante
166c41eca0 fix: increase lookup overflow slack to accomodate calibration for complex models (#640) 2023-12-02 10:54:16 +00:00
dante
3386bba9ce chore: test for max 0.18 error on resources cal (#639) 2023-12-01 09:22:20 +00:00
dante
5472ccb902 feat: layer-norm support (#638) 2023-11-29 12:48:52 +00:00
dante
4fcf775d77 feat: lookup modularity (#637) 2023-11-28 22:43:28 +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
ab4ac96196 feat: condense range related nodes into single constant (#626) 2023-11-22 23:32:24 +00:00
Jseam
df27e81038 docs: add tictactoe examples (#623) 2023-11-21 10:25:39 +00:00
dante
e56201529f fix: clash of #621 and #622 (#624) 2023-11-21 00:56:37 +00:00
glaze
93a7abe536 chore: add hardfork test for kzg_evm_kzg_input_prove_and_verify (#620) 2023-11-21 00:46:43 +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
dante
8edf220809 fix: move length tests to region equality constraint (#607) 2023-11-14 15:39:19 +00: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
aac2e9aa1d chore!: deprecate public vis for params (#602) 
BREAKING CHANGE: public vis for parameters now errors
 2023-11-12 02:43:24 +03:00
dante
50ed2e2990 chore: cleanup integration tests (#600) 2023-11-11 08:58:44 +03:00
Ethan Cemer
31d5d64ce7 feat: expose print proof hex in wasm (#601) 2023-11-11 01:56:03 +00:00
Jseam
1df0a92cf4 fix: adds parametric tests for python bindings (#599) 2023-11-09 15:17:45 +03:00
dante
8b07857fb5 refactor: bump inner col num default (#598) 2023-11-08 20:14:28 +00:00
dante
ae88ffe55b feat: match accum constraints to cuboid (#595) 2023-11-07 18:02:08 +03:00
dante
ee4e64faee feat: cuboid cell arrangement (#594) 2023-11-06 08:25:04 +00: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
a71951a14a chore: cleanup intermediary lookup calcs (#583) 2023-10-30 18:05:34 +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