Merge pull request #1450 from lambdaclass/electra-initial-support

feat: electra initial support

Author: rodrigo-o

.fork_version

@@ -1 +1 @@
-deneb
+electra

.github/config/assertoor/cl-stability-check.yml

@@ -12,38 +12,39 @@ tasks:
   title: "Check if all clients are ready"
   timeout: 1m
 
-- name: run_tasks_concurrent
-  title: "Check if all EL & CL clients are synced and the tx spammer is working"
-  timeout: 5m
-  config:
-    tasks:
-    - name: check_consensus_sync_status
-      title: "Check if CL clients are synced"
-    - name: check_execution_sync_status
-      title: "Check if EL clients are synced"
+# TODO(#1413) The following tasks are not working yet, this will be part of the 3rd electra phase
+# - name: run_tasks_concurrent
+#   title: "Check if all EL & CL clients are synced and the tx spammer is working"
+#   timeout: 5m
+#   config:
+#     tasks:
+#     - name: check_consensus_sync_status
+#       title: "Check if CL clients are synced"
+#     - name: check_execution_sync_status
+#       title: "Check if EL clients are synced"
 
-- name: run_task_matrix
-  title: "Check block proposals from all client pairs"
-  timeout: 6m
-  configVars:
-    matrixValues: "validatorPairNames"
-  config:
-    runConcurrent: true
-    matrixVar: "validatorPairName"
-    task:
-      name: check_consensus_block_proposals
-      title: "Wait for block proposal from ${validatorPairName}"
-      config:
-        minTransactionCount: 80 # For some reason the tx fuzz is working different than the old spammer, we need to check it
-      configVars:
-        validatorNamePattern: "validatorPairName"
+# - name: run_task_matrix
+#   title: "Check block proposals from all client pairs"
+#   timeout: 6m
+#   configVars:
+#     matrixValues: "validatorPairNames"
+#   config:
+#     runConcurrent: true
+#     matrixVar: "validatorPairName"
+#     task:
+#       name: check_consensus_block_proposals
+#       title: "Wait for block proposal from ${validatorPairName}"
+#       config:
+#         minTransactionCount: 80 # For some reason the tx fuzz is working different than the old spammer, we need to check it
+#       configVars:
+#         validatorNamePattern: "validatorPairName"
 
-- name: run_tasks_concurrent
-  title: "Check chain stability (reorgs and forks)"
-  timeout: 7m
-  config:
-    tasks:
-    - name: check_consensus_reorgs
-      title: "Check consensus reorgs"
-    - name: check_consensus_forks
-      title: "Check consensus forks"
+# - name: run_tasks_concurrent
+#   title: "Check chain stability (reorgs and forks)"
+#   timeout: 7m
+#   config:
+#     tasks:
+#     - name: check_consensus_reorgs
+#       title: "Check consensus reorgs"
+#     - name: check_consensus_forks
+#       title: "Check consensus forks"

.github/config/assertoor/network-params.yml

@@ -4,11 +4,7 @@ participants:
     cl_type: lighthouse
     cl_image: sigp/lighthouse:v7.0.0-beta.5
     validator_count: 32
-  - el_type: geth
-    el_image: ethereum/client-go:v1.15.6
-    cl_type: lighthouse
-    cl_image: sigp/lighthouse:v7.0.0-beta.5
-    validator_count: 32
+    count: 2
   - el_type: geth
     el_image: ethereum/client-go:v1.15.6
     cl_type: lambda
@@ -19,6 +15,9 @@ participants:
     cl_max_mem: 4096
     keymanager_enabled: true
 
+network_params:
+  electra_fork_epoch: 0
+  
 additional_services:
   - assertoor
   - tx_fuzz

.github/workflows/ci.yml

@@ -30,14 +30,14 @@ permissions:
 jobs:
   compile-native:
     name: Build native libraries
