Octez_riscv_nds_memory.VerifyVerify mode: registry, database, and verify entry point.
Note: Currently a stub (TZX-114). All operations will raise a runtime error if called.
module Database :
Octez_riscv_nds_common.Intf.DATABASE
with type registry := Registry.t
and type invalid_argument_error := Registry.invalid_argument_errorval start_verify : Proof.t -> Registry.tstart_verify proof creates a verify-mode registry that replays operations against proof to validate the recorded state transition.