Build blocks using Reth 1.1.0 (#115)

* update zkvm and add basic reth guest

* remove OP derivation code

* switch to tiny-keccak

* remove more op derive code

* consensus checks

* (unfinished) refactor into core crate

* post-exec split

* finalization

* StatelessClientStrategy

* reth guest

* preflight providers

* preflight db

* preflight client

* preflight client lib

* uncle blocks

* reth preflight client

* basic bin lib

* rescue db post preflight

* provider exec fix

* refactor & fix

* block building

* zkvm exec

* time & ordering fix + rpc data

* proof generation

* add prover opts to receipt file name derivation

* receipt verification

* cleanup: delete old code

* downgrade reth msrv + cleanup

* block batch journal derivation

* GAT in strategies

* abstract data source

* engine driver abstraction

* multi-block input + uncle patch

* refactor

* unreachable db

* rescue refactor

* rescue db

* fix blocking task

* batching preflight

* batching fixes

* cache fix

* ommers fix

* batching patch

* nit

* cleanup and readme

* guest name nit

* clippies

* CI

* replace serde-brief with pot to downgrade msrv

* msrv update in CI + readme

* more clippy + cargo update

* bump toolchain to 1.81-rc4

* build toolchain

* back to 1.81

* re enable sha2 patch

* fmt

* rzup in CI

* move block builder to preflight crate

* refactor binary to remove reth dep

* refactor out ethereum logic into own crates

* optimism strategies

* unify input type aliases

* merge post-exec strategy with exec

* refactor strategy names

* simplify strategy IO

* op-reth guest

* op zeth

* refactor

* feature unification workaround

* op support

* rename eth guest

* fix code drop from account

* multichain support

* readme

* preflight speedup

* clipp

* cache optimizations

* fix alloy primitives

* remove ef tests submodule

* fix ci

* versioning nit

* ci test commands

* fix cli short arg clash

* profile flag

* benchmark tool + refactor

* risc0 1.1.3 w/ release builds

* fmt benchmark

* ci nit

* ci nit

* refactor

* preflight using debug namespace

* delete unused code & commends

* comments

.github/workflows/ci.yml

@@ -17,8 +17,6 @@ permissions:
 env:
   CARGO_TERM_COLOR: always
   GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-  RISC0_VERSION: "1.0.5"
-  RISC0_TOOLCHAIN_VERSION: v2024-04-22.0
 
 jobs:
   test:
@@ -29,14 +27,16 @@ jobs:
     - uses: actions/checkout@v4
       with:
         submodules: recursive
-    - uses: risc0/risc0/.github/actions/rustup@v1.0.5
-    - uses: risc0/risc0/.github/actions/sccache@v1.0.5
+    - uses: risc0/risc0/.github/actions/rustup@v1.1.3
+    - uses: risc0/risc0/.github/actions/sccache@v1.1.3
     - uses: risc0/cargo-install@v1
       with:
         crate: cargo-binstall
-    - run: cargo binstall -y --force cargo-risczero@$RISC0_VERSION
-    - run: cargo risczero install --version $RISC0_TOOLCHAIN_VERSION
-    - run: cargo test --workspace --all-targets -F ef-tests,debug-guest-build
+    - run: cargo binstall -y --force cargo-risczero@1.1.3
+    - run: cargo risczero install
+    - run: cargo test --all-targets -p zeth-core -p zeth-guests -p zeth-preflight -p zeth -p zeth-benchmark -F debug-guest-build
+    - run: cargo test --all-targets -p zeth-core-ethereum -p zeth-preflight-ethereum -p zeth-ethereum -F debug-guest-build
+    - run: cargo test --all-targets -p zeth-core-optimism -p zeth-preflight-optimism -p zeth-optimism -F debug-guest-build
 
   clippy:
     name: clippy
@@ -60,9 +60,9 @@ jobs:
     steps:
       - uses: actions/checkout@v4
       - if: matrix.feature == 'cuda'
-        uses: risc0/risc0/.github/actions/cuda@v1.0.5
-      - uses: risc0/risc0/.github/actions/rustup@v1.0.5
-      - uses: risc0/risc0/.github/actions/sccache@v1.0.5
+        uses: risc0/risc0/.github/actions/cuda@v1.1.3
+      - uses: risc0/risc0/.github/actions/rustup@v1.1.3
+      - uses: risc0/risc0/.github/actions/sccache@v1.1.3
       - uses: risc0/clippy-action@main
         with:
           reporter: 'github-pr-check'
@@ -75,5 +75,5 @@ jobs:
     timeout-minutes: 10
     steps:
     - uses: actions/checkout@v4
-    - uses: risc0/risc0/.github/actions/rustup@v1.0.5
+    - uses: risc0/risc0/.github/actions/rustup@v1.1.3
     - run: cargo fmt --all --check

.gitignore

@@ -3,11 +3,14 @@ target/
 tmp/
 cache_rpc/
 cache_zkp/
+profiles/
 log.txt
 *.pb
 *.zkp
 .idea
 *.opc
 *.zip
 *.bin
-*.txt
+*.txt
+*.fake
+*.out

.gitmodules

@@ -1,3 +0,0 @@
-[submodule "testing/ef-tests/testdata"]
-	path = testing/ef-tests/testdata
-	url = https://github.com/ethereum/tests.git