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

Jump to bottom

L2: prove L2 deposits #2199

Open
xqft opened this issue Mar 11, 2025 · 0 comments · May be fixed by #2209
Open

L2: prove L2 deposits #2199

xqft opened this issue Mar 11, 2025 · 0 comments · May be fixed by #2209
Labels
L2 Rollup client

Comments

@xqft
Copy link
Contributor

xqft commented Mar 11, 2025 •
edited
Loading

First add the committed deposit logs hash as public input to the execution program of each zkvm. Then, in the program:

  1. For each PrivilegedL2Transaction in the block (transaction type used exclusively for deposits):
    1. Recreate the deposit log from the transaction fields (value, to, deposit_id)
    2. Push the log into an outer vec
  2. Hash the log vec (the same way the committer does). This should be the committed deposit log hash.
  3. Check that the resulting hash equals the public input one.
@xqft xqft added the L2 Rollup client label Mar 11, 2025
@xqft xqft added this to ethrex_l2 Mar 11, 2025
This was referenced Mar 12, 2025
Open
Draft
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
L2 Rollup client
Projects
ethrex_l1
Status: No status
ethrex_l2
Status: No status
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

feat(l2): prove deposits lambdaclass/ethrex
1 participant
@xqft