feat(l2): integrate ExecutionDB, prove execution #956

xqft · 2024-10-23T18:24:16Z

Motivation

Integrates the ExecutionDB defined in the ethereum_rust-vm crate with the L2 prover, using it to represent the blockchain state in the zkVM and executing a block.

Description

prover server creates the DB from a pre-execution at request
the zkVM program takes the DB and block as inputs, and executes the block
generate groth16 proof instead of the default, which is not EVM-friendly and has no recursion. Recursion adds proving time and computing requirements, so we must take it into account.

This reverts commit 330177c.

This reverts commit e573135.

**Motivation** the default proof is not EVM-friendly and has no recursion. This change ups the proving time by x4. **Description** - generate groth16 proof

**Motivation** the block execution program is missing many validation steps, this PR adds them. **Description** - adds validation steps to zkVM program

fborello-lambda and others added 30 commits October 16, 2024 17:11

add libmdbx features

45c9a95

bump-up versions

0b6658b

add de/serialization for Block and Transaction

b154097

add zkvm program ci job

ab231dd

misc fixes on ci job

8957079

change names ci jobs

330177c

wip: add basic structure

88d0f71

fix: run tests with no-default-features

cf4d670

Merge branch 'l2/prover_integration' into l2/prover_base

6a794f2

add de/serialization for Receipt

518c30d

Merge branch 'l2/prover_integration' into l2/prover_base

0703ce6

Revert "change names ci jobs"

687619c

This reverts commit 330177c.

fix prover job

33db110

fix job binary path

2190010

fix cargo prove

1604131

nit

0312121

add prover crate to workspace

4d01428

fix: rm clone

f49e67e

fix: replace todo! with custom error

408e256

rm derive Deserialize for EIP1559

056094d

refactor transactions deser and derive deserialize on enum

e573135

Revert "refactor transactions deser and derive deserialize on enum"

7f0f7e8

This reverts commit e573135.

refactor transactions deser and derive deserialize on enum

24bc2d2

rm underscore form path variable

702c11b

add missing Serialize impl for EIP1559

2698e5b

Merge branch 'l2/prover_integration' into l2/prover_base

6ecac43

wip

980fea6

Merge branch 'main' into l2/prover_base

bbb3976

[wip] run prover with ethereum_rust_l2 cli

ce5c073

integrate prover's client with existing setup

c1498ab

xqft added 4 commits October 23, 2024 18:04

fix database() function, added chain_config()

8adff1b

replace MemoryDB with ExecutionDB

9feaf96

create prover input when handling request

baa9fe7

add debug log

f188f19

xqft force-pushed the l2/integrate_cache_db branch from eab1c75 to f188f19 Compare October 23, 2024 21:07

xqft force-pushed the l1/cache_db branch from 42104da to 8adff1b Compare October 23, 2024 21:07

xqft and others added 10 commits October 24, 2024 11:15

tidy up zkvm program, remove revm deps

accc380

fix compilation

0f0d864

remove parent header

4532715

add better info log

499d43e

fix log level

7db34c6

change prover log level

d249f39

change prover log level

48cfa4c

fix log level

5fcfcd7

remove unused dep

8796417

update example env

d948827

xqft marked this pull request as ready for review October 24, 2024 16:10

xqft requested a review from a team as a code owner October 24, 2024 16:10

xqft changed the title ~~feat(l2): integrate ExecutionDB~~ feat(l2): integrate ExecutionDB, prove execution Oct 24, 2024

xqft and others added 3 commits October 24, 2024 16:44

feat(l2): generate groth16 proof (#971)

2c0f597

**Motivation** the default proof is not EVM-friendly and has no recursion. This change ups the proving time by x4. **Description** - generate groth16 proof

feat(l2): prove block validation (#973)

7f84c9e

**Motivation** the block execution program is missing many validation steps, this PR adds them. **Description** - adds validation steps to zkVM program

rm [old] .example.env

bdca908

Base automatically changed from l1/cache_db to main October 30, 2024 16:18

fborello-lambda added 2 commits October 30, 2024 14:56

Merge branch 'main' into l2/integrate_cache_db

ee89df8

fix merge

1e7cd7f

jrchatruc approved these changes Oct 31, 2024

View reviewed changes

jrchatruc added this pull request to the merge queue Oct 31, 2024

Merged via the queue into main with commit 7800e5f Oct 31, 2024
11 checks passed

jrchatruc deleted the l2/integrate_cache_db branch October 31, 2024 14:23

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

feat(l2): integrate ExecutionDB, prove execution #956

feat(l2): integrate ExecutionDB, prove execution #956

xqft commented Oct 23, 2024 •

edited

Loading

feat(l2): integrate ExecutionDB, prove execution #956

feat(l2): integrate ExecutionDB, prove execution #956

Conversation

xqft commented Oct 23, 2024 • edited Loading

xqft commented Oct 23, 2024 •

edited

Loading