Module `Octez_riscv_nds_common.Intf`

Shared module type signatures for the RISC-V new durable storage.

The durable storage is a crash-resistant key-value store organised as a registry of independent databases. Each database is an isolated key-space backed by a Merkle tree, providing content-addressed hashing and persistence through commits.

Keys are byte sequences of at most 256 bytes. Values are arbitrary byte sequences.

Two kinds of errors may occur:

Operational errors are fatal and indicate that the system may not be in a consistent state (e.g. I/O failures, encoding errors). They are raised as OCaml exceptions.
Invalid argument errors are deterministic and indicate incorrect usage (e.g. key not found, offset too large). The state is left coherent. They are returned in the Error case of the result.

module type PROOF = sig ... end

Common signature for proof objects.

module type REGISTRY = sig ... end

Common signature for registry operations across all modes.

module type DATABASE = sig ... end

Common signature for database key-value operations.

module type NORMAL = sig ... end

Normal mode: registry + database.

module type PROVE = sig ... end

Prove mode: registry + database + proof lifecycle.

module type VERIFY = sig ... end

Verify mode: registry + database + verify entry point.