Future light client protocol extensions may include data from the block
in addition to data from the state, e.g., `ExecutionPayloadHeader`.
To prepare for this, also pass the block to the corresponding functions.
In practice, blocks access is easier than historic state access, meaning
there are no practical limitations due to this change.

Fork epoch override test decorators were still referring to `SHARDING`.
Replace the implementation with one that needs less maintenance.

Fix type annotation in verify_aggregate_kzg_proof

Fix initialization of VERSIONED_HASH_VERSION_KZG

Replaces the "FAKE RLP HASH" in `ExecutionPayload.block_hash` of all
generated tests with the correct value.

Additionally, it makes the Fiat-Shamir hashing logic more robust by making the challenges independent of each other. It also makes it more efficient to implement by moving both challenge computations to a single function needing a single transcript hash.

Co-authored-by: George Kadianakis <desnacked@riseup.net>
Co-authored-by: Dankrad Feist <mail@dankradfeist.de>

Fix EIP4844 `previous_version` field in tests

Co-authored-by: George Kadianakis <desnacked@riseup.net>

Add link to Capella's P2P doc

…eq-resp

deprecate phase 0-only versions of beacon_blocks_by_{range,root}

Clarify that full withdrawals only apply to exited validators

Add EIP4844 pylint and Mypy checks

#3138)

* EIP4844: bytes_to_bls_field() must not accept values >= BLS_MODULUS

bytes_to_bls_field() will be used in the precompile and hence it should error out when provided with malicious inputs.

* EIP4844: Add hash_to_bls_field() for use in compute_challenges()

The previous commit made bytes_to_bls_field() be strict about its inputs. However in compute_challenges() we are
dealing with Fiat-Shamir and hash outputs that could be innocuously higher than the modulus. For this reason we add the
hash_to_bls_field() helper for use in compute_challenges().

* EIP4844: Further use of bytes_to_bls_field() // Fix executable spec

Co-authored-by: Hsiao-Wei Wang <hsiaowei.eth@gmail.com>

Pass blocks to LC data creation functions

EIP4844: remove optimistic sync mentions

EIP4844: Update `MAX_BLOBS_PER_BLOCK` to 4

… sweep

Fix typo in BlobsSidecarsByRange v1

bound the maximum number of validators considered for withdrawals per sweep

* Add @description decorator

* Unify test case naming style

* more clean ups

* Altair tests cleanup

* Clean up Altair and Bellatrix `process_deposit` tests

* Clean up Bellatrix tests

* Clean up Capella tests

* PR feedback from @ralexstokes

* Add comments on the deposit fork version tests

* Remove `test_incorrect_sig_other_version` since it is duplicate to `test_ineffective_deposit_with_bad_fork_version`

* Add `test_ineffective_deposit_with_current_fork_version`

Co-authored-by: Hsiao-Wei Wang <hsiaowei.eth@gmail.com>

proper EL block hash implementation in tests

cleanup explicit fork enumerations in tests

Fix some nits in eip4844 specs

…onditions

Add tests to test sync aggregate's order of balance operation

Update G2 trusted setup length to 65

EIP4844: Clarify that z should not be in the domain