Storage (mavkit-libs.Mavryk

module Make_Storage (C : Core_sig.Validator) : sig ... end

module Client : Storage_sig.STORAGE

include module type of struct include Client end

type state = Client.state

val state_encoding : state Data_encoding.t

val empty : memo_size:int -> state

val size : state -> int64 * int64

val get_memo_size : state -> int

val get_root : state -> Core.Validator.Hash.t

val mem_root : state -> Core.Validator.Hash.t -> bool

val mem : state -> int64 -> bool

val get : 
  state ->
  int64 ->
  Core.Validator.Commitment.t * Core.Validator.Ciphertext.t

val get_witness : state -> int64 -> Stdlib.Bytes.t

val mem_nullifier : state -> Core.Validator.Nullifier.t -> bool

val add : 
  state ->
  (Core.Validator.Commitment.t * Core.Validator.Ciphertext.t) list ->
  state

val add_nullifier : state -> Core.Validator.Nullifier.t -> state