Module isthmus

Expand description

Block verification w.r.t. consensus rules new in Isthmus hardfork.

Constants§

ADDRESS_L2_TO_L1_MESSAGE_PASSER: The L2 contract L2ToL1MessagePasser, stores commitments to withdrawal transactions.

ensure_withdrawals_storage_root_is_some: Verifies that withdrawals_root (i.e. l2tol1-msg-passer storage root since Isthmus) field is set in block header.
verify_withdrawals_root: Verifies block header field withdrawals_root against storage root of L2ToL1MessagePasser.sol predeploy post block execution.
verify_withdrawals_root_prehashed: Verifies block header field withdrawals_root against storage root of L2ToL1MessagePasser.sol predeploy post block execution.
withdrawals_root: Computes the storage root of predeploy L2ToL1MessagePasser.sol.
withdrawals_root_prehashed: Computes the storage root of predeploy L2ToL1MessagePasser.sol.