Update for v1.7.0-alpha.1

Author: jtraglia

specrefs/.ethspecify.yml

@@ -1,4 +1,4 @@
-version: v1.6.1
+version: v1.7.0-alpha.1
 style: full
 
 specrefs:
@@ -72,8 +72,6 @@ exceptions:
     - BUILDER_PAYMENT_THRESHOLD_DENOMINATOR#gloas
     - BUILDER_PAYMENT_THRESHOLD_NUMERATOR#gloas
     - BUILDER_WITHDRAWAL_PREFIX#gloas
-    - DOMAIN_BEACON_BUILDER#gloas
-    - DOMAIN_PTC_ATTESTER#gloas
     - PAYLOAD_STATUS_EMPTY#gloas
     - PAYLOAD_STATUS_FULL#gloas
     - PAYLOAD_STATUS_PENDING#gloas
@@ -97,8 +95,6 @@ exceptions:
     # Not implemented: gloas
     - BeaconBlockBody#gloas
     - BeaconState#gloas
-    - BuilderPendingPayment#gloas
-    - BuilderPendingWithdrawal#gloas
     - DataColumnSidecar#gloas
     - ExecutionPayloadBid#gloas
     - ExecutionPayloadEnvelope#gloas
@@ -108,8 +104,10 @@ exceptions:
     - PayloadAttestation#gloas
     - PayloadAttestationData#gloas
     - PayloadAttestationMessage#gloas
+    - ProposerPreferences#gloas
     - SignedExecutionPayloadBid#gloas
     - SignedExecutionPayloadEnvelope#gloas
+    - SignedProposerPreferences#gloas
 
   dataclasses:
     # Not implemented: phase0
@@ -122,9 +120,14 @@ exceptions:
     - OptimisticStore#bellatrix
 
     # Not implemented: capella
+    - ExpectedWithdrawals#capella
     - LightClientStore#capella
 
+    # Not implemented: electra
+    - ExpectedWithdrawals#electra
+
     # Not implemented: gloas
+    - ExpectedWithdrawals#gloas
     - LatestMessage#gloas
     - Store#gloas
 
@@ -187,6 +190,7 @@ exceptions:
     - bytes_to_uint64#phase0
     - check_if_validator_active#phase0
     - compute_new_state_root#phase0
+    - compute_proposer_score#phase0
     - compute_pulled_up_tip#phase0
     - compute_subscribed_subnet#phase0
     - compute_subscribed_subnets#phase0
@@ -200,6 +204,7 @@ exceptions:
     - get_attestation_component_deltas#phase0
     - get_attestation_deltas#phase0
     - get_attestation_due_ms#phase0
+    - get_attestation_score#phase0
     - get_attestation_signature#phase0
     - get_attesting_balance#phase0
     - get_block_signature#phase0
@@ -239,6 +244,7 @@ exceptions:
     - is_head_weak#phase0
     - is_parent_strong#phase0
     - is_proposer#phase0
+    - is_proposer_equivocation#phase0
     - is_proposing_on_time#phase0
     - is_shuffling_stable#phase0
     - is_slashable_attestation_data#phase0
@@ -247,10 +253,12 @@ exceptions:
     - is_within_weak_subjectivity_period#phase0
     - on_tick_per_slot#phase0
     - process_slots#phase0
+    - record_block_timeliness#phase0
     - seconds_to_milliseconds#phase0
     - state_transition#phase0
     - store_target_checkpoint_state#phase0
     - update_latest_messages#phase0
+    - update_proposer_boost_root#phase0
     - update_unrealized_checkpoints#phase0
     - voting_period_start_time#phase0
     - xor#phase0
@@ -306,8 +314,13 @@ exceptions:
     - should_override_forkchoice_update#bellatrix
 
     # Not implemented: capella
+    - apply_withdrawals#capella
+    - get_balance_after_withdrawals#capella
     - get_lc_execution_root#capella
+    - get_validators_sweep_withdrawals#capella
     - is_valid_light_client_header#capella
+    - update_next_withdrawal_index#capella
+    - update_next_withdrawal_validator_index#capella
     - upgrade_lc_bootstrap_to_capella#capella
     - upgrade_lc_finality_update_to_capella#capella
     - upgrade_lc_header_to_capella#capella
