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): integrate ExecutionDB, prove execution #956

Merged
merged 83 commits into from
Oct 31, 2024
Merged

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

merged 83 commits into from
Oct 31, 2024

Commits on Oct 16, 2024

  1. add libmdbx features

    @fborello-lambda
    fborello-lambda committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    45c9a95 View commit details
    Browse the repository at this point in the history

  2. bump-up versions

    @fborello-lambda
    fborello-lambda committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    0b6658b View commit details
    Browse the repository at this point in the history

  3. add de/serialization for Block and Transaction

    @fborello-lambda
    fborello-lambda committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    b154097 View commit details
    Browse the repository at this point in the history

  4. add zkvm program ci job

    @xqft
    xqft committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    ab231dd View commit details
    Browse the repository at this point in the history

  5. misc fixes on ci job

    @xqft
    xqft committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    8957079 View commit details
    Browse the repository at this point in the history

  6. change names ci jobs

    @xqft
    xqft committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    330177c View commit details
    Browse the repository at this point in the history

  7. wip: add basic structure

    @fborello-lambda
    fborello-lambda committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    88d0f71 View commit details
    Browse the repository at this point in the history

  8. fix: run tests with no-default-features

    @fborello-lambda
    fborello-lambda committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    cf4d670 View commit details
    Browse the repository at this point in the history

  9. Merge branch 'l2/prover_integration' into l2/prover_base

    @fborello-lambda
    fborello-lambda committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    6a794f2 View commit details
    Browse the repository at this point in the history

  10. add de/serialization for Receipt

    @fborello-lambda
    fborello-lambda committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    518c30d View commit details
    Browse the repository at this point in the history

  11. Merge branch 'l2/prover_integration' into l2/prover_base

    @fborello-lambda
    fborello-lambda committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    0703ce6 View commit details
    Browse the repository at this point in the history

Commits on Oct 17, 2024

  1. Revert "change names ci jobs" 

    This reverts commit 330177c.
    @xqft
    xqft committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    687619c View commit details
    Browse the repository at this point in the history

  2. fix prover job

    @xqft
    xqft committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    33db110 View commit details
    Browse the repository at this point in the history

  3. fix job binary path

    @xqft
    xqft committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    2190010 View commit details
    Browse the repository at this point in the history

  4. fix cargo prove

    @xqft
    xqft committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    1604131 View commit details
    Browse the repository at this point in the history

  5. nit

    @xqft
    xqft committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    0312121 View commit details
    Browse the repository at this point in the history

  6. add prover crate to workspace

    @fborello-lambda
    fborello-lambda committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    4d01428 View commit details
    Browse the repository at this point in the history

  7. fix: rm clone

    @fborello-lambda
    fborello-lambda committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    f49e67e View commit details
    Browse the repository at this point in the history

  8. fix: replace todo! with custom error

    @fborello-lambda
    fborello-lambda committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    408e256 View commit details
    Browse the repository at this point in the history

  9. rm derive Deserialize for EIP1559

    @fborello-lambda
    fborello-lambda committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    056094d View commit details
    Browse the repository at this point in the history

  10. refactor transactions deser and derive deserialize on enum

    @xqft
    xqft committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    e573135 View commit details
    Browse the repository at this point in the history

  11. Revert "refactor transactions deser and derive deserialize on enum" 

    This reverts commit e573135.
    @xqft
    xqft committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    7f0f7e8 View commit details
    Browse the repository at this point in the history

  12. refactor transactions deser and derive deserialize on enum

    @xqft
    xqft committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    24bc2d2 View commit details
    Browse the repository at this point in the history

  13. rm underscore form path variable

    @fborello-lambda
    fborello-lambda committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    702c11b View commit details
    Browse the repository at this point in the history

  14. add missing Serialize impl for EIP1559

    @fborello-lambda
    fborello-lambda committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    2698e5b View commit details
    Browse the repository at this point in the history

  15. Merge branch 'l2/prover_integration' into l2/prover_base

    @fborello-lambda
    fborello-lambda committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    6ecac43 View commit details
    Browse the repository at this point in the history

  16. wip

    @fborello-lambda
    fborello-lambda committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    980fea6 View commit details
    Browse the repository at this point in the history

