Add builder execution requests (EIP-8282) (#5359)

Author: jtraglia

presets/mainnet/gloas.yaml

@@ -10,6 +10,13 @@ PTC_SIZE: 512
 # 2**2 (= 4) attestations
 MAX_PAYLOAD_ATTESTATIONS: 4
 
+# Execution
+# ---------------------------------------------------------------
+# 2**8 (= 256) builder deposit requests
+MAX_BUILDER_DEPOSIT_REQUESTS_PER_PAYLOAD: 256
+# 2**4 (= 16) builder exit requests
+MAX_BUILDER_EXIT_REQUESTS_PER_PAYLOAD: 16
+
 # State list lengths
 # ---------------------------------------------------------------
 # 2**40 (= 1,099,511,627,776) builder spots

presets/minimal/gloas.yaml

@@ -10,6 +10,13 @@ PTC_SIZE: 16
 # 2**2 (= 4) attestations
 MAX_PAYLOAD_ATTESTATIONS: 4
 
+# Execution
+# ---------------------------------------------------------------
+# 2**8 (= 256) builder deposit requests
+MAX_BUILDER_DEPOSIT_REQUESTS_PER_PAYLOAD: 256
+# 2**4 (= 16) builder exit requests
+MAX_BUILDER_EXIT_REQUESTS_PER_PAYLOAD: 16
+
 # State list lengths
 # ---------------------------------------------------------------
 # 2**40 (= 1,099,511,627,776) builder spots

pysetup/spec_builders/heze.py

@@ -68,6 +68,8 @@ def is_inclusion_list_satisfied(self: ExecutionEngine,
     def deprecate_functions(cls) -> set[str]:
         return {
             "initialize_ptc_window",
+            "is_builder_withdrawal_credential",
+            "is_pending_validator",
             "onboard_builders_from_pending_deposits",
             "upgrade_to_gloas",
         }

specs/_features/eip8025/beacon-chain.md

@@ -50,7 +50,7 @@ and imports proof types from [proof-engine.md](./proof-engine.md).
 
 | Name                     | Value                      |
 | ------------------------ | -------------------------- |
-| `DOMAIN_EXECUTION_PROOF` | `DomainType('0x0E000000')` |
+| `DOMAIN_EXECUTION_PROOF` | `DomainType('0x0F000000')` |
 
 ## Containers
 

specs/_features/eip8148/beacon-chain.md

@@ -55,7 +55,7 @@ control their balance withdrawals more precisely.
 
 | Name                           | Value            |
 | ------------------------------ | ---------------- |
-| `SWEEP_THRESHOLD_REQUEST_TYPE` | `Bytes1('0x03')` |
+| `SWEEP_THRESHOLD_REQUEST_TYPE` | `Bytes1('0x05')` |
 
 ### Sweep threshold validation
 
@@ -136,6 +136,8 @@ class ExecutionRequests(Container):
     deposits: List[DepositRequest, MAX_DEPOSIT_REQUESTS_PER_PAYLOAD]
     withdrawals: List[WithdrawalRequest, MAX_WITHDRAWAL_REQUESTS_PER_PAYLOAD]
     consolidations: List[ConsolidationRequest, MAX_CONSOLIDATION_REQUESTS_PER_PAYLOAD]
+    builder_deposits: List[BuilderDepositRequest, MAX_BUILDER_DEPOSIT_REQUESTS_PER_PAYLOAD]
+    builder_exits: List[BuilderExitRequest, MAX_BUILDER_EXIT_REQUESTS_PER_PAYLOAD]
     # [New in EIP8148]
     sweep_thresholds: List[SetSweepThresholdRequest, MAX_SET_SWEEP_THRESHOLD_REQUESTS_PER_PAYLOAD]
 ```
@@ -238,6 +240,8 @@ def get_execution_requests_list(execution_requests: ExecutionRequests) -> Sequen
         (DEPOSIT_REQUEST_TYPE, execution_requests.deposits),
         (WITHDRAWAL_REQUEST_TYPE, execution_requests.withdrawals),
         (CONSOLIDATION_REQUEST_TYPE, execution_requests.consolidations),
+        (BUILDER_DEPOSIT_REQUEST_TYPE, execution_requests.builder_deposits),
+        (BUILDER_EXIT_REQUEST_TYPE, execution_requests.builder_exits),
         # [New in EIP8148]
         (SWEEP_THRESHOLD_REQUEST_TYPE, execution_requests.sweep_thresholds),
     ]
@@ -375,6 +379,8 @@ def apply_parent_execution_payload(
     for_ops(requests.deposits, process_deposit_request)
     for_ops(requests.withdrawals, process_withdrawal_request)
     for_ops(requests.consolidations, process_consolidation_request)
+    for_ops(requests.builder_deposits, process_builder_deposit_request)
+    for_ops(requests.builder_exits, process_builder_exit_request)
     # [New in EIP8148]
     for_ops(requests.sweep_thresholds, process_set_sweep_threshold_request)