Octez_riscv_nds_memoryIn-memory implementation of the RISC-V new durable storage.
All data is held in RAM with no persistence. State is lost when the registry value is garbage collected. This variant is intended for fast execution without disk I/O.
module Proof : Octez_riscv_nds_common.Intf.PROOFProof objects for the in-memory durable storage.
module Normal : sig ... endNormal mode: registry and database operations.
val make_empty_normal_nds : unit -> Octez_riscv_nds_common.Nds.tmake_empty_normal_nds () allocates a fresh, empty in-memory normal-mode registry and wraps it as an opaque Nds.t handle. Convenience factory for callers that need a backend-erased empty NDS — most commonly the make_empty_nds field of a Wasm_vm.Make_vm instantiation.
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 in-memory 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.