package tezos-sapling

  1. Overview
  2. Docs
type 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_witness : state -> int64 -> Bytes.t
val mem_nullifier : state -> Core.Validator.Nullifier.t -> bool
val add_nullifier : state -> Core.Validator.Nullifier.t -> state