Octez_riscv_nds_disk (octez-riscv-nds.Octez_riscv_nds

module Repo : sig ... end

On-disk repository handle.

module Proof : Octez_riscv_nds_common.Intf.PROOF

Proof objects for the on-disk durable storage.

module Normal : sig ... end

Normal mode: registry and database operations.

module Prove : 
  Octez_riscv_nds_common.Intf.PROVE
    with type normal_registry := Normal.Registry.t
     and type Proof.t = Proof.t

Prove mode: registry, database, and proof lifecycle.

module Verify : Octez_riscv_nds_common.Intf.VERIFY with type proof := Proof.t

Verify mode: registry, database, and verify entry point.