# Functions
No description provided by the author
No description provided by the author
NewWithMockedStateRoots initialize with a list of predefined state roots, useful for tests and simulations.
VerifySimpleMachineOneStepProof checks the claimed post-state root results from executing a specified pre-state hash.
No description provided by the author
No description provided by the author
WithForceMachineBlockCompat if enabled, forces the machine hash at block boundaries to be the block hash.
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
# Variables
ProofArgs for submission to the protocol.
# Structs
L2StateBackend defines a very naive state manager that is initialized from a list of predetermined state roots.
No description provided by the author
# Interfaces
No description provided by the author
# Type aliases
No description provided by the author