Octez_riscv_nds_memory.ProveProve mode: registry, database, and proof lifecycle.
Note: Currently a stub (TZX-113). 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_errormodule Proof : Octez_riscv_nds_common.Intf.PROOF with type t = Proof.tval start_proof : Normal.Registry.t -> Registry.tstart_proof registry begins a proving session by transitioning registry into prove mode. Subsequent operations on the returned registry are recorded for the proof.
val produce_proof : Registry.t -> Proof.tproduce_proof registry ends the proving session and returns a proof attesting to the operations performed since start_proof.