Function verify_withdrawals_root

Source
pub fn verify_withdrawals_root<DB, H>(
    state_updates: &BundleState,
    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 state updates resulting from execution of block.

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