feat: prove blocks using reth (#226)

* reth wip

* reth builder full coverage

* switch to reth header

* reth builder (pretty important)

* fmt

* cleanup

* Taiko support mostly working (but incomplete)

* better invalid tx support

* proving blocks with reth fully working (with some caveats)

* remove revm as a direct dependency + remove dead code

* misc cleanup

* update to reth v1.0.0-rc.2

* fix local dependencies

* fix ci rules

* update sp1 cargo

* misc fixes

* clippy fixes

* lock to latest reth

* update to reth version without mdbx dependency

* update dependencies + cleanup import warnings with patching

* add back validation for receipts/log bloom/gas used

* fix local dependency

* unify state commitment so default commit interface can be used

* small refactor

* feedback + remove old test code path

Author: Brechtpd

.github/workflows/ci-all.yml

@@ -6,13 +6,11 @@ on:
     paths:
       - "host/**"
       - "lib/**"
-      - "primitives/**"
       - "script/**"
   pull_request:
     paths:
       - "host/**"
       - "lib/**"
-      - "primitives/**"
       - "script/**"
 env:
   CARGO_TERM_COLOR: always

.github/workflows/ci-build-test-reusable.yml

@@ -50,7 +50,3 @@ jobs:
 
       - name: Test ${{ inputs.version_name }} prover
         run: make test
-
-      - name: Build with tracer
-        if: ${{ inputs.version_name }} == native
-        run: cargo build -F tracer