@@ -340,12 +353,16 @@ exceptions:
     - get_eth1_vote#electra
     - get_execution_requests#electra
     - get_lc_execution_root#electra
+    - get_pending_partial_withdrawals#electra
     - get_validator_from_deposit#electra
+    - get_validators_sweep_withdrawals#electra
+    - is_eligible_for_partial_withdrawals#electra
     - is_within_weak_subjectivity_period#electra
     - next_sync_committee_gindex_at_slot#electra
     - normalize_merkle_branch#electra
     - process_pending_deposits#electra
     - process_voluntary_exit#electra
+    - update_pending_partial_withdrawals#electra
     - upgrade_lc_bootstrap_to_electra#electra
     - upgrade_lc_finality_update_to_electra#electra
     - upgrade_lc_header_to_electra#electra
@@ -360,14 +377,24 @@ exceptions:
     - get_data_column_sidecars_from_column_sidecar#fulu
 
     # Not implemented: gloas
+    - add_builder_to_registry#gloas
+    - apply_deposit_for_builder#gloas
+    - apply_withdrawals#gloas
+    - can_builder_cover_bid#gloas
     - compute_balance_weighted_acceptance#gloas
     - compute_balance_weighted_selection#gloas
     - compute_proposer_indices#gloas
+    - convert_builder_index_to_validator_index#gloas
+    - convert_validator_index_to_builder_index#gloas
     - get_aggregate_due_ms#gloas
     - get_ancestor#gloas
     - get_attestation_due_ms#gloas
     - get_attestation_participation_flag_indices#gloas
+    - get_attestation_score#gloas
+    - get_builder_from_deposit#gloas
     - get_builder_payment_quorum_threshold#gloas
+    - get_builder_withdrawals#gloas
+    - get_builders_sweep_withdrawals#gloas
     - get_checkpoint_block#gloas
     - get_contribution_due_ms#gloas
     - get_data_column_sidecars#gloas
@@ -378,6 +405,7 @@ exceptions:
     - get_expected_withdrawals#gloas
     - get_forkchoice_store#gloas
     - get_head#gloas
+    - get_index_for_new_builder#gloas
     - get_indexed_payload_attestation#gloas
     - get_next_sync_committee_indices#gloas
     - get_node_children#gloas
@@ -386,21 +414,29 @@ exceptions:
     - get_payload_attestation_message_signature#gloas
     - get_payload_status_tiebreaker#gloas
     - get_pending_balance_to_withdraw#gloas
+    - get_pending_balance_to_withdraw_for_builder#gloas
+    - get_proposer_preferences_signature#gloas
     - get_ptc#gloas
     - get_ptc_assignment#gloas
     - get_sync_message_due_ms#gloas
+    - get_upcoming_proposal_slots#gloas
     - get_weight#gloas
-    - has_builder_withdrawal_credential#gloas
     - has_compounding_withdrawal_credential#gloas
+    - initiate_builder_exit#gloas
+    - is_active_builder#gloas
     - is_attestation_same_slot#gloas
-    - is_builder_payment_withdrawable#gloas
+    - is_builder_index#gloas
     - is_builder_withdrawal_credential#gloas
+    - is_head_late#gloas
+    - is_head_weak#gloas
     - is_merge_transition_complete#gloas
     - is_parent_block_full#gloas
     - is_parent_node_full#gloas
+    - is_parent_strong#gloas
     - is_payload_timely#gloas
     - is_supporting_vote#gloas
     - is_valid_indexed_payload_attestation#gloas
+    - is_valid_proposal_slot#gloas
     - notify_ptc_messages#gloas
     - on_block#gloas
     - on_execution_payload#gloas
@@ -409,26 +445,28 @@ exceptions:
     - process_attestation#gloas
     - process_block#gloas
     - process_builder_pending_payments#gloas
+    - process_deposit_request#gloas
     - process_epoch#gloas
     - process_execution_payload#gloas
     - process_execution_payload_bid#gloas
     - process_operations#gloas
     - process_payload_attestation#gloas
     - process_proposer_slashing#gloas
     - process_slot#gloas
