Spec 6s slot times (EIP-7782)

.github/release-drafter.yml

@@ -26,6 +26,8 @@ categories:
     label: eip7594
   - title: EIP-7732
     label: eip7732
+  - title: EIP-7782
+    label: eip7782
   - title: EIP-7805
     label: eip7805
 

.github/workflows/nightly-tests.yml

@@ -32,6 +32,7 @@ jobs:
           - electra
           - fulu
           - eip7732
+          - eip7782
           - eip7805
     steps:
       - name: Checkout repository

.github/workflows/run-tests.yml

@@ -67,6 +67,7 @@ jobs:
           - electra
           - fulu
           - eip7732
+          - eip7782
           - eip7805
     steps:
       - name: Checkout repository

.gitignore

@@ -27,6 +27,7 @@ tests/core/pyspec/eth2spec/fulu/
 tests/core/pyspec/eth2spec/eip6800/
 tests/core/pyspec/eth2spec/eip7441/
 tests/core/pyspec/eth2spec/eip7732/
+tests/core/pyspec/eth2spec/eip7782/
 tests/core/pyspec/eth2spec/eip7805/
 
 # coverage reports

Makefile

@@ -13,6 +13,7 @@ ALL_EXECUTABLE_SPEC_NAMES = \
 	eip6800   \
 	eip7441   \
 	eip7732   \
+	eip7782   \
 	eip7805
 
 # A list of fake targets.

configs/mainnet.yaml

@@ -61,6 +61,9 @@ EIP7441_FORK_EPOCH: 18446744073709551615
 # EIP7732
 EIP7732_FORK_VERSION: 0x09000000  # temporary stub
 EIP7732_FORK_EPOCH: 18446744073709551615
+# EIP7782
+EIP7782_FORK_VERSION: 0x0b000000  # temporary stub
+EIP7782_FORK_EPOCH: 18446744073709551615
 # EIP7805
 EIP7805_FORK_VERSION: 0x0a000000  # temporary stub
 EIP7805_FORK_EPOCH: 18446744073709551615
@@ -104,6 +107,18 @@ CONTRIBUTION_DUE_BPS_EIP7732: 5000
 # 7500 basis points, 75% of SLOT_DURATION_MS
 PAYLOAD_ATTESTATION_DUE_BPS: 7500
 
+# EIP-7782
+# 6000 milliseconds, 6 seconds
+SLOT_DURATION_MS_EIP7782: 6000
+# 5000 basis points, 50% of SLOT_DURATION_MS_EIP7782
+ATTESTATION_DUE_BPS_EIP7782: 5000
+# 7500 basis points, 75% of SLOT_DURATION_MS_EIP7782
+AGGREGRATE_DUE_BPS_EIP7782: 7500
+# 3333 basis points, ~33% of SLOT_DURATION_MS_EIP7782
+SYNC_MESSAGE_DUE_BPS_EIP7782: 3333
+# 6667 basis points, ~67% of SLOT_DURATION_MS_EIP7782
+CONTRIBUTION_DUE_BPS_EIP7782: 6667
+
 # EIP-7805
 # 7500 basis points, 75% of SLOT_DURATION_MS
 VIEW_FREEZE_CUTOFF_BPS: 7500
@@ -135,6 +150,12 @@ MIN_PER_EPOCH_CHURN_LIMIT_ELECTRA: 128000000000
 # 2**8 * 10**9 (= 256,000,000,000) Gwei
 MAX_PER_EPOCH_ACTIVATION_EXIT_CHURN_LIMIT: 256000000000
 
+# EIP-7782
+# 2**6 * 10**9 (= 64,000,000,000) Gwei
+MIN_PER_EPOCH_CHURN_LIMIT_EIP7782: 64000000000
+# 2**7 * 10**9 (= 128,000,000,000) Gwei
+MAX_PER_EPOCH_ACTIVATION_EXIT_CHURN_LIMIT_EIP7782: 128000000000
+
 # Fork choice
 # ---------------------------------------------------------------
 # 40%
@@ -240,4 +261,6 @@ MAX_BYTES_PER_INCLUSION_LIST: 8192
 # Blob Scheduling
 # ---------------------------------------------------------------
 
-BLOB_SCHEDULE: []
+BLOB_SCHEDULE:
+  - EPOCH: 18446744073709551615  # EIP7782_FORK_EPOCH (TBD)
+    MAX_BLOBS_PER_BLOCK: 3

configs/minimal.yaml

@@ -57,6 +57,9 @@ EIP7441_FORK_EPOCH: 18446744073709551615
 # [customized] EIP7732
 EIP7732_FORK_VERSION: 0x09000001
 EIP7732_FORK_EPOCH: 18446744073709551615
