ommersHash
, difficulty
, nonce
, ommers
mixHash
can be set to a random valueextraData
respects MAX_EXTRA_DATA_BYTES
difficulty
isn't verified against difficulty formulanonce
and mixHash
aren't verified against Ethash rulesTRANSITION_BLOCK
satisfies terminal PoW block conditionscoinbase
account doesn't receive block rewardscoinbase
account doesn't receive ommer rewards (seems infeasible to check)RANDOM
opcode returns expected valueTRANSITION_BLOCK
eth_
namespace is also exposedforkchoiceUpdated
callsengine_executePayload
engine_forkchoiceUpdated
engine_getPayload
engine_executePayload
engine_forkchoiceUpdated
engine_getPayload
POS_FORKCHOICE_UPDATED
eventPOS_FORKCHOICE_UPDATED
updates the headPOS_FORKCHOICE_UPDATED
updates finalized blockPOS_FORKCHOICE_UPDATED
is received, even if the new payload is importedRANDOM
opcode is executed as expected starting with TRANSITION_BLOCK
DIFFICULTY
opcode is executed as expected before the TRANSITION_BLOCK
TRANSITION_BLOCK
TERMINAL_BLOCK_HASH
is set
TRANSITION_BLOCK
must be a child of a block identified by TERMINAL_BLOCK_HASH
TERMINAL_BLOCK_HASH
overrideTRANSITION_BLOCK
TRANSITION_BLOCK
isn't a child of a terminal PoW block
TRANSITION_BLOCK
can't be verified at allTRANSITION_BLOCK
is invalid wrt execution ruleset