+    - process_voluntary_exit#gloas
     - process_withdrawals#gloas
+    - record_block_timeliness#gloas
+    - should_apply_proposer_boost#gloas
     - should_extend_payload#gloas
+    - update_builder_pending_withdrawals#gloas
     - update_latest_messages#gloas
+    - update_next_withdrawal_builder_index#gloas
+    - update_payload_expected_withdrawals#gloas
+    - update_proposer_boost_root#gloas
     - upgrade_to_gloas#gloas
     - validate_merge_block#gloas
     - validate_on_attestation#gloas
     - verify_data_column_sidecar#gloas
     - verify_data_column_sidecar_inclusion_proof#gloas
     - verify_execution_payload_bid_signature#gloas
     - verify_execution_payload_envelope_signature#gloas
-
-  presets:
-    # Not implemented: gloas
-    - BUILDER_PENDING_WITHDRAWALS_LIMIT#gloas
-    - MAX_PAYLOAD_ATTESTATIONS#gloas
-    - PTC_SIZE#gloas

specrefs/configs.yml

@@ -44,7 +44,8 @@
 - name: ATTESTATION_DUE_BPS#phase0
   sources:
     - file: common/eth2_network_config/built_in_network_configs/mainnet/config.yaml
-      search: ATTESTATION_DUE_BPS:
+      search: '^ATTESTATION_DUE_BPS:'
+      regex: true
     - file: consensus/types/src/core/chain_spec.rs
       search: 'pub fn mainnet\(\).*\n(?:.*\n)*?.*attestation_due_bps:'
       regex: true
@@ -607,6 +608,15 @@
     MESSAGE_DOMAIN_VALID_SNAPPY: DomainType = '0x01000000'
     </spec>
 
+- name: MIN_BUILDER_WITHDRAWABILITY_DELAY#gloas
+  sources:
+    - file: common/eth2_network_config/built_in_network_configs/mainnet/config.yaml
+      search: MIN_BUILDER_WITHDRAWABILITY_DELAY:
+  spec: |
+    <spec config_var="MIN_BUILDER_WITHDRAWABILITY_DELAY" fork="gloas" hash="d378428f">
+    MIN_BUILDER_WITHDRAWABILITY_DELAY: uint64 = 4096
+    </spec>
+
 - name: MIN_EPOCHS_FOR_BLOB_SIDECARS_REQUESTS#deneb
   sources:
     - file: common/eth2_network_config/built_in_network_configs/mainnet/config.yaml

specrefs/constants.yml

@@ -1,3 +1,12 @@
+- name: ATTESTATION_TIMELINESS_INDEX#gloas
+  sources:
+    - file: consensus/types/src/core/consts.rs
+      search: pub const ATTESTATION_TIMELINESS_INDEX:
+  spec: |
+    <spec constant_var="ATTESTATION_TIMELINESS_INDEX" fork="gloas" hash="7d373fc8">
+    ATTESTATION_TIMELINESS_INDEX = 0
+    </spec>
+
 - name: BASE_REWARDS_PER_EPOCH#phase0
   sources:
     - file: consensus/types/src/core/chain_spec.rs
@@ -32,6 +41,24 @@
     BLS_WITHDRAWAL_PREFIX: Bytes1 = '0x00'
     </spec>
 
+- name: BUILDER_INDEX_FLAG#gloas
+  sources:
+    - file: consensus/types/src/core/consts.rs
+      search: pub const BUILDER_INDEX_FLAG:
+  spec: |
+    <spec constant_var="BUILDER_INDEX_FLAG" fork="gloas" hash="e9dca70d">
+    BUILDER_INDEX_FLAG: uint64 = 2**40
+    </spec>
+
+- name: BUILDER_INDEX_SELF_BUILD#gloas
+  sources:
+    - file: consensus/types/src/core/consts.rs
+      search: pub const BUILDER_INDEX_SELF_BUILD:
+  spec: |
+    <spec constant_var="BUILDER_INDEX_SELF_BUILD" fork="gloas" hash="622fd1b5">
+    BUILDER_INDEX_SELF_BUILD: BuilderIndex = UINT64_MAX
+    </spec>
+
 - name: BUILDER_PAYMENT_THRESHOLD_DENOMINATOR#gloas
   sources: []
   spec: |
