Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

SnarkyJS proof recursion #11268

Merged
merged 27 commits into from
Jun 17, 2022
Merged

SnarkyJS proof recursion #11268

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
27 commits
Select commit Hold shift + click to select a range
43a37ed
Merge branch 'feature/snarkyjs-update' into feature/snarkyjs-recursion
mitschabaude Jun 13, 2022
11d23b6
defer `Side_loaded.Proof.of_proof` to when needed
mitschabaude Jun 13, 2022
380d960
[snarkyjs] determine Max_proofs_verified module
mitschabaude Jun 13, 2022
318d2a2
[snarkyjs] implement zkapp recursion
mitschabaude Jun 13, 2022
720ed60
[snarkyjs] make pickles statement a generic array
mitschabaude Jun 13, 2022
ba38346
bump snarkyjs
mitschabaude Jun 13, 2022
14df08a
[snarkyjs] remove `main_value`
mitschabaude Jun 14, 2022
a4bf21f
[snarkyjs] force `check` on all circuit types
mitschabaude Jun 14, 2022
871d63c
[snarkyjs] remove boolean added for `main_value`
mitschabaude Jun 15, 2022
9d549ad
[snarkyjs] pass prev statement to prover
mitschabaude Jun 15, 2022
c76e561
bump snarkyjs
mitschabaude Jun 15, 2022
87d0418
adapt number of nodejs workers to cpu cores
mitschabaude Jun 15, 2022
650ca01
[snarkyjs] improve uncaught exception handling
mitschabaude Jun 16, 2022
3256569
[snarkyjs] fix: provers expect proofs + statements
mitschabaude Jun 16, 2022
1e0a32d
[snarkyjs] tweak error override
mitschabaude Jun 16, 2022
972f83f
[snarkyjs] fix and clean up tests
mitschabaude Jun 16, 2022
c115fca
bump snarkyjs
mitschabaude Jun 16, 2022
201d603
[snarkyjs] fix another test
mitschabaude Jun 16, 2022
b119a93
bump snarkyjs
mitschabaude Jun 16, 2022
dd2fdb7
bump snarkyjs
mitschabaude Jun 16, 2022
d188cc2
Merge branch 'develop' into feature/snarkyjs-recursion
mitschabaude Jun 16, 2022
d05e9da
[snarkyjs] fix another test
mitschabaude Jun 16, 2022
772cc1b
[snarkyjs] `(zkapp_)statement` -> `public_input`
mitschabaude Jun 16, 2022
77da0aa
bump snarkyjs
mitschabaude Jun 16, 2022
6c35b85
Merge branch 'develop' into feature/snarkyjs-recursion
mitschabaude Jun 16, 2022
57008e7
Merge branch 'develop' into feature/snarkyjs-recursion
mitschabaude Jun 17, 2022
0bedf10
[snarkyjs] fix `main` return value
mitschabaude Jun 17, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 4 additions & 2 deletions src/lib/snarky_js_bindings/dune
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,8 @@
(modes js)
(link_flags (-noautolink))
(js_of_ocaml
(flags +toplevel.js +dynlink.js --pretty))
(flags +toplevel.js +dynlink.js --pretty)
(javascript_files overrides.js))
(libraries snarky_js_bindings_lib node_backend)
(link_deps
../crypto/kimchi_bindings/js/node_js/plonk_wasm.js
Expand All @@ -26,7 +27,8 @@
(modes js)
(link_flags (-noautolink))
(js_of_ocaml
(flags +toplevel.js +dynlink.js --pretty))
(flags +toplevel.js +dynlink.js --pretty)
(javascript_files overrides.js))
(libraries snarky_js_bindings_lib chrome_backend)
(link_deps
../crypto/kimchi_bindings/js/chrome/plonk_wasm.js
Expand Down
Loading