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.

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

Closed
wants to merge 28 commits into from
Closed

Rollup bindings #35

wants to merge 28 commits into from

Conversation

L-as
Copy link
Collaborator

@L-as L-as commented Jun 30, 2023

No description provided.

@@ -79,7 +78,7 @@ module Step = Pickles.Impls.Step

let rollup =
object%js
method compile =
method compile (pk : S.Public_key.Compressed.t) =
Copy link
Collaborator Author

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
Copy link
Collaborator Author

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

Copy link
Collaborator

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)
Copy link
Collaborator Author

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

@MartinOndejka MartinOndejka changed the base branch from bindings-berkeley to o1js-bindings-main October 16, 2023 16:29
@L-as L-as closed this Nov 17, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants