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
].