Commits on Oct 18, 2024

  1. Merge branch 'main' into l2/prover_base

    @xqft
    xqft authored Oct 18, 2024
    Configuration menu
    Copy the full SHA
    bbb3976 View commit details
    Browse the repository at this point in the history

  2. [wip] run prover with ethereum_rust_l2 cli

    @fborello-lambda
    fborello-lambda committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    ce5c073 View commit details
    Browse the repository at this point in the history

  3. integrate prover's client with existing setup

    @fborello-lambda
    fborello-lambda committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    c1498ab View commit details
    Browse the repository at this point in the history

  4. Merge branch 'main' into l2/prover_base

    @fborello-lambda
    fborello-lambda committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    4e4e7e5 View commit details
    Browse the repository at this point in the history

  5. fix

    @fborello-lambda
    fborello-lambda committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    02282f1 View commit details
    Browse the repository at this point in the history

Commits on Oct 21, 2024

  1. add Makefile target

    @fborello-lambda
    fborello-lambda committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    bba68f1 View commit details
    Browse the repository at this point in the history

  2. use libmdbx

    @fborello-lambda
    fborello-lambda committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    9227e46 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into l2/prover_base

    @fborello-lambda
    fborello-lambda committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    14bf100 View commit details
    Browse the repository at this point in the history

  4. renaming

    @fborello-lambda
    fborello-lambda committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    1733e0d View commit details
    Browse the repository at this point in the history

  5. revert .gitignore

    @xqft
    xqft committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    32a0328 View commit details
    Browse the repository at this point in the history

  6. change MemoryDB to more descriptive

    @xqft
    xqft committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    bedc3e6 View commit details
    Browse the repository at this point in the history

  7. remove commented dependency

    @xqft
    xqft committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    83875cb View commit details
    Browse the repository at this point in the history

  8. remove unwrap

    @xqft
    xqft committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    ea7abc3 View commit details
    Browse the repository at this point in the history

  9. add revm dep comments

    @xqft
    xqft committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    e9772cd View commit details
    Browse the repository at this point in the history

  10. fix comment

    @xqft
    xqft committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    5522b6b View commit details
    Browse the repository at this point in the history

  11. tidy mock zkvm program

    @xqft
    xqft committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    49ba37e View commit details
    Browse the repository at this point in the history

  12. improve revm dep comment

    @xqft
    xqft committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    54a2e51 View commit details
    Browse the repository at this point in the history

  13. Merge branch 'main' into l2/prover_base

    @xqft
    xqft authored Oct 21, 2024
    Configuration menu
    Copy the full SHA
    8d54fe5 View commit details
    Browse the repository at this point in the history

  14. change unused fn name

    @xqft
    xqft committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    1eefc32 View commit details
    Browse the repository at this point in the history

Commits on Oct 22, 2024

  1. Merge branch 'main' into l2/prover_base

    @fborello-lambda
    fborello-lambda committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    27b56a6 View commit details
    Browse the repository at this point in the history

