update to v1.6.0-alpha.6 (#15658)

* wip workspace update

* update ethspecify yml

* fixing ethspecify

* fixing ethspecify

* fixing loader test

* changelog and reverting something in configs

* adding bad hash

specrefs/.ethspecify.yml

@@ -1,4 +1,4 @@
-version: v1.6.0-alpha.5
+version: v1.6.0-alpha.6
 style: full
 
 specrefs:
@@ -61,7 +61,7 @@ exceptions:
 
   configs:
     # Not implemented (placeholders)
-    - AGGREGRATE_DUE_BPS#phase0
+    - AGGREGATE_DUE_BPS#phase0
     - ATTESTATION_DUE_BPS#phase0
     - CONTRIBUTION_DUE_BPS#altair
     - PROPOSER_REORG_CUTOFF_BPS#phase0
@@ -69,7 +69,7 @@ exceptions:
     - SYNC_MESSAGE_DUE_BPS#altair
 
     # Not implemented: gloas (future fork)
-    - AGGREGRATE_DUE_BPS_GLOAS#gloas
+    - AGGREGATE_DUE_BPS_GLOAS#gloas
     - ATTESTATION_DUE_BPS_GLOAS#gloas
     - CONTRIBUTION_DUE_BPS_GLOAS#gloas
     - GLOAS_FORK_EPOCH#gloas
@@ -168,6 +168,7 @@ exceptions:
 
     # Not implemented: phase0
     - calculate_committee_fraction#phase0
+    - compute_fork_version#phase0
     - compute_pulled_up_tip#phase0
     - filter_block_tree#phase0
     - get_aggregate_and_proof#phase0

specrefs/configs.yml

@@ -18,11 +18,11 @@
     ALTAIR_FORK_VERSION: Version = '0x01000000'
     </spec>
 
-- name: AGGREGRATE_DUE_BPS
+- name: AGGREGATE_DUE_BPS
   sources: []
   spec: |
-    <spec config_var="AGGREGRATE_DUE_BPS" fork="phase0" hash="74073466">
-    AGGREGRATE_DUE_BPS: uint64 = 6667
+    <spec config_var="AGGREGATE_DUE_BPS" fork="phase0" hash="7eaa811a">
+    AGGREGATE_DUE_BPS: uint64 = 6667
     </spec>
 
 - name: ATTESTATION_PROPAGATION_SLOT_RANGE

specrefs/functions.yml

@@ -510,37 +510,42 @@
     - file: beacon-chain/core/signing/signing_root.go
       search: func ComputeForkDigest(
   spec: |
-    <spec fn="compute_fork_digest" fork="phase0" hash="8b33f64d">
-    def compute_fork_digest(current_version: Version, genesis_validators_root: Root) -> ForkDigest:
-        """
-        Return the 4-byte fork digest for the ``current_version`` and ``genesis_validators_root``.
-        This is a digest primarily used for domain separation on the p2p layer.
-        4-bytes suffices for practical separation of forks/chains.
-        """
-        return ForkDigest(compute_fork_data_root(current_version, genesis_validators_root)[:4])
-    </spec>
-
-- name: compute_fork_digest#fulu
-  sources: []
-  spec: |
-    <spec fn="compute_fork_digest" fork="fulu" hash="24737097">
+    <spec fn="compute_fork_digest" fork="phase0" hash="e206968f">
     def compute_fork_digest(
         genesis_validators_root: Root,
-        # [New in Fulu:EIP7892]
         epoch: Epoch,
     ) -> ForkDigest:
         """
-        Return the 4-byte fork digest for the ``version`` and ``genesis_validators_root``
-        XOR'd with the hash of the blob parameters for ``epoch``.
+        Return the 4-byte fork digest for the ``genesis_validators_root`` at a given ``epoch``.
 
         This is a digest primarily used for domain separation on the p2p layer.
         4-bytes suffices for practical separation of forks/chains.
         """
         fork_version = compute_fork_version(epoch)
         base_digest = compute_fork_data_root(fork_version, genesis_validators_root)
-        blob_parameters = get_blob_parameters(epoch)
+        return ForkDigest(base_digest[:4])
+    </spec>
 
+- name: compute_fork_digest#fulu
+  sources: []
+  spec: |
+    <spec fn="compute_fork_digest" fork="fulu" hash="e916a595">
+    def compute_fork_digest(
+        genesis_validators_root: Root,
+        epoch: Epoch,
+    ) -> ForkDigest:
+        """
+        Return the 4-byte fork digest for the ``genesis_validators_root`` at a given ``epoch``.
+
+        This is a digest primarily used for domain separation on the p2p layer.
+        4-bytes suffices for practical separation of forks/chains.
+        """
+        fork_version = compute_fork_version(epoch)
+        base_digest = compute_fork_data_root(fork_version, genesis_validators_root)
+
+        # [Modified in Fulu:EIP7892]
         # Bitmask digest with hash of blob parameters
+        blob_parameters = get_blob_parameters(epoch)
         return ForkDigest(
             bytes(
                 xor(
@@ -6088,7 +6093,7 @@
     - file: beacon-chain/core/blocks/payload.go
       search: func ProcessPayload(
   spec: |
-    <spec fn="process_execution_payload" fork="fulu" hash="cc18d6ef">
+    <spec fn="process_execution_payload" fork="fulu" hash="9a872dd6">
     def process_execution_payload(
         state: BeaconState, body: BeaconBlockBody, execution_engine: ExecutionEngine
     ) -> None:
@@ -6100,7 +6105,8 @@
         assert payload.prev_randao == get_randao_mix(state, get_current_epoch(state))
         # Verify timestamp
         assert payload.timestamp == compute_time_at_slot(state, state.slot)
-        # [Modified in Fulu:EIP7892] Verify commitments are under limit
+        # [Modified in Fulu:EIP7892]
+        # Verify commitments are under limit
         assert (
             len(body.blob_kzg_commitments)
             <= get_blob_parameters(get_current_epoch(state)).max_blobs_per_block