Octez_riscv_nds_diskOn-disk implementation of the RISC-V new durable storage.
All data is persisted to disk via a repository. State survives process restarts. This variant is used by the rollup node for production storage.
module Repo : sig ... endOn-disk repository handle.
module Proof : Octez_riscv_nds_common.Intf.PROOFProof objects for the on-disk durable storage.
module Normal : sig ... endNormal 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.tProve mode: registry, database, and proof lifecycle.
module Verify : Octez_riscv_nds_common.Intf.VERIFY with type proof := Proof.tVerify mode: registry, database, and verify entry point.
These constructors extend the common Nds.tag type with this backend's three mode tags, refining the wrapped registry type to a concrete on-disk variant. They let backend-aware callers recover the concrete Registry.t from an opaque Nds.t via the unwrap_* helpers below.
type Octez_riscv_nds_common.Nds.tag += | Normal_tag : Normal.Registry.t Octez_riscv_nds_common.Nds.tag| Prove_tag : Prove.Registry.t Octez_riscv_nds_common.Nds.tag| Verify_tag : Verify.Registry.t Octez_riscv_nds_common.Nds.tagval unwrap_normal : Octez_riscv_nds_common.Nds.t -> Normal.Registry.t optionunwrap_normal nds returns Some r if nds was wrapped with Normal_tag, None otherwise. Callers that need the concrete Normal.Registry.t (e.g. to call Prove.start_proof) use this helper to escape the existential.
val unwrap_prove : Octez_riscv_nds_common.Nds.t -> Prove.Registry.t optionunwrap_prove nds returns Some r if nds was wrapped with Prove_tag, None otherwise.
val unwrap_verify : Octez_riscv_nds_common.Nds.t -> Verify.Registry.t optionunwrap_verify nds returns Some r if nds was wrapped with Verify_tag, None otherwise.