-    runs-on: ubuntu-22.04
+    runs-on: ubuntu-24.04
     steps:
       - uses: actions/checkout@v4
       - name: Set up Go
         # NOTE: this action comes with caching by default
         uses: actions/setup-go@v5
         with:
-          go-version: "1.21"
+          go-version: "1.24"
           cache-dependency-path: |
             native/libp2p_port/go.sum
       - name: Cache output artifacts
@@ -58,7 +58,7 @@ jobs:
 
   download-beacon-node-oapi:
     name: Download Beacon Node OAPI
-    runs-on: ubuntu-22.04
+    runs-on: ubuntu-24.04
     steps:
       - uses: actions/checkout@v4
       - name: Cache Beacon Node OAPI
@@ -75,7 +75,7 @@ jobs:
   build:
     name: Build project
     needs: [compile-native, download-beacon-node-oapi]
-    runs-on: ubuntu-22.04
+    runs-on: ubuntu-24.04
     steps:
     - uses: actions/checkout@v4
     - name: Set up Elixir
@@ -135,7 +135,7 @@ jobs:
 
   docker-build:
     name: Build Docker image
-    runs-on: ubuntu-22.04
+    runs-on: ubuntu-24.04
     steps:
     - uses: actions/checkout@v4
     - name: Set up Docker Buildx
@@ -150,7 +150,7 @@ jobs:
   smoke:
     name: Start and stop the node
     needs: [compile-native, download-beacon-node-oapi]
-    runs-on: ubuntu-22.04
+    runs-on: ubuntu-24.04
     steps:
     - uses: actions/checkout@v4
     - name: Set up Elixir
@@ -195,12 +195,12 @@ jobs:
       run: mix compile --warnings-as-errors
     - name: Run the node
       # NOTE: this starts and then stops the application. It should catch simple runtime errors
-      run: mix run -- --checkpoint-sync-url https://mainnet-checkpoint-sync.stakely.io/
+      run: mix run -- --checkpoint-sync-url https://sepolia.beaconstate.info --network sepolia
 
   test:
     name: Test
     needs: [compile-native, download-beacon-node-oapi]
-    runs-on: ubuntu-22.04
+    runs-on: ubuntu-24.04
     steps:
     - uses: actions/checkout@v4
     - name: Set up Elixir
@@ -245,7 +245,7 @@ jobs:
 
   lint:
     name: Lint
-    runs-on: ubuntu-22.04
+    runs-on: ubuntu-24.04
     steps:
     - uses: actions/checkout@v4
     - name: Set up Elixir
@@ -273,7 +273,7 @@ jobs:
 
   download-spectests:
     name: Download spectests
-    runs-on: ubuntu-22.04
+    runs-on: ubuntu-24.04
     steps:
       - uses: actions/checkout@v4
       - name: Cache compressed spectests
@@ -293,9 +293,9 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        fork: ["deneb"]
+        fork: ["electra"]
         config: ["minimal", "general", "mainnet"]
-    runs-on: ubuntu-22.04
+    runs-on: ubuntu-24.04
     steps:
       - uses: actions/checkout@v4
       - name: Set up Elixir
@@ -357,7 +357,7 @@ jobs:
   spectests-success:
     name: All spec-tests passed
     needs: spectests-matrix
-    runs-on: ubuntu-22.04
+    runs-on: ubuntu-24.04
     if: always()
     steps:
       - if: needs.spectests-matrix.result == 'success'

.github/workflows/ci_skipped.yml

@@ -14,36 +14,36 @@ on:
 jobs:
   compile-native:
     name: Build native libraries
-    runs-on: ubuntu-22.04
+    runs-on: ubuntu-24.04
     if: false
     steps: [run: true]
 
   build:
     name: Build project
-    runs-on: ubuntu-22.04
+    runs-on: ubuntu-24.04
     if: false
     steps: [run: true]
 
   smoke:
     name: Start and stop the node
-    runs-on: ubuntu-22.04
+    runs-on: ubuntu-24.04
     if: false
     steps: [run: true]
 
   test:
     name: Test
