Function verify_withdrawals_root 

pub fn verify_withdrawals_root<DB, H>(
    state_updates: &BundleState,
    state: DB,
    header: H,
) -> Result<(), OpConsensusError>
where
    DB: StorageRootProvider,
    H: BlockHeader + Debug,

Available on crate feature consensus only.

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.