-
Notifications
You must be signed in to change notification settings - Fork 3
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
Rollup bindings #35
Rollup bindings #35
Conversation
ecf79a0
to
b42f13f
Compare
ac65068
to
cfc3fe3
Compare
@@ -79,7 +78,7 @@ module Step = Pickles.Impls.Step | |||
|
|||
let rollup = | |||
object%js | |||
method compile = | |||
method compile (pk : S.Public_key.Compressed.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.
This means you have to recompile every time you change the pk. Do note compilation will be cached in the future. It will also cause issues when we try to do a rollup inside a rollup.
@@ Js.to_string txn_snark | ||
in | ||
let statement = Transaction_snark.statement txn_snark in | ||
let root = statement.target.first_pass_ledger in |
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.
FIXME: this needs to use second pass ledger
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.
This is already accounting the fact that we are ignoring second pass ledger here 722f50f
in | ||
let%bind merged = | ||
time "Transaction_snark.merge" | ||
(T.merge prev next ~sok_digest:statement.sok_digest) |
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.
FIXME: this probably doesn't work with zkapp commands correctly
413a002
to
c5a0cc5
Compare
No description provided.