Prove (octez-riscv-nds.Octez_riscv_nds

module Registry : Octez_riscv_nds_common.Intf.REGISTRY

module Database : 
  Octez_riscv_nds_common.Intf.DATABASE
    with type registry := Registry.t
     and type invalid_argument_error := Registry.invalid_argument_error

module Proof : Octez_riscv_nds_common.Intf.PROOF with type t = Proof.t

val start_proof : Normal.Registry.t -> Registry.t

start_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.t

produce_proof registry ends the proving session and returns a proof attesting to the operations performed since start_proof.