+# [customized] EIP7782
+EIP7782_FORK_VERSION: 0x0b000001
+EIP7782_FORK_EPOCH: 18446744073709551615
 # [customized] EIP7805
 EIP7805_FORK_VERSION: 0x0a000001
 EIP7805_FORK_EPOCH: 18446744073709551615
@@ -100,6 +103,18 @@ CONTRIBUTION_DUE_BPS_EIP7732: 5000
 # 7500 basis points, 75% of SLOT_DURATION_MS
 PAYLOAD_ATTESTATION_DUE_BPS: 7500
 
+# EIP-7782
+# [customized] 3000 milliseconds, 3 seconds
+SLOT_DURATION_MS_EIP7782: 6000
+# 5000 basis points, 50% of SLOT_DURATION_MS_EIP7782
+ATTESTATION_DUE_BPS_EIP7782: 5000
+# 7500 basis points, 75% of SLOT_DURATION_MS_EIP7782
+AGGREGRATE_DUE_BPS_EIP7782: 7500
+# 3333 basis points, ~33% of SLOT_DURATION_MS_EIP7782
+SYNC_MESSAGE_DUE_BPS_EIP7782: 3333
+# 6667 basis points, ~67% of SLOT_DURATION_MS_EIP7782
+CONTRIBUTION_DUE_BPS_EIP7782: 6667
+
 # EIP-7805
 # 7500 basis points, 75% of SLOT_DURATION_MS
 VIEW_FREEZE_CUTOFF_BPS: 7500
@@ -131,6 +146,12 @@ MIN_PER_EPOCH_CHURN_LIMIT_ELECTRA: 64000000000
 # [customized] 2**7 * 10**9 (= 128,000,000,000) Gwei
 MAX_PER_EPOCH_ACTIVATION_EXIT_CHURN_LIMIT: 128000000000
 
+# EIP-7782
+# [customized] 2**5 * 10**9 (= 32,000,000,000) Gwei
+MIN_PER_EPOCH_CHURN_LIMIT_EIP7782: 32000000000
+# [customized] 2**6 * 10**9 (= 64,000,000,000) Gwei
+MAX_PER_EPOCH_ACTIVATION_EXIT_CHURN_LIMIT_EIP7782: 64000000000
+
 # Fork choice
 # ---------------------------------------------------------------
 # 40%
@@ -237,4 +258,6 @@ MAX_BYTES_PER_INCLUSION_LIST: 8192
 # Blob Scheduling
 # ---------------------------------------------------------------
 
-BLOB_SCHEDULE: []
+BLOB_SCHEDULE:
+  - EPOCH: 18446744073709551615  # EIP7782_FORK_EPOCH (TBD)
+    MAX_BLOBS_PER_BLOCK: 3

pysetup/constants.py

@@ -9,6 +9,7 @@
 EIP6800 = "eip6800"
 EIP7441 = "eip7441"
 EIP7732 = "eip7732"
+EIP7782 = "eip7782"
 EIP7805 = "eip7805"
 
 

pysetup/md_doc_paths.py

@@ -8,6 +8,7 @@
     EIP6800,
     EIP7441,
     EIP7732,
+    EIP7782,
     EIP7805,
     ELECTRA,
     FULU,
@@ -25,6 +26,7 @@
     EIP6800: DENEB,
     EIP7441: CAPELLA,
     EIP7732: ELECTRA,
+    EIP7782: FULU,
     EIP7805: ELECTRA,
 }
 

pysetup/spec_builders/__init__.py

@@ -5,6 +5,7 @@
 from .eip6800 import EIP6800SpecBuilder
 from .eip7441 import EIP7441SpecBuilder
 from .eip7732 import EIP7732SpecBuilder
+from .eip7782 import EIP7782SpecBuilder
 from .eip7805 import EIP7805SpecBuilder
 from .electra import ElectraSpecBuilder
 from .fulu import FuluSpecBuilder
@@ -23,6 +24,7 @@
         EIP6800SpecBuilder,
         EIP7441SpecBuilder,
         EIP7732SpecBuilder,
+        EIP7782SpecBuilder,
         EIP7805SpecBuilder,
     )
 }

pysetup/spec_builders/eip7782.py

@@ -0,0 +1,12 @@
+from ..constants import EIP7782
+from .base import BaseSpecBuilder
+
+
+class EIP7782SpecBuilder(BaseSpecBuilder):
+    fork: str = EIP7782
+
+    @classmethod
+    def imports(cls, preset_name: str):
+        return f"""
+from eth2spec.fulu import {preset_name} as fulu
+"""

specs/_features/eip7782/beacon-chain.md

