Add EIP-7549 to Electra

.circleci/config.yml

@@ -155,7 +155,7 @@ jobs:
           command: make citest fork=deneb
       - store_test_results:
           path: tests/core/pyspec/test-reports
-  test-eip6110:
+  test-electra:
     docker:
       - image: circleci/python:3.9
     working_directory: ~/specs-repo
@@ -165,33 +165,7 @@ jobs:
       - restore_pyspec_cached_venv
       - run:
           name: Run py-tests
-          command: make citest fork=eip6110
-      - store_test_results:
-          path: tests/core/pyspec/test-reports
-  test-eip7002:
-    docker:
-      - image: circleci/python:3.9
-    working_directory: ~/specs-repo
-    steps:
-      - restore_cache:
-          key: v3-specs-repo-{{ .Branch }}-{{ .Revision }}
-      - restore_pyspec_cached_venv
-      - run:
-          name: Run py-tests
-          command: make citest fork=eip7002
-      - store_test_results:
-          path: tests/core/pyspec/test-reports
-  test-eip7549:
-    docker:
-      - image: circleci/python:3.9
-    working_directory: ~/specs-repo
-    steps:
-      - restore_cache:
-          key: v3-specs-repo-{{ .Branch }}-{{ .Revision }}
-      - restore_pyspec_cached_venv
-      - run:
-          name: Run py-tests
-          command: make citest fork=eip7549
+          command: make citest fork=electra
       - store_test_results:
           path: tests/core/pyspec/test-reports
   test-whisk:
@@ -340,13 +314,7 @@ workflows:
       - test-deneb:
           requires:
             - install_pyspec_test
-      - test-eip6110:
-          requires:
-            - install_pyspec_test
-      - test-eip7002:
-          requires:
-            - install_pyspec_test
-      - test-eip7549:
+      - test-electra:
           requires:
             - install_pyspec_test
       - test-whisk:
@@ -360,7 +328,7 @@ workflows:
       - lint:
           requires:
             - install_pyspec_test
-      # NOTE: Since phase 0 has been launched, we disabled the deposit contract tests. 
+      # NOTE: Since phase 0 has been launched, we disabled the deposit contract tests.
       # - install_deposit_contract_web3_tester:
       #     requires:
       #       - checkout_specs

.github/workflows/run-tests.yml

@@ -10,9 +10,9 @@ env:
 on:
   push:
     branches:
-      - dev 
+      - dev
       - master
-  pull_request:    
+  pull_request:
   workflow_dispatch:
     inputs:
       test_preset_type:
@@ -71,22 +71,22 @@ jobs:
     needs: [preclear,lint,codespell,table_of_contents]
     strategy:
       matrix:
-        version: ["phase0", "altair", "bellatrix", "capella", "deneb", "eip6110", "eip7002", "eip7549", "whisk", "eip7594"]
+        version: ["phase0", "altair", "bellatrix", "capella", "deneb", "electra", "whisk", "eip7594"]
     steps:
       - name: Checkout this repo
         uses: actions/checkout@v3.2.0
       - name: set TEST_PRESET_TYPE
-        if: github.event.inputs.test_preset_type != ''        
+        if: github.event.inputs.test_preset_type != ''
         run: |
           echo "spec_test_preset_type=${{ github.event.inputs.test_preset_type || env.TEST_PRESET_TYPE }}" >> $GITHUB_ENV
       - name: set TEST_PRESET_TYPE
         if: ${{ (github.event_name == 'push' && github.ref_name != 'master') || github.event_name == 'pull_request' }}
         run: |
-          echo "spec_test_preset_type=${{ env.TEST_PRESET_TYPE}}" >> $GITHUB_ENV    
+          echo "spec_test_preset_type=${{ env.TEST_PRESET_TYPE}}" >> $GITHUB_ENV
       - name: set TEST_PRESET_TYPE
         if: ${{ github.event_name == 'push' && github.ref_name == 'master' }}
         run: |
-          echo "spec_test_preset_type=mainnet" >> $GITHUB_ENV    
+          echo "spec_test_preset_type=mainnet" >> $GITHUB_ENV
       - name: set TEST_PRESET_TYPE
         if: github.event.schedule=='0 0 * * *'
         run: |

.gitignore

@@ -21,9 +21,7 @@ tests/core/pyspec/eth2spec/altair/
 tests/core/pyspec/eth2spec/bellatrix/
 tests/core/pyspec/eth2spec/capella/
 tests/core/pyspec/eth2spec/deneb/
-tests/core/pyspec/eth2spec/eip6110/
-tests/core/pyspec/eth2spec/eip7002/
-tests/core/pyspec/eth2spec/eip7549/
+tests/core/pyspec/eth2spec/electra/
 tests/core/pyspec/eth2spec/whisk/
 tests/core/pyspec/eth2spec/eip7251/
 tests/core/pyspec/eth2spec/eip7594/

Makefile

