verify_withdrawals_root_prehashed

op_reth::consensus::validation::isthmus

Function verify_withdrawals_root_prehashed 

Source 
pub fn verify_withdrawals_root_prehashed<DB, H>(
    hashed_storage_updates: HashedStorage,
    state: DB,
    header: H,
) -> Result<(), OpConsensusError>
where
    DB: StorageRootProvider,
    H: BlockHeader,
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.