Merge branch 'main' into release/v6.0.0

Author: ManuelBilbao

.github/actions/snapsync-run/action.yml

@@ -7,22 +7,37 @@ inputs:
   timeout:
     description: Assertoor test timeout.
     required: true
+  ethrex_image:
+    description: Ethrex Docker image repository.
+    required: false
+    default: ghcr.io/lambdaclass/ethrex
+  ethrex_tag:
+    description: Ethrex Docker image tag.
+    required: false
+    default: main
 
 runs:
   using: composite
   steps:
     - uses: actions/checkout@v4
 
+    # We need to run this step because kurtosis uses cached docker images but we want the latest ethrex image
+    - name: Remove cached ethrex image
+      shell: bash
+      run: docker image rm -f ${{ inputs.ethrex_image }}:${{ inputs.ethrex_tag }} || true
+
     - name: Generate Kurtosis args
       shell: bash
       env:
         NETWORK_NAME: ${{ inputs.network }}
         TIMEOUT: ${{ inputs.timeout }}
+        ETHREX_IMAGE: ${{ inputs.ethrex_image }}
+        ETHREX_TAG: ${{ inputs.ethrex_tag }}
       run: |
         cat > .github/config/assertoor/network_params.generated.yaml <<YAML
         participants:
           - el_type: ethrex
-            el_image: ghcr.io/lambdaclass/ethrex:main
+            el_image: ${ETHREX_IMAGE}:${ETHREX_TAG}
             el_extra_params:
               - "--syncmode=snap"
             cl_type: lighthouse
@@ -61,3 +76,15 @@ runs:
         ethereum_package_url: github.com/ethpandaops/ethereum-package
         ethereum_package_branch: 82e5a7178138d892c0c31c3839c89d53ffd42d9a
         ethereum_package_args: .github/config/assertoor/network_params.generated.yaml
+
+    - name: Summarize ethrex version
+      if: ${{ always() }}
+      shell: bash
+      run: |
+        image="${{ inputs.ethrex_image }}:${{ inputs.ethrex_tag }}"
+        version="$(docker run --rm "$image" --version 2>/dev/null || true)"
+        {
+          echo "### Ethrex Version"
+          echo ""
+          echo "- ${version:-unavailable}"
+        } >> "${GITHUB_STEP_SUMMARY}"

.github/workflows/daily_hive_report.yaml

@@ -188,7 +188,7 @@ jobs:
           fi
 
       - name: Generate the hive report
-        run: cargo run -p hive_report > results.md
+        run: cargo run --manifest-path tooling/Cargo.toml -p hive_report > results.md
 
       - name: Upload daily result
         uses: actions/upload-artifact@v4

.github/workflows/daily_snapsync.yaml

@@ -58,6 +58,7 @@ jobs:
     name: Sync ${{ matrix.network }}
     runs-on: ethrex-sync
     strategy:
+      fail-fast: false
       matrix:
         include: ${{ fromJson(needs.prepare.outputs.matrix) }}
     steps:

.github/workflows/main_prover.yaml

@@ -54,21 +54,31 @@ jobs:
         # if: ${{ always() && github.event_name == 'merge_group' }}
         run: |
           cd crates/l2
-          PROVER=sp1 G=true make build-prover
+          make build-prover-sp1 GPU=true
+
+      - name: Show vks
+        # if: ${{ always() && github.event_name == 'merge_group' }}
+        run: |
+          ls -lah crates/l2/prover/src/guest_program/src/sp1/out/
 
       - name: Build test
         # if: ${{ always() && github.event_name == 'merge_group' }}
         run: |
           cargo test l2 --features l2 --no-run --release
 
-      - name: Start L1 & Deploy contracts
+      - name: Start L1
+        run: |
+          cd crates/l2
+          docker compose up --detach ethrex_l1
+
+      - name: Deploy contracts
         # if: ${{ always() && github.event_name == 'merge_group' }}
         run: |
           touch cmd/.env
           cd crates/l2
           DOCKER_ETHREX_WORKDIR=/usr/local/bin \
           ETHREX_DEPLOYER_DEPLOY_RICH=true \
-          ETHREX_DEPLOYER_SP1_DEPLOY_VERIFIER=true \
+          ETHREX_L2_SP1=true \
           docker compose up --build contract_deployer
 
           DEPLOYER_EXIT_CODE=$(docker inspect -f '{{.State.ExitCode}}' contract_deployer)