-    runs-on: ubuntu-22.04
+    runs-on: ubuntu-24.04
     if: false
     steps: [run: true]
 
   lint:
     name: Lint
-    runs-on: ubuntu-22.04
+    runs-on: ubuntu-24.04
     if: false
     steps: [run: true]
 
   spectests-success:
     name: All spec-tests passed
-    runs-on: ubuntu-22.04
+    runs-on: ubuntu-24.04
     if: false
     steps: [run: true]

.spectest_version

@@ -1 +1 @@
-v1.4.0
+v1.5.0-beta.3

.tool-versions

@@ -1,5 +1,5 @@
 erlang 26.2
 elixir 1.16.2-otp-26
-golang 1.22.12
+golang 1.24.2
 rust 1.81.0
 protoc 30.2

Dockerfile

@@ -1,5 +1,5 @@
 # libp2p port
-FROM golang:1.22 AS libp2p_builder
+FROM golang:1.24 AS libp2p_builder
 LABEL stage=builder
 
 # Install dependencies

README.md

@@ -12,6 +12,9 @@ We take security seriously. If you discover a vulnerability in this project, ple
 
 For more details, please refer to our [Security Policy](./.github/SECURITY.md).
 
+## Electra Support
+
+We are working on the electra support in [this branch](https://github.com/lambdaclass/lambda_ethereum_consensus/tree/electra-support) and the current progress is updated in [this document](https://github.com/lambdaclass/lambda_ethereum_consensus/tree/electra-support/electra-gap.md)
 
 ## Prerequisites
 

config/config.exs

@@ -10,6 +10,7 @@ fork_raw = File.read!(".fork_version") |> String.trim()
 fork =
   case fork_raw do
     "deneb" -> :deneb
+    "electra" -> :electra
     v -> raise "Invalid fork specified: #{v}"
   end
 

config/networks/mainnet/config.yaml

@@ -135,12 +135,14 @@ ATTESTATION_SUBNET_PREFIX_BITS: 6
 # Deneb
 # `2**7` (=128)
 MAX_REQUEST_BLOCKS_DENEB: 128
-# MAX_REQUEST_BLOCKS_DENEB * MAX_BLOBS_PER_BLOCK
-MAX_REQUEST_BLOB_SIDECARS: 768
 # `2**12` (= 4096 epochs, ~18 days)
 MIN_EPOCHS_FOR_BLOB_SIDECARS_REQUESTS: 4096
 # `6`
 BLOB_SIDECAR_SUBNET_COUNT: 6
+## 6 blobs
+MAX_BLOBS_PER_BLOCK: 6
+# MAX_REQUEST_BLOCKS_DENEB * MAX_BLOBS_PER_BLOCK (= 128 * 6) sidecars
+MAX_REQUEST_BLOB_SIDECARS: 768
 
 # Whisk
 # `Epoch(2**8)`
@@ -151,3 +153,11 @@ WHISK_PROPOSER_SELECTION_GAP: 2
 # EIP7594
 EIP7594_FORK_VERSION: 0x06000001
 EIP7594_FORK_EPOCH: 18446744073709551615
+
+# Electra
+# 2**7 * 10**9 (= 128,000,000,000) Gwei
+MIN_PER_EPOCH_CHURN_LIMIT_ELECTRA: 128000000000
+# 2**8 * 10**9) (= 256,000,000,000) Gwei
+MAX_PER_EPOCH_ACTIVATION_EXIT_CHURN_LIMIT: 256000000000
+# 9
+MAX_BLOBS_PER_BLOCK_ELECTRA: 9

config/networks/minimal/config.yaml

@@ -135,12 +135,14 @@ ATTESTATION_SUBNET_PREFIX_BITS: 6
 # Deneb
 # `2**7` (=128)
 MAX_REQUEST_BLOCKS_DENEB: 128
-# MAX_REQUEST_BLOCKS_DENEB * MAX_BLOBS_PER_BLOCK
-MAX_REQUEST_BLOB_SIDECARS: 768
 # `2**12` (= 4096 epochs, ~18 days)
 MIN_EPOCHS_FOR_BLOB_SIDECARS_REQUESTS: 4096
 # `6`
 BLOB_SIDECAR_SUBNET_COUNT: 6
+## 6 blobs
+MAX_BLOBS_PER_BLOCK: 6
+# MAX_REQUEST_BLOCKS_DENEB * MAX_BLOBS_PER_BLOCK (= 128 * 6) sidecars
+MAX_REQUEST_BLOB_SIDECARS: 768
 
 # Whisk
 WHISK_EPOCHS_PER_SHUFFLING_PHASE: 4
@@ -149,3 +151,11 @@ WHISK_PROPOSER_SELECTION_GAP: 1
 # EIP7594
 EIP7594_FORK_VERSION: 0x06000001
 EIP7594_FORK_EPOCH: 18446744073709551615
+
+# Electra
+# [customized] 2**7 * 10**9 (= 128,000,000,000) Gwei
+MIN_PER_EPOCH_CHURN_LIMIT_ELECTRA: 64000000000
+# [customized] 2**8 * 10**9) (= 256,000,000,000) Gwei
+MAX_PER_EPOCH_ACTIVATION_EXIT_CHURN_LIMIT: 128000000000
+# 9
+MAX_BLOBS_PER_BLOCK_ELECTRA: 9

config/presets/gnosis/electra.yaml

@@ -0,0 +1,50 @@
+# Mainnet preset - Electra
+
+# Gwei values
+# ---------------------------------------------------------------
+# 2**5 * 10**9 (= 32,000,000,000) Gwei
+MIN_ACTIVATION_BALANCE: 32000000000
+# 2**11 * 10**9 (= 2,048,000,000,000) Gwei
+MAX_EFFECTIVE_BALANCE_ELECTRA: 2048000000000
+
+# State list lengths
+# ---------------------------------------------------------------
+# `uint64(2**27)` (= 134,217,728)
+PENDING_DEPOSITS_LIMIT: 134217728
+# `uint64(2**27)` (= 134,217,728)
+PENDING_PARTIAL_WITHDRAWALS_LIMIT: 134217728
+# `uint64(2**18)` (= 262,144)
+PENDING_CONSOLIDATIONS_LIMIT: 262144
+
+# Reward and penalty quotients
+# ---------------------------------------------------------------
+# `uint64(2**12)` (= 4,096)
+MIN_SLASHING_PENALTY_QUOTIENT_ELECTRA: 4096
+# `uint64(2**12)` (= 4,096)
+WHISTLEBLOWER_REWARD_QUOTIENT_ELECTRA: 4096
+
+# # Max operations per block
+# ---------------------------------------------------------------
+# `uint64(2**0)` (= 1)
+MAX_ATTESTER_SLASHINGS_ELECTRA: 1
+# `uint64(2**3)` (= 8)
+MAX_ATTESTATIONS_ELECTRA: 8
+# `uint64(2**1)` (= 2)
+MAX_CONSOLIDATION_REQUESTS_PER_PAYLOAD: 2
+
+# Execution
+# ---------------------------------------------------------------
+# 2**13 (= 8192) deposit requests
+MAX_DEPOSIT_REQUESTS_PER_PAYLOAD: 8192
+# 2**4 (= 16) withdrawal requests
+MAX_WITHDRAWAL_REQUESTS_PER_PAYLOAD: 16
+
+# Withdrawals processing
+# ---------------------------------------------------------------
+# 2**3 ( = 8) pending withdrawals
+MAX_PENDING_PARTIALS_PER_WITHDRAWALS_SWEEP: 8
+
+# Pending deposits processing
+# ---------------------------------------------------------------
+# 2**4 ( = 4) pending deposits
+MAX_PENDING_DEPOSITS_PER_EPOCH: 16