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

Cache prover keys #187

Merged
merged 25 commits into from
Oct 31, 2023
Merged

Cache prover keys #187

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
25 commits
Select commit Hold shift + click to select a range
ac82242
make ocaml bindings aware of js environment
mitschabaude Oct 18, 2023
934cfdf
add stub cache implementations for js
mitschabaude Oct 18, 2023
876edfb
make caching configurable from js
mitschabaude Oct 18, 2023
a98fef2
dune
mitschabaude Oct 18, 2023
09db660
remove cache dir from js intf and add canWrite boolean
mitschabaude Oct 18, 2023
2832ab5
update wasm types
mitschabaude Oct 19, 2023
02f13a4
add index encoding methods to wasm bindings
mitschabaude Oct 19, 2023
bcc3f1b
expose srs loading
mitschabaude Oct 19, 2023
f21b415
fixup
mitschabaude Oct 19, 2023
70358c3
fixup
mitschabaude Oct 19, 2023
2fed8dc
fixup: add linearization
mitschabaude Oct 19, 2023
9aa3e01
same for fq
mitschabaude Oct 19, 2023
631e9ca
wasm types
mitschabaude Oct 19, 2023
b8c624f
update bindings
mitschabaude Oct 20, 2023
d1f77de
work towards wrap vk encoding
mitschabaude Oct 20, 2023
eed8503
fixup: unwrap vk decoding result
mitschabaude Oct 23, 2023
22806e8
expose rust conversion functions to main codebase
mitschabaude Oct 23, 2023
610e7bb
make vk deserialize return a proper error
mitschabaude Oct 23, 2023
b4c598b
Merge branch 'main' into feature/pickles-js-caching
mitschabaude Oct 23, 2023
e77f9f4
add back wasm types after ignoring when merging
mitschabaude Oct 23, 2023
73d1424
adapt bindings
mitschabaude Oct 25, 2023
782ef8c
Merge branch 'main' into feature/pickles-js-caching
mitschabaude Oct 30, 2023
09d74f2
expose utils to convert between ml and js strings
mitschabaude Oct 30, 2023
9836b6e
no need to disable caching on the web
mitschabaude Oct 30, 2023
7e157de
update bindings
mitschabaude Oct 30, 2023
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
2 changes: 1 addition & 1 deletion MINA_COMMIT
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
The mina commit used to generate the backends for node and web is
4b4361f0ecb0dda8c5cf90cbef52c90664799901
1aad04f42fd1a7938b770cda44f506f1393e056c
Loading