Merge pull request #4163 from ethereum/dev

Release v1.5.0-beta.3

Author: jtraglia

.circleci/config.yml

@@ -35,14 +35,14 @@ commands:
     description: "Restore the cache with pyspec keys"
     steps:
       - restore_cached_venv:
-          venv_name: v33-pyspec
-          reqs_checksum: cache-{{ checksum "setup.py" }}-{{ checksum "pyproject.toml" }}-{{ python3 --version }}
+          venv_name: v34-pyspec
+          reqs_checksum: cache-{{ checksum "setup.py" }}-{{ checksum "pyproject.toml" }}
   save_pyspec_cached_venv:
-    description: Save a venv into a cache with pyspec keys"
+    description: "Save a venv into a cache with pyspec keys"
     steps:
       - save_cached_venv:
-          venv_name: v33-pyspec
-          reqs_checksum: cache-{{ checksum "setup.py" }}-{{ checksum "pyproject.toml" }}-{{ python3 --version }}
+          venv_name: v34-pyspec
+          reqs_checksum: cache-{{ checksum "setup.py" }}-{{ checksum "pyproject.toml" }}
           venv_path: ./venv
 jobs:
   checkout_specs:
@@ -168,7 +168,7 @@ jobs:
           command: make test fork=fulu
       - store_test_results:
           path: tests/core/pyspec/test-reports
-  test-whisk:
+  test-eip7441:
     docker:
       - image: cimg/python:3.12-node
     working_directory: ~/specs-repo
@@ -178,7 +178,7 @@ jobs:
       - restore_pyspec_cached_venv
       - run:
           name: Run py-tests
-          command: make test fork=whisk
+          command: make test fork=eip7441
       - store_test_results:
           path: tests/core/pyspec/test-reports
   lint:
@@ -224,7 +224,7 @@ workflows:
       - test-fulu:
           requires:
             - install_pyspec_test
-      - test-whisk:
+      - test-eip7441:
           requires:
             - install_pyspec_test
       - lint:

.github/workflows/run-tests.yml

@@ -61,7 +61,7 @@ jobs:
     needs: [lint]
     strategy:
       matrix:
-        version: ["phase0", "altair", "bellatrix", "capella", "deneb", "electra", "fulu", "whisk"]
+        version: ["phase0", "altair", "bellatrix", "capella", "deneb", "electra", "fulu", "eip7441"]
     steps:
       - name: Checkout repository
         uses: actions/checkout@v4

.gitignore

@@ -24,9 +24,10 @@ tests/core/pyspec/eth2spec/capella/
 tests/core/pyspec/eth2spec/deneb/
 tests/core/pyspec/eth2spec/electra/
 tests/core/pyspec/eth2spec/fulu/
-tests/core/pyspec/eth2spec/whisk/
 tests/core/pyspec/eth2spec/eip6800/
+tests/core/pyspec/eth2spec/eip7441/
 tests/core/pyspec/eth2spec/eip7732/
+tests/core/pyspec/eth2spec/eip7805/
 
 # coverage reports
 .htmlcov

Makefile

@@ -10,9 +10,10 @@ ALL_EXECUTABLE_SPEC_NAMES = \
 	deneb     \
 	electra   \
 	fulu      \
-	whisk     \
 	eip6800   \
-	eip7732
+	eip7441   \
+	eip7732   \
+  eip7805
 
 # A list of fake targets.
 .PHONY: \
@@ -73,10 +74,12 @@ PYSPEC_DIR = $(TEST_LIBS_DIR)/pyspec
 
 # Create the pyspec for all phases.
 pyspec: $(VENV) setup.py pyproject.toml
-	@echo "Building eth2spec"
 	@$(PYTHON_VENV) -m uv pip install --reinstall-package=eth2spec .[docs,lint,test,generator]
