Module Storage.Make_Storage

Parameters

Signature

module Tree : sig ... end
module Roots : sig ... end
module Nullifiers : sig ... end
module Ciphertexts : sig ... end
type state = {
  1. tree : Tree.t;
  2. nullifiers : Nullifiers.t;
  3. roots : Roots.t;
  4. ciphertexts : Ciphertexts.t;
  5. memo_size : int;
}
val create_empty_state : memo_size:int -> state
val state_encoding : state Data_encoding.encoding
val mem_nullifier : state -> Nullifiers.elt -> bool
val add_nullifier : state -> Nullifiers.elt -> state
val add : state -> (C.Commitment.t * C.Ciphertext.t) list -> state
val mem_root : state -> C.Hash.t -> bool
val empty : memo_size:int -> state
val get_root : state -> Tree.H.t
val size : state -> int64 * int64
val get_memo_size : state -> int
val get_witness : state -> Mavryk_stdlib.Compare.Int64.t -> bytes
val mem : state -> Ciphertexts.Map.key -> bool