Module Octez_riscv_nds_memory.Proof

Proof objects for the in-memory durable storage.

Note: Currently a stub (TZX-113).

type t
val start_state : t -> bytes

start_state proof returns the hash of the state before the operations recorded by proof.

val stop_state : t -> bytes

stop_state proof returns the hash of the state after the operations recorded by proof.

val serialise : t -> bytes

serialise proof serialises proof to a byte sequence.

val deserialise : bytes -> t Tezos_base.TzPervasives.tzresult

deserialise bytes attempts to deserialise a proof from bytes.