verify_withdrawals_root_prehashed

reth_op::consensus::validation::isthmus

Function verify_withdrawals_root_prehashed 

pub fn verify_withdrawals_root_prehashed<DB, H>(
    hashed_storage_updates: HashedStorage,
    state: DB,
    header: H,
) -> Result<(), OpConsensusError>
where
    DB: StorageRootProvider,
    H: BlockHeader + Debug,
Available on crate feature consensus only.
Expand description

Verifies block header field withdrawals_root against storage root of L2ToL1MessagePasser.sol predeploy post block execution.

Takes pre-hashed storage updates of L2ToL1MessagePasser.sol predeploy, resulting from execution of block, if any. Otherwise takes empty HashedStorage::default.

See https://specs.optimism.io/protocol/isthmus/exec-engine.html#l2tol1messagepasser-storage-root-in-header.