Commits on Oct 23, 2024

  1. fix zkvm ci job

    @xqft
    xqft committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    34ec094 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into l2/prover_base

    @xqft
    xqft committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    d507c03 View commit details
    Browse the repository at this point in the history

  3. refactor(l2): new zkvm (#939) 

    **Motivation**

Integrate RiscZero's zkVM.

**Description**

- Integrate the RISC0 zkVM to the `prover_client` flow. 
- The `prover_client` asks for the execution inputs to the
`prover_server`, if the risc0 zkVM is not busy, it will create the zk
proof.
- At the moment, the `prover_server` is not sending the "State" of the
blockchain needed to execute a block inside the zkVM in order to prove
the correct inclusion of it.
- New env variables are used: 
  - [dev-mode](https://dev.risczero.com/api/generating-proofs/dev-mode).
  - RISC0_DEV_MODE=1 → 1/true means fake proofs.
- RUST_LOG="[executor]=info, debug" → used to display `tracing
debug!` messages.

To fully integrate the prover to the blockchain workflow we have to pass
the `State` as input and test if a real scenario works.
    @fborello-lambda
    fborello-lambda authored Oct 23, 2024
    Configuration menu
    Copy the full SHA
    589a6b4 View commit details
    Browse the repository at this point in the history

  4. renaming and fix CI 

    - Rename prover/program into prover/zkvm
- Add a feature named `buid_zkvm` to build the zkvm conditionally
- The feature fixes the CI.
    @fborello-lambda
    fborello-lambda committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    e2e15be View commit details
    Browse the repository at this point in the history

  5. fix ci

    @fborello-lambda
    fborello-lambda committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    65d8c39 View commit details
    Browse the repository at this point in the history

  6. chore: docs

    @fborello-lambda
    fborello-lambda committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    5b3f84a View commit details
    Browse the repository at this point in the history

  7. add cache crate and mock struct

    @xqft
    xqft committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    5bfee10 View commit details
    Browse the repository at this point in the history

  8. fix new EvmState

    @xqft
    xqft committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    bcc356d View commit details
    Browse the repository at this point in the history

  9. move to vm crate, rename

    @xqft
    xqft committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    2271eec View commit details
    Browse the repository at this point in the history

  10. remove newline

    @xqft
    xqft committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    08f3a3e View commit details
    Browse the repository at this point in the history

  11. rename file

    @xqft
    xqft committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    972d552 View commit details
    Browse the repository at this point in the history

  12. define db fields

    @xqft
    xqft committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    076b6b3 View commit details
    Browse the repository at this point in the history

  13. fix doc

    @xqft
    xqft committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    28acd02 View commit details
    Browse the repository at this point in the history

  14. integrate new EvmState

    @xqft
    xqft committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    82fdfe2 View commit details
    Browse the repository at this point in the history

  15. add from_exec()

    @xqft
    xqft committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    67236b1 View commit details
    Browse the repository at this point in the history

  16. add/fix comments

    @xqft
    xqft committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    d072af3 View commit details
    Browse the repository at this point in the history

  17. add impl for executiondb to get_state_transitions()

    @xqft
    xqft committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    bb1e4b6 View commit details
    Browse the repository at this point in the history

  18. fix database() function, added chain_config()

    @xqft
    xqft committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    8adff1b View commit details
    Browse the repository at this point in the history

  19. replace MemoryDB with ExecutionDB

    @xqft
    xqft committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    9feaf96 View commit details
    Browse the repository at this point in the history

  20. create prover input when handling request

    @xqft
    xqft committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    baa9fe7 View commit details
    Browse the repository at this point in the history

  21. add debug log

    @xqft
    xqft committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    f188f19 View commit details
    Browse the repository at this point in the history

Commits on Oct 24, 2024

  1. tidy up zkvm program, remove revm deps

    @xqft
    xqft committed Oct 24, 2024
    Configuration menu
    Copy the full SHA
    accc380 View commit details
    Browse the repository at this point in the history

  2. fix compilation

    @fborello-lambda
    fborello-lambda committed Oct 24, 2024
    Configuration menu
    Copy the full SHA
    0f0d864 View commit details
    Browse the repository at this point in the history

  3. remove parent header

    @xqft
    xqft committed Oct 24, 2024
    Configuration menu
    Copy the full SHA
    4532715 View commit details
    Browse the repository at this point in the history

  4. add better info log

    @xqft
    xqft committed Oct 24, 2024
    Configuration menu
    Copy the full SHA
    499d43e View commit details
    Browse the repository at this point in the history

  5. fix log level

    @xqft
    xqft committed Oct 24, 2024
    Configuration menu
    Copy the full SHA
    7db34c6 View commit details
    Browse the repository at this point in the history

  6. change prover log level

    @xqft
    xqft committed Oct 24, 2024
    Configuration menu
    Copy the full SHA
    d249f39 View commit details
    Browse the repository at this point in the history

  7. change prover log level

    @xqft
    xqft committed Oct 24, 2024
    Configuration menu
    Copy the full SHA
    48cfa4c View commit details
    Browse the repository at this point in the history

  8. fix log level

    @xqft
    xqft committed Oct 24, 2024
    Configuration menu
    Copy the full SHA
    5fcfcd7 View commit details
    Browse the repository at this point in the history

  9. remove unused dep

    @xqft
    xqft committed Oct 24, 2024
    Configuration menu
    Copy the full SHA
    8796417 View commit details
    Browse the repository at this point in the history

  10. update example env

    @xqft
    xqft committed Oct 24, 2024
    Configuration menu
    Copy the full SHA
    d948827 View commit details
    Browse the repository at this point in the history

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

    **Motivation**

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

**Description**

- generate groth16 proof
    @xqft
    xqft authored Oct 24, 2024
    Configuration menu
    Copy the full SHA
    2c0f597 View commit details
    Browse the repository at this point in the history

Commits on Oct 25, 2024

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

    **Motivation**

the block execution program is missing many validation steps, this PR
adds them.

**Description**

- adds validation steps to zkVM program
    @xqft
    xqft authored Oct 25, 2024
    Configuration menu
    Copy the full SHA
    7f84c9e View commit details
    Browse the repository at this point in the history

Commits on Oct 28, 2024

  1. rm [old] .example.env

    @fborello-lambda
    fborello-lambda committed Oct 28, 2024
    Configuration menu
    Copy the full SHA
    bdca908 View commit details
    Browse the repository at this point in the history

Commits on Oct 30, 2024

  1. Merge branch 'main' into l2/integrate_cache_db

    @fborello-lambda
    fborello-lambda committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    ee89df8 View commit details
    Browse the repository at this point in the history

  2. fix merge

    @fborello-lambda
    fborello-lambda committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    1e7cd7f View commit details
    Browse the repository at this point in the history