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 + Debug,
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.