@@ -139,10 +166,13 @@
     </spec>
 
 - name: DOMAIN_BEACON_BUILDER#gloas
-  sources: []
+  sources:
+    - file: consensus/types/src/core/chain_spec.rs
+      search: 'pub fn mainnet\(\).*\n(?:.*\n)*?.*domain_beacon_builder:'
+      regex: true
   spec: |
-    <spec constant_var="DOMAIN_BEACON_BUILDER" fork="gloas" hash="31821111">
-    DOMAIN_BEACON_BUILDER: DomainType = '0x1B000000'
+    <spec constant_var="DOMAIN_BEACON_BUILDER" fork="gloas" hash="76709e39">
+    DOMAIN_BEACON_BUILDER: DomainType = '0x0B000000'
     </spec>
 
 - name: DOMAIN_BEACON_PROPOSER#phase0
@@ -185,8 +215,21 @@
     DOMAIN_DEPOSIT: DomainType = '0x03000000'
     </spec>
 
+- name: DOMAIN_PROPOSER_PREFERENCES#gloas
+  sources:
+    - file: consensus/types/src/core/chain_spec.rs
+      search: 'pub fn mainnet\(\).*\n(?:.*\n)*?.*domain_proposer_preferences:'
+      regex: true
+  spec: |
+    <spec constant_var="DOMAIN_PROPOSER_PREFERENCES" fork="gloas" hash="9377ecfb">
+    DOMAIN_PROPOSER_PREFERENCES: DomainType = '0x0D000000'
+    </spec>
+
 - name: DOMAIN_PTC_ATTESTER#gloas
-  sources: []
+  sources:
+    - file: consensus/types/src/core/chain_spec.rs
+      search: 'pub fn mainnet\(\).*\n(?:.*\n)*?.*domain_ptc_attester:'
+      regex: true
   spec: |
     <spec constant_var="DOMAIN_PTC_ATTESTER" fork="gloas" hash="4feba202">
     DOMAIN_PTC_ATTESTER: DomainType = '0x0C000000'
@@ -324,15 +367,6 @@
     GENESIS_SLOT: Slot = 0
     </spec>
 
-- name: INTERVALS_PER_SLOT#phase0
-  sources:
-    - file: consensus/types/src/core/consts.rs
-      search: pub const INTERVALS_PER_SLOT:
-  spec: |
-    <spec constant_var="INTERVALS_PER_SLOT" fork="phase0" hash="3352e419">
-    INTERVALS_PER_SLOT: uint64 = 3
-    </spec>
-
 - name: JUSTIFICATION_BITS_LENGTH#phase0
   sources: []
   spec: |
@@ -382,6 +416,15 @@
     NODE_ID_BITS = 256
     </spec>
 
+- name: NUM_BLOCK_TIMELINESS_DEADLINES#gloas
+  sources:
+    - file: consensus/types/src/core/consts.rs
+      search: pub const NUM_BLOCK_TIMELINESS_DEADLINES:
+  spec: |
+    <spec constant_var="NUM_BLOCK_TIMELINESS_DEADLINES" fork="gloas" hash="c4e721d9">
+    NUM_BLOCK_TIMELINESS_DEADLINES = 2
+    </spec>
+
 - name: PARTICIPATION_FLAG_WEIGHTS#altair
   sources:
     - file: consensus/types/src/core/consts.rs
@@ -428,6 +471,15 @@
     PROPOSER_WEIGHT: uint64 = 8
     </spec>
 
+- name: PTC_TIMELINESS_INDEX#gloas
+  sources:
+    - file: consensus/types/src/core/consts.rs
+      search: pub const PTC_TIMELINESS_INDEX:
+  spec: |
+    <spec constant_var="PTC_TIMELINESS_INDEX" fork="gloas" hash="ffca13bd">
+    PTC_TIMELINESS_INDEX = 1
+    </spec>
+
 - name: RANDOM_CHALLENGE_KZG_BATCH_DOMAIN#deneb
   sources: []
   spec: |