@@ -0,0 +1,100 @@
+# EIP-7782 -- The Beacon Chain
+
+<!-- mdformat-toc start --slug=github --no-anchors --maxlevel=6 --minlevel=2 -->
+
+- [Time parameters](#time-parameters)
+- [Rewards and penalties](#rewards-and-penalties)
+- [Configuration](#configuration)
+  - [Time parameters](#time-parameters-1)
+  - [EIP-7782 timing parameters](#eip-7782-timing-parameters)
+  - [EIP-7782 churn limit parameters](#eip-7782-churn-limit-parameters)
+  - [Modified churn limit functions](#modified-churn-limit-functions)
+    - [Modified `get_balance_churn_limit`](#modified-get_balance_churn_limit)
+    - [Modified `get_activation_exit_churn_limit`](#modified-get_activation_exit_churn_limit)
+- [Rewards and penalties](#rewards-and-penalties-1)
+  - [Helpers](#helpers)
+    - [`get_base_reward_per_increment`](#get_base_reward_per_increment)
+
+<!-- mdformat-toc end -->
+
+### Time parameters
+
+### Rewards and penalties
+
+| Name                         | Value                 |
+| ---------------------------- | --------------------- |
+| `BASE_REWARD_FACTOR_EIP7782` | `uint64(2**5)` (= 32) |
+
+## Configuration
+
+### Time parameters
+
+| Name                       | Value          |     Unit     | Duration  |
+| -------------------------- | -------------- | :----------: | :-------: |
+| `SLOT_DURATION_MS_EIP7782` | `uint64(6000)` | milliseconds | 6 seconds |
+
+### EIP-7782 timing parameters
+
+| Name                           | Value          |     Unit     |   Duration   |
+| ------------------------------ | -------------- | :----------: | :----------: |
+| `ATTESTATION_DUE_BPS_EIP7782`  | `uint64(5000)` | basis points | ~50% of slot |
+| `AGGREGRATE_DUE_BPS_EIP7782`   | `uint64(7500)` | basis points | ~75% of slot |
+| `SYNC_MESSAGE_DUE_BPS_EIP7782` | `uint64(3333)` | basis points | ~33% of slot |
+| `CONTRIBUTION_DUE_BPS_EIP7782` | `uint64(6667)` | basis points | ~67% of slot |
+
+*Note*: EIP-7782 uses the blob schedule mechanism to reduce blob throughput. The
+blob schedule entry for EIP-7782 sets `MAX_BLOBS_PER_BLOCK` to 3 (half of the
+current 6 blobs) to maintain constant throughput per unit time with 6-second
+slots. Transaction limits remain unchanged.
+
+*Note*: EIP-7782 also halves the churn limits to maintain timing constants with
+6-second slots. This ensures that validator activation/exit rates remain
+proportional to time rather than slot count.
+
+### EIP-7782 churn limit parameters
+
+| Name                                                | Value                | Unit |           Description           |
+| --------------------------------------------------- | -------------------- | :--: | :-----------------------------: |
+| `MIN_PER_EPOCH_CHURN_LIMIT_EIP7782`                 | `Gwei(64000000000)`  | Gwei |    Minimum balance per epoch    |
+| `MAX_PER_EPOCH_ACTIVATION_EXIT_CHURN_LIMIT_EIP7782` | `Gwei(128000000000)` | Gwei | Maximum activation/exit balance |
+
+### Modified churn limit functions
+
+#### Modified `get_balance_churn_limit`
+
+```python
+def get_balance_churn_limit(state: BeaconState) -> Gwei:
+    """
+    Return the churn limit for the current epoch.
+    """
+    churn = max(
+        MIN_PER_EPOCH_CHURN_LIMIT_EIP7782,
+        get_total_active_balance(state) // CHURN_LIMIT_QUOTIENT,
+    )
+    return churn - churn % EFFECTIVE_BALANCE_INCREMENT
+```
+
+#### Modified `get_activation_exit_churn_limit`
+
+```python
+def get_activation_exit_churn_limit(state: BeaconState) -> Gwei:
+    """
+    Return the churn limit for the current epoch dedicated to activations and exits.
+    """
+    return min(MAX_PER_EPOCH_ACTIVATION_EXIT_CHURN_LIMIT_EIP7782, get_balance_churn_limit(state))
+```
+
+## Rewards and penalties
+
+### Helpers
+
+#### `get_base_reward_per_increment`
+
+```python
+def get_base_reward_per_increment(state: BeaconState) -> Gwei:
+    return Gwei(
+        EFFECTIVE_BALANCE_INCREMENT
+        * BASE_REWARD_FACTOR_EIP7782
+        // integer_squareroot(get_total_active_balance(state))
+    )
+```