Spec 6s slot times (EIP-7782)

.github/release-drafter.yml

@@ -27,6 +27,12 @@ categories:
     label: eip6110
   - title: EIP-7441
     label: eip7441
+  - title: EIP-7594
+    label: eip7594
+  - title: EIP-7732
+    label: eip7732
+  - title: EIP-7782
+    label: eip7782
   - title: EIP-7805
     label: eip7805
 

.github/workflows/nightly-tests.yml

@@ -31,6 +31,8 @@ jobs:
           - deneb
           - electra
           - fulu
+          - eip7732
+          - eip7782
           - gloas
           - eip7805
           - eip7928

.github/workflows/run-tests.yml

@@ -66,6 +66,8 @@ jobs:
           - deneb
           - electra
           - fulu
+          - eip7732
+          - eip7782
           - gloas
           - eip7805
           - eip7928

.gitignore

@@ -27,6 +27,8 @@ tests/core/pyspec/eth2spec/fulu/
 tests/core/pyspec/eth2spec/gloas/
 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/
 tests/core/pyspec/eth2spec/eip7928/
 

Makefile

@@ -13,6 +13,8 @@ ALL_EXECUTABLE_SPEC_NAMES = \
 	gloas     \
 	eip6800   \
 	eip7441   \
+	eip7732   \
+	eip7782   \
 	eip7805   \
 	eip7928
 

configs/mainnet.yaml

@@ -61,6 +61,12 @@ GLOAS_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
+# EIP7782
+EIP7782_FORK_VERSION: 0x0b000000  # temporary stub
+EIP7782_FORK_EPOCH: 18446744073709551615
 # EIP7805
 EIP7805_FORK_VERSION: 0x0a000000  # temporary stub
 EIP7805_FORK_EPOCH: 18446744073709551615
@@ -107,6 +113,24 @@ CONTRIBUTION_DUE_BPS_GLOAS: 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-7782 sync committee period (doubled to maintain ~27 hours with 6-second slots)
+# 512 epochs (doubled from 256) to maintain ~27 hours
+EPOCHS_PER_SYNC_COMMITTEE_PERIOD_EIP7782: 512
+
+# EIP-7782 churn limits (halved for 6-second slots)
+
 # EIP7805
 # 7500 basis points, 75% of SLOT_DURATION_MS
 VIEW_FREEZE_CUTOFF_BPS: 7500
@@ -138,6 +162,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%
@@ -238,4 +268,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,12 @@ GLOAS_FORK_EPOCH: 18446744073709551615
 # [customized] EIP7441
 EIP7441_FORK_VERSION: 0x08000001
 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
@@ -103,6 +109,24 @@ CONTRIBUTION_DUE_BPS_GLOAS: 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-7782 sync committee period (doubled to maintain ~27 hours with 6-second slots)
+# 16 epochs (doubled from 8) to maintain ~27 hours
+EPOCHS_PER_SYNC_COMMITTEE_PERIOD_EIP7782: 16
+
+# EIP-7782 churn limits (halved for 6-second slots)
+
 # EIP7805
 # 7500 basis points, 75% of SLOT_DURATION_MS
 VIEW_FREEZE_CUTOFF_BPS: 7500
@@ -134,6 +158,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%
@@ -235,4 +265,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,8 @@
 GLOAS = "gloas"
 EIP6800 = "eip6800"
 EIP7441 = "eip7441"
+EIP7732 = "eip7732"
+EIP7782 = "eip7782"
 EIP7805 = "eip7805"
 EIP7928 = "eip7928"
 

pysetup/md_doc_paths.py

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

pysetup/spec_builders/__init__.py

@@ -4,6 +4,8 @@
 from .deneb import DenebSpecBuilder
 from .eip6800 import EIP6800SpecBuilder
 from .eip7441 import EIP7441SpecBuilder
+from .eip7732 import EIP7732SpecBuilder
+from .eip7782 import EIP7782SpecBuilder
 from .eip7805 import EIP7805SpecBuilder
 from .eip7928 import EIP7928SpecBuilder
 from .electra import ElectraSpecBuilder
@@ -24,6 +26,8 @@
         GloasSpecBuilder,
         EIP6800SpecBuilder,
         EIP7441SpecBuilder,
+        EIP7732SpecBuilder,
+        EIP7782SpecBuilder,
         EIP7805SpecBuilder,
         EIP7928SpecBuilder,
     )

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,146 @@
+# 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 sync committee parameters](#eip-7782-sync-committee-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)
+    - [Modified `get_activation_exit_churn_limit`](#modified-get_activation_exit_churn_limit-1)
+  - [Modified sync committee functions](#modified-sync-committee-functions)
+    - [Modified `get_sync_committee_period`](#modified-get_sync_committee_period)
+    - [Modified `get_sync_committee_period_at_slot`](#modified-get_sync_committee_period_at_slot)
+- [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 |
+
+### EIP-7782 sync committee parameters
+
+| Name | Value | Unit | Duration |
+| ---------------------------------------------- | -------------- | :--: | :------: |
+| `EPOCHS_PER_SYNC_COMMITTEE_PERIOD_EIP7782` | `uint64(512)` | epochs | ~27 hours |
+
+*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.
+
+*Note*: EIP-7782 doubles the sync committee period to maintain the same time duration (~27 hours) with 6-second slots.
+
+### 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))
+```
+
+#### 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))
+```
+
+### Modified sync committee functions
+
+#### Modified `get_sync_committee_period`
+
+```python
+def get_sync_committee_period(epoch: Epoch) -> uint64:
+    """
+    Return the sync committee period at ``epoch``.
+    """
+     return epoch // EPOCHS_PER_SYNC_COMMITTEE_PERIOD_EIP7782
+```
+
+#### Modified `get_sync_committee_period_at_slot`
+
+```python
+def get_sync_committee_period_at_slot(slot: Slot) -> uint64:
+    """
+    Return the sync committee period at ``slot``.
+    """
+    epoch = compute_epoch_at_slot(slot)
+    return get_sync_committee_period(epoch)
+```
+
+## 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))
+    )
+```