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