@@ -35,7 +35,7 @@ MARKDOWN_FILES = $(wildcard $(SPEC_DIR)/*/*.md) \
                  $(wildcard $(SPEC_DIR)/_features/*/*/*.md) \
                  $(wildcard $(SSZ_DIR)/*.md)
 
-ALL_EXECUTABLE_SPEC_NAMES = phase0 altair bellatrix capella deneb eip6110 eip7002 eip7549 whisk
+ALL_EXECUTABLE_SPEC_NAMES = phase0 altair bellatrix capella deneb electra whisk
 # The parameters for commands. Use `foreach` to avoid listing specs again.
 COVERAGE_SCOPE := $(foreach S,$(ALL_EXECUTABLE_SPEC_NAMES), --cov=eth2spec.$S.$(TEST_PRESET_TYPE))
 PYLINT_SCOPE := $(foreach S,$(ALL_EXECUTABLE_SPEC_NAMES), ./eth2spec/$S)
@@ -244,5 +244,5 @@ build_docs: copy_docs
 	mkdocs build
 
 serve_docs:
-	. venv/bin/activate; 
+	. venv/bin/activate;
 	mkdocs serve

README.md

@@ -26,10 +26,10 @@ Features are researched and developed in parallel, and then consolidated into se
 ### In-development Specifications
 | Code Name or Topic | Specs | Notes |
 | - | - | - |
+| Electra | <ul><li>Core</li><ul><li>[Beacon Chain changes](specs/electra/beacon-chain.md)</li><li>[EIP-6110 fork](specs/electra/fork.md)</li></ul><li>Additions</li><ul><li>[Honest validator guide changes](specs/electra/validator.md)</li></ul></ul> |
 | Sharding (outdated) | <ul><li>Core</li><ul><li>[Beacon Chain changes](specs/_features/sharding/beacon-chain.md)</li></ul><li>Additions</li><ul><li>[P2P networking](specs/_features/sharding/p2p-interface.md)</li></ul></ul> |
 | Custody Game (outdated) | <ul><li>Core</li><ul><li>[Beacon Chain changes](specs/_features/custody_game/beacon-chain.md)</li></ul><li>Additions</li><ul><li>[Honest validator guide changes](specs/_features/custody_game/validator.md)</li></ul></ul> | Dependent on sharding |
 | Data Availability Sampling (outdated) | <ul><li>Core</li><ul><li>[Core types and functions](specs/_features/das/das-core.md)</li><li>[Fork choice changes](specs/_features/das/fork-choice.md)</li></ul><li>Additions</li><ul><li>[P2P Networking](specs/_features/das/p2p-interface.md)</li><li>[Sampling process](specs/_features/das/sampling.md)</li></ul></ul> | <ul><li> Dependent on sharding</li><li>[Technical explainer](https://hackmd.io/@HWeNw8hNRimMm2m2GH56Cw/B1YJPGkpD)</li></ul> |
-| EIP-6110 | <ul><li>Core</li><ul><li>[Beacon Chain changes](specs/_features/eip6110//beacon-chain.md)</li><li>[EIP-6110 fork](specs/_features/eip6110/fork.md)</li></ul><li>Additions</li><ul><li>[Honest validator guide changes](specs/_features/eip6110/validator.md)</li></ul></ul> |
 
 ### Accompanying documents can be found in [specs](specs) and include:
 

configs/mainnet.yaml

@@ -53,18 +53,9 @@ DENEB_FORK_EPOCH: 269568  # March 13, 2024, 01:55:35pm UTC
 # Electra
 ELECTRA_FORK_VERSION: 0x05000000
 ELECTRA_FORK_EPOCH: 18446744073709551615
-# EIP6110
-EIP6110_FORK_VERSION: 0x06000000  # temporary stub
-EIP6110_FORK_EPOCH: 18446744073709551615
-# EIP7002
-EIP7002_FORK_VERSION: 0x07000000  # temporary stub
-EIP7002_FORK_EPOCH: 18446744073709551615
 # EIP7251
 EIP7251_FORK_VERSION: 0x06000000  # temporary stub
 EIP7251_FORK_EPOCH: 18446744073709551615
-# EIP7549
-EIP7549_FORK_VERSION: 0x06000000  # temporary stub
-EIP7549_FORK_EPOCH: 18446744073709551615
 # WHISK
 WHISK_FORK_VERSION: 0x08000000  # temporary stub
 WHISK_FORK_EPOCH: 18446744073709551615

configs/minimal.yaml

@@ -52,18 +52,9 @@ DENEB_FORK_EPOCH: 18446744073709551615
 # Electra
 ELECTRA_FORK_VERSION: 0x05000001
 ELECTRA_FORK_EPOCH: 18446744073709551615
-# EIP6110
-EIP6110_FORK_VERSION: 0x06000001
-EIP6110_FORK_EPOCH: 18446744073709551615
-# EIP7002
-EIP7002_FORK_VERSION: 0x07000001
-EIP7002_FORK_EPOCH: 18446744073709551615
 # EIP7251
 EIP7251_FORK_VERSION: 0x06000001  # temporary stub
 EIP7251_FORK_EPOCH: 18446744073709551615
-# EIP7549
-EIP7549_FORK_VERSION: 0x06000001  # temporary stub
-EIP7549_FORK_EPOCH: 18446744073709551615
 # WHISK
 WHISK_FORK_VERSION: 0x08000001
 WHISK_FORK_EPOCH: 18446744073709551615

presets/mainnet/electra.yaml

@@ -0,0 +1,15 @@
+# Mainnet preset - Electra
+
+# # Max operations per block
+# ---------------------------------------------------------------
+# `uint64(2**0)` (= 1)
+MAX_ATTESTER_SLASHINGS_ELECTRA: 1
+# `uint64(2 * 3)` (= 8)
+MAX_ATTESTATIONS_ELECTRA: 8
+
+# Execution
+# ---------------------------------------------------------------
+# 2**13 (= 8192) receipts
+MAX_DEPOSIT_RECEIPTS_PER_PAYLOAD: 8192
+# 2**4 (= 16) exits
+MAX_EXECUTION_LAYER_EXITS: 16

presets/minimal/electra.yaml

@@ -0,0 +1,15 @@
+# Minimal preset - Electra
+
+# # Max operations per block
+# ---------------------------------------------------------------
+# `uint64(2**0)` (= 1)
+MAX_ATTESTER_SLASHINGS_ELECTRA: 1
+# `uint64(2 * 3)` (= 8)
+MAX_ATTESTATIONS_ELECTRA: 8
+
+# Execution
+# ---------------------------------------------------------------
+# [customized]
+MAX_DEPOSIT_RECEIPTS_PER_PAYLOAD: 4
+# 2**4 (= 16) exits
+MAX_EXECUTION_LAYER_EXITS: 16

pysetup/constants.py

@@ -4,12 +4,10 @@
 BELLATRIX = 'bellatrix'
 CAPELLA = 'capella'
 DENEB = 'deneb'
-EIP6110 = 'eip6110'
-EIP7002 = 'eip7002'
+ELECTRA = 'electra'
+EIP7594 = 'eip7594'
 EIP7251 = 'eip7251'
-EIP7549 = 'eip7549'
 WHISK = 'whisk'
-EIP7594 = 'eip7594'
 
 
 

pysetup/md_doc_paths.py

@@ -6,12 +6,10 @@
     BELLATRIX,
     CAPELLA,
     DENEB,
-    EIP6110,
-    EIP7002,
-    EIP7251,
-    EIP7549,
+    ELECTRA,
     WHISK,
     EIP7594,
+    EIP7251,
 )
 
 
@@ -21,10 +19,8 @@
     BELLATRIX: ALTAIR,
     CAPELLA: BELLATRIX,
     DENEB: CAPELLA,
-    EIP6110: DENEB,
-    EIP7549: DENEB,
+    ELECTRA: DENEB,
     WHISK: CAPELLA,
-    EIP7002: CAPELLA,
     EIP7251: DENEB,
     EIP7594: DENEB,
 }

pysetup/spec_builders/__init__.py

@@ -3,9 +3,7 @@
 from .bellatrix import BellatrixSpecBuilder
 from .capella import CapellaSpecBuilder
 from .deneb import DenebSpecBuilder
-from .eip6110 import EIP6110SpecBuilder
-from .eip7002 import EIP7002SpecBuilder
-from .eip7549 import EIP7549SpecBuilder
+from .electra import ElectraSpecBuilder
 from .whisk import WhiskSpecBuilder
 from .eip7251 import EIP7251SpecBuilder
 from .eip7594 import EIP7594SpecBuilder
@@ -15,7 +13,6 @@
     builder.fork: builder
     for builder in (
         Phase0SpecBuilder, AltairSpecBuilder, BellatrixSpecBuilder, CapellaSpecBuilder, DenebSpecBuilder,
-        EIP6110SpecBuilder, EIP7002SpecBuilder, EIP7549SpecBuilder, WhiskSpecBuilder, EIP7251SpecBuilder,
-        EIP7594SpecBuilder,
+        ElectraSpecBuilder, WhiskSpecBuilder, EIP7594SpecBuilder, EIP7251SpecBuilder,
     )
 }

pysetup/spec_builders/eip6110.py → pysetup/spec_builders/electra.py

@@ -1,9 +1,9 @@
 from .base import BaseSpecBuilder
-from ..constants import EIP6110
+from ..constants import ELECTRA
 
 
-class EIP6110SpecBuilder(BaseSpecBuilder):
-    fork: str = EIP6110
+class ElectraSpecBuilder(BaseSpecBuilder):
+    fork: str = ELECTRA
 
     @classmethod
     def imports(cls, preset_name: str):

scripts/build_run_docker_tests.sh

@@ -10,7 +10,7 @@
 
 
 # Set variables
-ALL_EXECUTABLE_SPECS=("phase0" "altair" "bellatrix" "capella" "deneb" "eip6110" "whisk")
+ALL_EXECUTABLE_SPECS=("phase0" "altair" "bellatrix" "capella" "deneb" "electra" "whisk")
 TEST_PRESET_TYPE=minimal
 FORK_TO_TEST=phase0
 NUMBER_OF_CORES=4