feat: add Fulu support

.dialyzer_ignore.exs

@@ -0,0 +1,32 @@
+# Dialyzer warnings to ignore.
+#
+# Most of these are caused by HardForkAliasInjection.fulu?() being a
+# compile-time constant (true when .fork_version is "fulu"). This makes
+# the non-fulu branches dead code, which dialyzer correctly identifies
+# but is intentional by design. These will naturally resolve when the
+# fork gate is removed post-Fulu activation.
+[
+  # --- Fork-gate dead code: "Guard test true =:= nil can never succeed" ---
+  # All from `if HardForkAliasInjection.fulu?()` being always true.
+  {"lib/lambda_ethereum_consensus/beacon/pending_blocks.ex", :guard_fail},
+  {"lib/lambda_ethereum_consensus/fork_choice/fork_choice.ex", :guard_fail},
+  {"lib/lambda_ethereum_consensus/fork_choice/handlers.ex", :guard_fail},
+  {"lib/lambda_ethereum_consensus/state_transition/misc.ex", :guard_fail},
+  {"lib/lambda_ethereum_consensus/state_transition/state_transition.ex", :guard_fail},
+  {"lib/lambda_ethereum_consensus/validator/block_builder.ex", :guard_fail},
+  {"lib/lambda_ethereum_consensus/validator/validator.ex", :guard_fail},
+  {"lib/libp2p_port.ex", :guard_fail},
+  {"lib/types/beacon_chain/beacon_state.ex", :guard_fail},
+  {"lib/types/p2p/metadata.ex", :guard_fail},
+  {"test/spec/runners/fork_choice.ex", :guard_fail},
+  {"test/spec/runners/fork_choice.ex", :pattern_match},
+
+  # --- Defensive error-handling: dialyzer infers these branches can't match ---
+  {"lib/lambda_ethereum_consensus/fork_choice/handlers.ex", :pattern_match_cov},
+
+  # --- Fork-gate dead code: unused functions from non-fulu branches ---
+  {"lib/lambda_ethereum_consensus/beacon/pending_blocks.ex", :unused_fun},
+  {"lib/lambda_ethereum_consensus/fork_choice/handlers.ex", :unused_fun},
+  {"lib/lambda_ethereum_consensus/validator/block_builder.ex", :unused_fun},
+  {"lib/lambda_ethereum_consensus/validator/validator.ex", :unused_fun},
+]

.fork_version

@@ -1 +1 @@
-electra
+fulu

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

@@ -1,12 +1,13 @@
 participants:
   - el_type: geth
-    el_image: ethereum/client-go:v1.15.6
+    el_image: ethereum/client-go:latest
     cl_type: lighthouse
-    cl_image: sigp/lighthouse:v7.0.0-beta.5
+    cl_image: sigp/lighthouse:v8.1.1
     validator_count: 32
+    supernode: true
     count: 2
   - el_type: geth
-    el_image: ethereum/client-go:v1.15.6
+    el_image: ethereum/client-go:latest
     cl_type: lambda
     cl_image: lambda_ethereum_consensus:latest
     use_separate_vc: false
@@ -16,7 +17,7 @@ participants:
     keymanager_enabled: true
 
 network_params:
-  electra_fork_epoch: 0
+  fulu_fork_epoch: 0
 
 additional_services:
   - assertoor

.github/workflows/assertoor.yml

@@ -29,7 +29,7 @@ jobs:
         uses: ethpandaops/kurtosis-assertoor-github-action@v1
         with:
           enclave_name: "elixir-consensus-assertoor"
-          kurtosis_version: "1.6.0"
+          kurtosis_version: "1.15.2"
           ethereum_package_url: 'github.com/lambdaclass/ethereum-package'
-          ethereum_package_branch: 'lecc-integration-electra'
+          ethereum_package_branch: 'lecc-integration-fulu'
           ethereum_package_args: './.github/config/assertoor/network-params.yml'

.github/workflows/ci.yml

@@ -37,7 +37,7 @@ jobs:
         # NOTE: this action comes with caching by default
         uses: actions/setup-go@v5
         with:
-          go-version: "1.24"
+          go-version: "1.26"
           cache-dependency-path: |
             native/libp2p_port/go.sum
       - name: Cache output artifacts
@@ -293,7 +293,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        fork: ["electra"]
+        fork: ["fulu"]
         config: ["minimal", "general", "mainnet"]
     runs-on: ubuntu-24.04
     steps:

.spectest_version

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

.tool-versions

@@ -1,5 +1,5 @@
-erlang 26.2
-elixir 1.16.2-otp-26
-golang 1.24.2
-rust 1.81.0
+erlang 28.4
+elixir 1.19.4-otp-28
+golang 1.26.0
+rust 1.93.1
 protoc 30.2

Dockerfile

@@ -1,5 +1,5 @@
 # libp2p port
-FROM golang:1.24 AS libp2p_builder
+FROM golang:1.26 AS libp2p_builder
 LABEL stage=builder
 
 # Install dependencies
