-
Notifications
You must be signed in to change notification settings - Fork 519
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.
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
SnarkyJS proof recursion #11268
SnarkyJS proof recursion #11268
Conversation
mitschabaude
commented
Jun 13, 2022
•
edited
edited
- Companion of Recursion Pt 1 o1-labs/o1js#245
- Adapts the Pickles interface of snarkyjs to support proof merging
- this also has the changes from Update snarkyjs & tweak build #11251, which wasn't reviewed so far. Those changes were minor, so we might just review them here and discard that other PR
- After a day-long debugging marathon, I made a change that overrides how jsoo handles uncaught exceptions: 650ca01 This is related insofar as it would've saved many hours of work on this PR if it were here before
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I don't like the changes to the proving API, and would like to see those names changed, but the code looks like it will work.
@@ -1590,61 +1564,43 @@ let () = | |||
|
|||
(* helpers for pickles_compile *) | |||
|
|||
type 'a zkapp_statement = { transaction : 'a; at_party : 'a } | |||
type 'a zkapp_statement = 'a array |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Nit: It doesn't seem correct (and confused me at first) that this is still called zkapp_statement
. Perhaps rename it to public_input
/ raw_statement
/ etc.?
|
||
let zkapp_statement_to_fields { transaction; at_party } = | ||
[| transaction; at_party |] | ||
type zkapp_statement_js = field_class Js.t Js.js_array Js.t |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Likewise here.