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.

@L-as L-as force-pushed the rollup-bindings branch from 4c10d6b to 20022a0 Compare June 30, 2023 12:08
@L-as L-as mentioned this pull request Aug 12, 2023
@L-as L-as force-pushed the rollup-bindings branch from 55676f3 to e91699e Compare August 12, 2023 07:58
@MartinOndejka MartinOndejka force-pushed the rollup-bindings branch 2 times, most recently from ac65068 to cfc3fe3 Compare September 27, 2023 13:08
@@ -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