-	@echo "Building all pyspecs"
-	@$(PYTHON_VENV) setup.py pyspecdev
+	@for dir in $(ALL_EXECUTABLE_SPEC_NAMES); do \
+	    mkdir -p "./tests/core/pyspec/eth2spec/$$dir"; \
+	    cp "./build/lib/eth2spec/$$dir/mainnet.py" "./tests/core/pyspec/eth2spec/$$dir/mainnet.py"; \
+	    cp "./build/lib/eth2spec/$$dir/minimal.py" "./tests/core/pyspec/eth2spec/$$dir/minimal.py"; \
+	done
 
 ###############################################################################
 # Testing
@@ -240,12 +243,16 @@ gen_all: $(GENERATOR_TARGETS)
 
 # Detect errors in generators.
 detect_errors: $(TEST_VECTOR_DIR)
-	@find $(TEST_VECTOR_DIR) -name "INCOMPLETE"
+	@incomplete_files=$$(find $(TEST_VECTOR_DIR) -name "INCOMPLETE"); \
+	if [ -n "$$incomplete_files" ]; then \
+		echo "[ERROR] incomplete detected"; \
+		exit 1; \
+	fi
 	@if [ -f $(GENERATOR_ERROR_LOG_FILE) ]; then \
 		echo "[ERROR] $(GENERATOR_ERROR_LOG_FILE) file exists"; \
-	else \
-		echo "[PASSED] error log file does not exist"; \
+		exit 1; \
 	fi
+	@echo "[PASSED] no errors detected"
 
 # Generate KZG trusted setups for testing.
 kzg_setups: pyspec
@@ -263,4 +270,4 @@ kzg_setups: pyspec
 
 # Delete all untracked files.
 clean:
-	@git clean -fdx
+	@git clean -fdx

README.md

@@ -18,7 +18,7 @@ Features are researched and developed in parallel, and then consolidated into se
 | Seq. | Code Name | Fork Epoch | Specs |
 | - | - | - | - |
 | 0 | **Phase0** |`0` | <ul><li>Core</li><ul><li>[The beacon chain](specs/phase0/beacon-chain.md)</li><li>[Deposit contract](specs/phase0/deposit-contract.md)</li><li>[Beacon chain fork choice](specs/phase0/fork-choice.md)</li></ul><li>Additions</li><ul><li>[Honest validator guide](specs/phase0/validator.md)</li><li>[P2P networking](specs/phase0/p2p-interface.md)</li><li>[Weak subjectivity](specs/phase0/weak-subjectivity.md)</li></ul></ul> |
