package octez-libs

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Package contains no libraries

Parameters

module C : Core_sig.Validator

module Tree : sig ... end

module Roots : sig ... end

module Nullifiers : sig ... end

module Ciphertexts : sig ... end

type state = {

}

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 -> Tezos_stdlib.Compare.Int64.t -> bytes

val get : 
  state ->
  Tezos_stdlib.Compare.Int64.t ->
  C.Commitment.t * C.Ciphertext.t

val mem : state -> Ciphertexts.Map.key -> bool