@@ -104,7 +114,7 @@ jobs:
         # if: ${{ always() && github.event_name == 'merge_group' }}
         run: |
           cd crates/l2
-          RUST_LOG=info,ethrex_prover_lib=debug PROVER=sp1 G=true make init-prover &
+          make init-prover-sp1 GPU=true &
           docker logs --follow ethrex_l2 & DOCKER_LOGS_PID=$!
           PROPOSER_COINBASE_ADDRESS=0x0007a881CD95B1484fca47615B64803dad620C8d cargo test l2 --release -- --nocapture --test-threads=1
           killall ethrex -s SIGINT

.github/workflows/pr-main_l1.yaml

@@ -46,6 +46,18 @@ jobs:
         run: |
           cargo fmt --all -- --check
 
+      - name: Run tooling cargo check
+        run: cargo check --workspace --all-targets
+        working-directory: tooling
+
+      - name: Run tooling cargo clippy
+        run: cargo clippy --workspace --all-targets -- -D warnings
+        working-directory: tooling
+
+      - name: Run tooling cargo fmt
+        run: cargo fmt --all -- --check
+        working-directory: tooling
+
   test:
     # "Test" is a required check, don't change the name
     name: Test
@@ -62,7 +74,7 @@ jobs:
 
       - name: Run unit tests
         run: |
-          make test
+          cargo test --workspace --exclude ethrex-l2
 
       - name: Run Blockchain EF tests
         if: ${{ github.event_name != 'merge_group' }}
@@ -148,7 +160,7 @@ jobs:
             artifact_prefix: rpc_compat
           - name: "Devp2p tests"
             simulation: devp2p
-            limit: discv4|eth|snap/Ping|Amplification|Status|StorageRanges|ByteCodes|GetBlockHeaders|SimultaneousRequests|SameRequestID|ZeroRequestID|GetBlockBodies|MaliciousHandshake|MaliciousStatus|Transaction|NewPooledTxs|GetBlockReceipts|LargeTxRequest|InvalidTxs|BlockRangeUpdate|AccountRange|GetTrieNodes|GetByteCodes|GetStorageRanges|Findnode
+            limit: discv4|eth|snap/Ping|Amplification|Status|StorageRanges|ByteCodes|GetBlockHeaders|SimultaneousRequests|SameRequestID|ZeroRequestID|GetBlockBodies|MaliciousHandshake|MaliciousStatus|Transaction|NewPooledTxs|GetBlockReceipts|LargeTxRequest|InvalidTxs|BlockRangeUpdate|AccountRange|GetTrieNodes|GetByteCodes|GetStorageRanges|Findnode|BlobViolations
             artifact_prefix: devp2p
           - name: "Engine Auth and EC tests"
             simulation: ethereum/engine

.github/workflows/pr-main_l2.yaml

@@ -166,11 +166,10 @@ jobs:
           version: v0.8.29
           token: ${{ secrets.GITHUB_TOKEN || '' }}
 
-      # also creates empty verification keys (as workflow runs with exec backend)
       - name: Build prover
         run: |
           cd crates/l2
-          make build-prover
+          make build-prover-exec
           mkdir -p prover/src/guest_program/src/sp1/out && touch prover/src/guest_program/src/sp1/out/riscv32im-succinct-zkvm-vk
 
       - name: Build test
@@ -242,9 +241,6 @@ jobs:
           fi
           DOCKER_ETHREX_WORKDIR=/usr/local/bin \
           ETHREX_DEPLOYER_DEPLOY_RICH=true \
-          ETHREX_DEPLOYER_PICO_CONTRACT_ADDRESS=0x00000000000000000000000000000000000000aa \
-          ETHREX_DEPLOYER_SP1_CONTRACT_ADDRESS=0x00000000000000000000000000000000000000aa \
-          ETHREX_DEPLOYER_RISC0_CONTRACT_ADDRESS=0x00000000000000000000000000000000000000aa \
           ETHREX_L2_VALIDIUM=${{ matrix.validium }} \
           ETHREX_NATIVE_TOKEN_L1_ADDRESS=$ETHREX_NATIVE_TOKEN_L1_ADDRESS \
           docker compose up contract_deployer
@@ -304,7 +300,7 @@ jobs:
           fi
           sudo chmod -R a+rw crates/l2
           cd crates/l2