@@ -19,7 +19,7 @@
 
 # Precompile rust crates
 # bls nif
-FROM rust:1.81.0 AS bls_nif_builder
+FROM rust:1.93.1 AS bls_nif_builder
 LABEL stage=builder
 
 RUN mkdir /bls_nif
@@ -31,7 +31,7 @@
     rm -rf target/
 
 # kzg nif
-FROM rust:1.81.0 AS kzg_nif_builder
+FROM rust:1.93.1 AS kzg_nif_builder
 LABEL stage=builder
 
 RUN mkdir /kzg_nif
@@ -43,7 +43,7 @@
     rm -rf target/
 
 # snappy nif
-FROM rust:1.81.0 AS snappy_nif_builder
+FROM rust:1.93.1 AS snappy_nif_builder
 LABEL stage=builder
 
 RUN mkdir /snappy_nif
@@ -55,7 +55,7 @@
     rm -rf target/
 
 # ssz nif
-FROM rust:1.81.0 AS ssz_nif_builder
+FROM rust:1.93.1 AS ssz_nif_builder
 LABEL stage=builder
 
 RUN mkdir /ssz_nif
@@ -67,7 +67,7 @@
     rm -rf target/
 
 # Main image
-FROM elixir:1.16.2-otp-26
+FROM elixir:1.19.4-otp-28
 
 RUN mkdir /consensus
 WORKDIR /consensus
@@ -76,8 +76,7 @@
 # To avoid recompiling rustler NIFs
 ENV RUSTLER_SKIP_COMPILE=yes
 
-# https://github.com/hexpm/hex/issues/1029#issuecomment-2124545292
-RUN mix local.hex 2.0.6 --force
+RUN mix local.hex --force
 
 # Install dependencies
 RUN apt-get update && apt-get install -y cmake protobuf-compiler
@@ -120,4 +119,4 @@
 # TODO: This could be an issue regarding OS signals, we should use JSONArgs but shell form is the
 # only way to pass args to ENTRYPOINT, specially important because of the cookie. Best
 # solution would be to move to releases and avoid starting the node manually through iex.
 ENTRYPOINT iex $IEX_ARGS_VALUE -S mix run -- $0 $@

Makefile

@@ -254,7 +254,7 @@ $(CONFIG_FILE): $(FORK_VERSION_FILE)
 
 $(SPECTEST_ROOTDIR)/%_${SPECTEST_VERSION}.tar.gz:
 	curl -L -o "$@" \
-		"https://github.com/ethereum/consensus-spec-tests/releases/download/${SPECTEST_VERSION}/$*.tar.gz"
+		"https://github.com/ethereum/consensus-specs/releases/download/${SPECTEST_VERSION}/$*.tar.gz"
 
 $(VECTORS_DIR)/%: $(SPECTEST_ROOTDIR)/%_${SPECTEST_VERSION}.tar.gz .spectest_version
 	-rm -rf $@

config/config.exs

@@ -11,6 +11,7 @@ fork =
   case fork_raw do
     "deneb" -> :deneb
     "electra" -> :electra
+    "fulu" -> :fulu
     v -> raise "Invalid fork specified: #{v}"
   end
 

config/networks/gnosis/config.yaml

@@ -1,11 +1,11 @@
-PRESET_BASE: "gnosis"
+PRESET_BASE: 'gnosis'
 
 # Free-form short name of the network that this configuration applies to - known
 # canonical network names include:
 # * 'mainnet' - there can be only one
 # * 'prater' - testnet
 # Must match the regex: [a-z0-9\-]
-CONFIG_NAME: "gnosis"
+CONFIG_NAME: 'gnosis'
 
 # Transition
 # ---------------------------------------------------------------
@@ -15,6 +15,7 @@ TERMINAL_TOTAL_DIFFICULTY: 8626000000000000000000058750000000000000000000
 TERMINAL_BLOCK_HASH: 0x0000000000000000000000000000000000000000000000000000000000000000
 TERMINAL_BLOCK_HASH_ACTIVATION_EPOCH: 18446744073709551615
 
+
 # Genesis
 # ---------------------------------------------------------------
 # `2**12` (= 4,096)
@@ -26,6 +27,7 @@ GENESIS_FORK_VERSION: 0x00000064
 # Customized for GBC: ~1 hour
 GENESIS_DELAY: 6000
 
+
 # Forking
 # ---------------------------------------------------------------
 # Some forks are disabled for now:
@@ -37,13 +39,20 @@ ALTAIR_FORK_VERSION: 0x01000064
 ALTAIR_FORK_EPOCH: 512
 # Bellatrix
 BELLATRIX_FORK_VERSION: 0x02000064
-BELLATRIX_FORK_EPOCH: 385536 # 2022-11-30T19:23:40.000Z
+BELLATRIX_FORK_EPOCH: 385536  # 2022-11-30T19:23:40.000Z
 # Capella
 CAPELLA_FORK_VERSION: 0x03000064
