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

feat(l2): prove deposits #2209

Draft
wants to merge 204 commits into
base: main
Choose a base branch
from
Draft

feat(l2): prove deposits #2209

wants to merge 204 commits into from

Conversation

xqft
Copy link
Contributor

@xqft xqft commented Mar 12, 2025

Motivation

Adds a way to verify that the deposits hash is correct when verifying an L2 block execution proof.

Description

  • adds deposit log hash calculation inside execution programs, based on the deposit transactions in the executed block.

Closes #2199

xqft added 30 commits January 14, 2025 12:31
@xqft
add indexdb
94fb3e3
@xqft
rename InnerIndexDB to AuxIndexDB
2847cf8
@xqft
add IndexDBError
89ba179
@xqft
change Revm EVM error to ours
f5192c4
@xqft
replace from_exec impl with indexdb
9616b7d
@xqft
Merge branch 'main' into l2/touched_state
9d97192
@xqft
WIP add PreExecDB
253ab7f
@xqft
WIP add proofs in from_store()
966706e
@xqft
WIP remove internal mutability
2135a08
@xqft
refactor
eabd6a3
@xqft
replace PreExecDB with CacheDB
9ffbc44
@xqft
nits
a308649
@xqft
fix filter
b0d214f
@xqft
add nonce and balance validations during pre-exec
1b64809
@xqft
put proofs inside executiondb
dd75353
@xqft
fix errors
389ddab
@xqft
remove optiona_balance_check feature
fec82ef
@xqft
remove unused errors
0405835
@xqft
fix filter
987e359
@xqft
add db verification
4a0a715
@xqft
remove unused imports
eb98e53
@xqft
update sp1 prover
892060a
@xqft
Merge branch 'main' into l2/touched_state
d9aee43
@xqft
remove revm types
6f2169c
@xqft
add bench crate
d0669bf
@xqft
make a blocking rpc client
321d260
@xqft
create ToExecDB trait
76c5cff
@xqft
remove unnecessary store_wrapper
fdf6d9f
@xqft
WIP optimizing rpc db
297b7f4
@xqft
cache storage
6a7c60c
@xqft xqft force-pushed the l2/prove_deposits branch from 924032b to f63f54b Compare March 13, 2025 20:16
xqft added 24 commits March 13, 2025 17:53
@xqft
Merge branch 'main' into l2/pico
ac9c84b
@xqft
fix unkown revert
12afe00
@xqft
Merge branch 'main' into l2/pico
3f305a2
@xqft
fix
293ca95
@xqft
Merge branch 'main' into l2/pico
c46b4e5
@xqft
Merge branch 'l2/fix_prover_l2_mode' into l2/prove_deposits
0582eb7
@xqft
replace mock backend with exec
d9050d0
@xqft
update docs
0cf3f53
@xqft
Merge branch 'main' into l2/pico
abf9423
@xqft
revert removal of prover config
08d0242
@xqft
Merge branch 'main' into l2/pico
8b14c89
@xqft
fix prover backends conditional
a8bbee6
@xqft
set exec backend as default for ethrex l2 cli
f64086d
@xqft
remove pico as a backend for ethrex_l2 cli prove command
cc46d00
@xqft
ethrex l2 cli prove command will use only sp1 backend
c0287a6
@xqft
update l2 prover workflow
d1b6358
@xqft
fixes
882c9c7
@xqft
fmt
e5bdc7a
@xqft
fix clippy
5707ffa
@xqft
remove prove command
13f68d6
@xqft
fmt
c84ec64
@xqft
add succint toolchain to lint job
e631e90
@xqft
Merge branch 'main' into l2/prove_deposits
a88acf6
@xqft
Merge branch 'l2/pico' into l2/prove_deposits
b5875c1
Base automatically changed from l2/pico to main March 17, 2025 19:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

L2: prove L2 deposits
3 participants
@xqft @Oppen @jrchatruc