Bump consensus spec to v1.7.0-beta.0

[terencechain]

• Bump consensus spec tests from v1.7.0-alpha.12 to v1.7.0-beta.0, through alpha.13 and alpha.14
• alpha.13: Look up payload availability at the parent block's slot (consensus-specs#5473)
• alpha.13: Enable equivocation tracking by default, gated on the early cutoff window, required by the should_apply_proposer_boost fork-choice tests (consensus-specs#5441)
• alpha.13: Source KZG spec test vectors from ethereum/cryptography-specs (consensus-specs#5398)
• alpha.14: Explicitly set bid fields, including the slot, when upgrading to Gloas (consensus-specs#5550, consensus-specs#5553)
• alpha.14: Disallow proposer reorgs at epoch boundaries before Fulu (consensus-specs#5547)
• alpha.14: Refresh ethspecify references, add exceptions for named SSZ collections (consensus-specs#5528), executable gossip validation functions (consensus-specs#5294), and the gas limit schedule (consensus-specs#5533)
• beta.0: Reject bids whose block hash equals the parent block hash, in state transition and gossip (consensus-specs#5594, cherry-picked from Reject bids with equal blockhash and parent blockhash #17443)
• beta.0: Read the parent slot from the latest block header when applying the parent payload (consensus-specs#5554)
• beta.0: Rename the PTC SSZ types to PayloadTimelinessCommittee* in ethspecify references (consensus-specs#5558)
• The beta.0 minimal.tar.gz is not published yet, so the WORKSPACE minimal hash still points at alpha.14 and will be updated once the asset lands

[potuz]

We are going with the header, this PR needs to change a bit

ethereum/consensus-specs#5554

[james-prysm]

is this the right spot for this check?

maybe i'm missing something but updating some tests seem to fail for early cutoff tests

func TestForkChoice_InsertNode_RecordsFirstSeen(t *testing.T) {
	resetFn := features.InitWithReset(&features.Flags{TrackEquivocations: true})
	defer resetFn()

	slotSecs := time.Duration(params.BeaconConfig().SecondsPerSlot) * time.Second
	insertAtSlotOne := func(t *testing.T, genesis time.Time) ([][32]byte, [32]byte) {
		f := setup(0, 0)
		f.SetGenesisTime(genesis)
		blockRoot := indexToHash(1)
		st, roblock, err := prepareForkchoiceState(t.Context(), 1, blockRoot, params.BeaconConfig().ZeroHash, params.BeaconConfig().ZeroHash, 0, 0)
		require.NoError(t, err)
		require.NoError(t, f.InsertNode(t.Context(), st, roblock))
		key := proposerSlotKey{slot: 1, proposer: roblock.Block().ProposerIndex()}
		return f.store.blockRootsBySlotProposer[key], blockRoot
	}

	t.Run("records block processed early in its slot", func(t *testing.T) {
		roots, blockRoot := insertAtSlotOne(t, time.Now().Add(-slotSecs))
		require.Equal(t, 1, len(roots))
		require.Equal(t, blockRoot, roots[0])
	})
	t.Run("skips block processed past the early cutoff", func(t *testing.T) {
		roots, _ := insertAtSlotOne(t, time.Now().Add(-2*slotSecs+time.Second))
		require.Equal(t, 0, len(roots))
	})
	t.Run("skips block processed after its slot", func(t *testing.T) {
		roots, _ := insertAtSlotOne(t, time.Now().Add(-10*slotSecs))
		require.Equal(t, 0, len(roots))
	})
	t.Run("skips recording when tracking is disabled", func(t *testing.T) {
		resetFn := features.InitWithReset(&features.Flags{})
		defer resetFn()
		roots, _ := insertAtSlotOne(t, time.Now().Add(-slotSecs))
		require.Equal(t, 0, len(roots))
	})
}

[terencechain]

fabc3c9

[james-prysm]

would be good to add a small test for the receivedTime.Before(slotStart)

[james-prysm]

for recordEarlyEquivocation( which i don't think is touched in this pr, should we add

if receivedTime.Before(slotStart) || !receivedTime.Before(deadline) {

the before slotStart check

[terencechain]

for recordEarlyEquivocation( which i don't think is touched in this pr, should we add

if receivedTime.Before(slotStart) || !receivedTime.Before(deadline) {

the before slotStart check

also fixed in fabc3c9.

[james-prysm]

with ethereum/consensus-specs#5294
shouldn't we moving s.setSeenExecutionPayloadBid(bid.Slot(), tupleKey) only after it passes all the gossip stuff , currently the func (s *Service) validateExecutionPayloadBidGossip isn't touched

[syjn99]

A couple of cosmetic comments (regarding ethspecify..) and all the core changes look good to me.

[syjn99]

I think changes in this file should be reverted with ethereum/consensus-specs#5554

[syjn99]

def process_block(state: BeaconState, block: BeaconBlock) -> None:
    # [New in Gloas:EIP7732]
    parent_slot = state.latest_block_header.slot

    # [New in Gloas:EIP7732]
    process_parent_execution_payload(state, block)
    process_block_header(state, block)
    # [Modified in Gloas:EIP7732]
    process_withdrawals(state)
    # [Modified in Gloas:EIP7732]
    # Removed `process_execution_payload`
    # [New in Gloas:EIP7732]
    process_execution_payload_bid(state, block.body.signed_execution_payload_bid)
    process_randao(state, block.body)
    process_eth1_data(state, block.body)
    # [Modified in Gloas:EIP7732]
    process_operations(state, block.body, parent_slot)
    process_sync_aggregate(state, block.body.sync_aggregate)

Same comment as above