-CAPELLA_FORK_EPOCH: 648704 # 2023-08-01T11:34:20.000Z
+CAPELLA_FORK_EPOCH: 648704  # 2023-08-01T11:34:20.000Z
 # Deneb
 DENEB_FORK_VERSION: 0x04000064
-DENEB_FORK_EPOCH: 889856 # 2024-03-11T18:30:20.000Z
+DENEB_FORK_EPOCH: 889856  # 2024-03-11T18:30:20.000Z
+# Electra
+ELECTRA_FORK_VERSION: 0x05000064
+ELECTRA_FORK_EPOCH: 1337856  # 2025-04-30T14:03:40.000Z
+# Fulu
+FULU_FORK_VERSION: 0x06000064
+FULU_FORK_EPOCH: 18446744073709551615  # temporary stub
+
 
 # Time parameters
 # ---------------------------------------------------------------
@@ -58,6 +67,7 @@ SHARD_COMMITTEE_PERIOD: 256
 # 2**10 (= 1024) ~1.4 hour
 ETH1_FOLLOW_DISTANCE: 1024
 
+
 # Validator cycle
 # ---------------------------------------------------------------
 # 2**2 (= 4)
@@ -84,6 +94,7 @@ REORG_PARENT_WEIGHT_THRESHOLD: 160
 # `2` epochs
 REORG_MAX_EPOCHS_SINCE_FINALIZATION: 2
 
+
 # Deposit contract
 # ---------------------------------------------------------------
 # xDai Mainnet
@@ -94,19 +105,13 @@ DEPOSIT_CONTRACT_ADDRESS: 0x0B98057eA310F4d31F2a452B414647007d1645d9
 # Networking
 # ---------------------------------------------------------------
 # `10 * 2**20` (= 10485760, 10 MiB)
-GOSSIP_MAX_SIZE: 10485760
+MAX_PAYLOAD_SIZE: 10485760
 # `2**10` (= 1024)
 MAX_REQUEST_BLOCKS: 1024
 # `2**8` (= 256)
 EPOCHS_PER_SUBNET_SUBSCRIPTION: 256
 # 33024, ~31 days
 MIN_EPOCHS_FOR_BLOCK_REQUESTS: 33024
-# `10 * 2**20` (=10485760, 10 MiB)
-MAX_CHUNK_SIZE: 10485760
-# 5s
-TTFB_TIMEOUT: 5
-# 10s
-RESP_TIMEOUT: 10
 ATTESTATION_PROPAGATION_SLOT_RANGE: 32
 # 500ms
 MAXIMUM_GOSSIP_CLOCK_DISPARITY: 500
@@ -123,9 +128,39 @@ 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**14` (= 16384 epochs, ~15 days)
+# `2**14` (= 16384 epochs, ~18 days)
 MIN_EPOCHS_FOR_BLOB_SIDECARS_REQUESTS: 16384
 # `6`
 BLOB_SIDECAR_SUBNET_COUNT: 6
+# `uint64(2)`
+MAX_BLOBS_PER_BLOCK: 2
+# MAX_REQUEST_BLOCKS_DENEB * MAX_BLOBS_PER_BLOCK
+MAX_REQUEST_BLOB_SIDECARS: 768
+
+# Electra
+# 2**7 * 10**9 (= 128,000,000,000)
+MIN_PER_EPOCH_CHURN_LIMIT_ELECTRA: 128000000000
+# 2**6 * 10**9 (= 64,000,000,000)
+MAX_PER_EPOCH_ACTIVATION_EXIT_CHURN_LIMIT: 64000000000
+# `2`
+BLOB_SIDECAR_SUBNET_COUNT_ELECTRA: 2
+# `uint64(2)`
+MAX_BLOBS_PER_BLOCK_ELECTRA: 2
+# MAX_REQUEST_BLOCKS_DENEB * MAX_BLOBS_PER_BLOCK_ELECTRA
+MAX_REQUEST_BLOB_SIDECARS_ELECTRA: 256
+
+# Fulu
+NUMBER_OF_COLUMNS: 128
+NUMBER_OF_CUSTODY_GROUPS: 128
+DATA_COLUMN_SIDECAR_SUBNET_COUNT: 128
+MAX_REQUEST_DATA_COLUMN_SIDECARS: 16384
+SAMPLES_PER_SLOT: 8
+CUSTODY_REQUIREMENT: 4
+VALIDATOR_CUSTODY_REQUIREMENT: 8
+BALANCE_PER_ADDITIONAL_CUSTODY_GROUP: 32000000000
+MAX_BLOBS_PER_BLOCK_FULU: 2
+# `2**14` (= 16384 epochs, ~18 days)
+MIN_EPOCHS_FOR_DATA_COLUMN_SIDECARS_REQUESTS: 16384
+
+# EIP7732
+MAX_REQUEST_PAYLOADS: 128