-| 1 |  **Altair** | `74240` | <ul><li>Core</li><ul><li>[Beacon chain changes](specs/altair/beacon-chain.md)</li><li>[Altair fork](specs/altair/fork.md)</li></ul><li>Additions</li><ul><li>[Light client sync protocol](specs/altair/light-client/sync-protocol.md) ([full node](specs/altair/light-client/full-node.md), [light client](specs/altair/light-client/light-client.md), [networking](specs/altair/light-client/p2p-interface.md))</li><li>[Honest validator guide changes](specs/altair/validator.md)</li><li>[P2P networking](specs/altair/p2p-interface.md)</li></ul></ul> |
+| 1 | **Altair** | `74240` | <ul><li>Core</li><ul><li>[Beacon chain changes](specs/altair/beacon-chain.md)</li><li>[Altair fork](specs/altair/fork.md)</li></ul><li>Additions</li><ul><li>[Light client sync protocol](specs/altair/light-client/sync-protocol.md) ([full node](specs/altair/light-client/full-node.md), [light client](specs/altair/light-client/light-client.md), [networking](specs/altair/light-client/p2p-interface.md))</li><li>[Honest validator guide changes](specs/altair/validator.md)</li><li>[P2P networking](specs/altair/p2p-interface.md)</li></ul></ul> |
 | 2 | **Bellatrix** <br/> (["The Merge"](https://ethereum.org/en/upgrades/merge/)) | `144896` | <ul><li>Core</li><ul><li>[Beacon Chain changes](specs/bellatrix/beacon-chain.md)</li><li>[Bellatrix fork](specs/bellatrix/fork.md)</li><li>[Fork choice changes](specs/bellatrix/fork-choice.md)</li></ul><li>Additions</li><ul><li>[Honest validator guide changes](specs/bellatrix/validator.md)</li><li>[P2P networking](specs/bellatrix/p2p-interface.md)</li></ul></ul> |
 | 3 | **Capella** | `194048` | <ul><li>Core</li><ul><li>[Beacon chain changes](specs/capella/beacon-chain.md)</li><li>[Capella fork](specs/capella/fork.md)</li></ul><li>Additions</li><ul><li>[Light client sync protocol changes](specs/capella/light-client/sync-protocol.md) ([fork](specs/capella/light-client/fork.md), [full node](specs/capella/light-client/full-node.md), [networking](specs/capella/light-client/p2p-interface.md))</li><li>[Validator additions](specs/capella/validator.md)</li><li>[P2P networking](specs/capella/p2p-interface.md)</li></ul></ul> |
 | 4 | **Deneb** | `269568` | <ul><li>Core</li><ul><li>[Beacon Chain changes](specs/deneb/beacon-chain.md)</li><li>[Deneb fork](specs/deneb/fork.md)</li><li>[Polynomial commitments](specs/deneb/polynomial-commitments.md)</li><li>[Fork choice changes](specs/deneb/fork-choice.md)</li></ul><li>Additions</li><ul><li>[Light client sync protocol changes](specs/deneb/light-client/sync-protocol.md) ([fork](specs/deneb/light-client/fork.md), [full node](specs/deneb/light-client/full-node.md), [networking](specs/deneb/light-client/p2p-interface.md))</li><li>[Honest validator guide changes](specs/deneb/validator.md)</li><li>[P2P networking](specs/deneb/p2p-interface.md)</li></ul></ul> |

configs/mainnet.yaml

@@ -56,9 +56,9 @@ ELECTRA_FORK_EPOCH: 18446744073709551615  # temporary stub
 # Fulu
 FULU_FORK_VERSION: 0x06000000
 FULU_FORK_EPOCH: 18446744073709551615  # temporary stub
-# WHISK
-WHISK_FORK_VERSION: 0x08000000  # temporary stub
-WHISK_FORK_EPOCH: 18446744073709551615
+# EIP7441
+EIP7441_FORK_VERSION: 0x08000000  # temporary stub
+EIP7441_FORK_EPOCH: 18446744073709551615
 # EIP7732
 EIP7732_FORK_VERSION: 0x09000000  # temporary stub
 EIP7732_FORK_EPOCH: 18446744073709551615
@@ -175,11 +175,14 @@ BALANCE_PER_ADDITIONAL_CUSTODY_GROUP: 32000000000
 MAX_BLOBS_PER_BLOCK_FULU: 12
 MIN_EPOCHS_FOR_DATA_COLUMN_SIDECARS_REQUESTS: 4096
 
-# Whisk
-# `Epoch(2**8)`
-WHISK_EPOCHS_PER_SHUFFLING_PHASE: 256
-# `Epoch(2)`
-WHISK_PROPOSER_SELECTION_GAP: 2
+# EIP7441
+EPOCHS_PER_SHUFFLING_PHASE: 256
+PROPOSER_SELECTION_GAP: 2
 
 # EIP7732
 MAX_REQUEST_PAYLOADS: 128
+
+# EIP7805
+ATTESTATION_DEADLINE: 4
+PROPOSER_INCLUSION_LIST_CUT_OFF: 11
+VIEW_FREEZE_DEADLINE: 9

configs/minimal.yaml

@@ -55,9 +55,9 @@ ELECTRA_FORK_EPOCH: 18446744073709551615
 # Fulu
 FULU_FORK_VERSION: 0x06000001
 FULU_FORK_EPOCH: 18446744073709551615
-# WHISK
-WHISK_FORK_VERSION: 0x08000001
-WHISK_FORK_EPOCH: 18446744073709551615
+# EIP7441
+EIP7441_FORK_VERSION: 0x08000001
+EIP7441_FORK_EPOCH: 18446744073709551615
 # EIP7732
 EIP7732_FORK_VERSION: 0x09000001
 EIP7732_FORK_EPOCH: 18446744073709551615
@@ -176,9 +176,14 @@ BALANCE_PER_ADDITIONAL_CUSTODY_GROUP: 32000000000
 MAX_BLOBS_PER_BLOCK_FULU: 12
 MIN_EPOCHS_FOR_DATA_COLUMN_SIDECARS_REQUESTS: 4096
 
-# Whisk
-WHISK_EPOCHS_PER_SHUFFLING_PHASE: 4
-WHISK_PROPOSER_SELECTION_GAP: 1
+# EIP7441
+EPOCHS_PER_SHUFFLING_PHASE: 4
+PROPOSER_SELECTION_GAP: 1
 
 # EIP7732
 MAX_REQUEST_PAYLOADS: 128
+
+# EIP7805
+ATTESTATION_DEADLINE: 2
+PROPOSER_INCLUSION_LIST_CUT_OFF: 5
+VIEW_FREEZE_DEADLINE: 3

presets/mainnet/whisk.yaml renamed to presets/mainnet/eip7441.yaml

@@ -1,16 +1,16 @@
-# Mainnet preset - Whisk
+# Mainnet preset - EIP7441
 
 # Misc
 # ---------------------------------------------------------------
 # `uint64(4)`
 CURDLEPROOFS_N_BLINDERS: 4
 # `uint64(2**14)`
-WHISK_CANDIDATE_TRACKERS_COUNT: 16384
-# `uint64(2**13)` must be < WHISK_CANDIDATE_TRACKERS_COUNT
-WHISK_PROPOSER_TRACKERS_COUNT: 8192
+CANDIDATE_TRACKERS_COUNT: 16384
+# `uint64(2**13)` must be < CANDIDATE_TRACKERS_COUNT
+PROPOSER_TRACKERS_COUNT: 8192
 # `uint64(2**7 - CURDLEPROOFS_N_BLINDERS)`
-WHISK_VALIDATORS_PER_SHUFFLE: 124
+VALIDATORS_PER_SHUFFLE: 124
 # `uint64(2**15)` TODO: will be replaced by a fix format once there's a serialized format
-WHISK_MAX_SHUFFLE_PROOF_SIZE: 32768
+MAX_SHUFFLE_PROOF_SIZE: 32768
 # `uint64(2**10)` TODO: will be replaced by a fix format once there's a serialized format
-WHISK_MAX_OPENING_PROOF_SIZE: 1024
+MAX_OPENING_PROOF_SIZE: 1024

presets/minimal/whisk.yaml renamed to presets/minimal/eip7441.yaml

@@ -1,16 +1,16 @@
-# Minimal preset - Whisk
+# Minimal preset - EIP7441
 
 # Misc
 # ---------------------------------------------------------------
 # [customized]
 CURDLEPROOFS_N_BLINDERS: 4
 # [customized]
-WHISK_CANDIDATE_TRACKERS_COUNT: 32
+CANDIDATE_TRACKERS_COUNT: 32
 # [customized]
-WHISK_PROPOSER_TRACKERS_COUNT: 16
+PROPOSER_TRACKERS_COUNT: 16
 # [customized]
-WHISK_VALIDATORS_PER_SHUFFLE: 4
+VALIDATORS_PER_SHUFFLE: 4
 # `uint64(2**15)` TODO: will be replaced by a fix format once there's a serialized format
-WHISK_MAX_SHUFFLE_PROOF_SIZE: 32768
+MAX_SHUFFLE_PROOF_SIZE: 32768
 # `uint64(2**10)` TODO: will be replaced by a fix format once there's a serialized format
-WHISK_MAX_OPENING_PROOF_SIZE: 1024
+MAX_OPENING_PROOF_SIZE: 1024

pysetup/constants.py

@@ -7,8 +7,9 @@
 ELECTRA = 'electra'
 FULU = 'fulu'
 EIP6800 = 'eip6800'
-WHISK = 'whisk'
+EIP7441 = 'eip7441'
 EIP7732 = 'eip7732'
+EIP7805 = 'eip7805'
 
 
 # The helper functions that are used when defining constants