-          RUST_LOG=info,ethrex_prover_lib=debug make init-prover &
+          RUST_LOG=info,ethrex_prover_lib=debug make init-prover-exec &
           docker logs --follow ethrex_l2 &
           docker logs --follow ethrex_l1 &
           PROPOSER_COINBASE_ADDRESS=0x0007a881CD95B1484fca47615B64803dad620C8d cargo test l2 --release -- --nocapture --test-threads=1
@@ -380,7 +376,7 @@ jobs:
           cd crates/l2
           make init-l1-docker;
           ETHREX_DEPLOYER_DEPLOY_RICH=true \
-          ETHREX_DEPLOYER_TDX_DEPLOY_VERIFIER=true \
+          ETHREX_L2_TDX=true \
           ETHREX_TDX_DEV_MODE=true \
           make deploy-l1
 
@@ -463,9 +459,6 @@ jobs:
           cd crates/l2
           DOCKER_ETHREX_WORKDIR=/usr/local/bin \
           ETHREX_DEPLOYER_DEPLOY_RICH=true \
-          ETHREX_DEPLOYER_PICO_CONTRACT_ADDRESS=0x00000000000000000000000000000000000000aa \
-          ETHREX_DEPLOYER_SP1_CONTRACT_ADDRESS=0x00000000000000000000000000000000000000aa \
-          ETHREX_DEPLOYER_RISC0_CONTRACT_ADDRESS=0x00000000000000000000000000000000000000aa \
           COMPILE_CONTRACTS=true \
           docker compose up contract_deployer
 
@@ -503,7 +496,7 @@ jobs:
       - name: Start ethrex
         run: |
           cd crates/l2
-          make init-l2-dev &
+          ETHREX_NO_MONITOR=true make init-l2-dev 2>&1 | tee /tmp/ethrex.log &
 
       - name: Wait for ethrex l2
         run: |
@@ -520,11 +513,18 @@ jobs:
 
       - name: Init prover
         run: |
-          target/release/ethrex l2 prover --proof-coordinators http://localhost:3900 &
+          target/release/ethrex l2 prover --proof-coordinators http://localhost:3900 2>&1 | tee /tmp/prover.log &
+
+      - name: show envs
+        run: |
+          cat crates/l2/.env
 
       - name: Run test
         run: |
           cd crates/l2
+          tail -n 100 -f /tmp/ethrex.log &
+          tail -n 100 -f /tmp/prover.log &
+          export $(shell cat .env | xargs); \
           INTEGRATION_TEST_SKIP_BASE_FEE_VAULT_CHECK=true \
           PROPOSER_COINBASE_ADDRESS=0x0007a881CD95B1484fca47615B64803dad620C8d \
           cargo test l2 --release -- --nocapture --test-threads=1

.gitignore

@@ -74,3 +74,6 @@ GEMINI.md
 
 # RKYV
 *.bin
+
+# Documentation Graphs
+!docs/internal/l1/healing/*.svg

CHANGELOG.md

@@ -2,8 +2,13 @@
 
 ## Perf
 
+### 2025-10-28
+
+- Batch BlobsBundle::validate [#4993](https://github.com/lambdaclass/ethrex/pull/4993)
+
 ### 2025-10-27
 
+- Run "engine_newPayload" block execution in a dedicated worker thread. [#5051](https://github.com/lambdaclass/ethrex/pull/5051)
 - Reusing FindNode message per lookup loop instead of randomizing the key for each message. [#5047](https://github.com/lambdaclass/ethrex/pull/5047)
 
 ### 2025-10-23
@@ -14,6 +19,10 @@
 
 - Instead of lazy computation of blocklist, do greedy computation of allowlist and store the result, fetch it with the DB. [#4961](https://github.com/lambdaclass/ethrex/pull/4961)
 
+### 2025-10-20
+
+- Remove duplicate subgroup check in ecpairing precompile [#4960](https://github.com/lambdaclass/ethrex/pull/4960)
+
 ### 2025-10-17
 
 - Replaces incremental iteration with a one-time precompute method that scans the entire bytecode, building a `BitVec<u8, Msb0>` where bits mark valid `JUMPDEST` positions, skipping `PUSH1..PUSH32` data bytes.
@@ -25,7 +34,6 @@
 
 ### 2025-10-13
 
-
 - Remove explicit cache-related options from RocksDB configuration and reverted optimistic transactions to reduce RAM usage [#4853](https://github.com/lambdaclass/ethrex/pull/4853)
 - Remove unnecesary mul in ecpairing [#4843](https://github.com/lambdaclass/ethrex/pull/4843)