package tezos-protocol-alpha

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Id : sig ... end
val fresh : temporary:bool -> context -> (context * Id.t, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) Stdlib.result Lwt.t
type diff = private {
  1. commitments_and_ciphertexts : (Tezos_sapling__Core.Client.Commitment.t * Tezos_sapling__Core.Client.Ciphertext.t) list;
  2. nullifiers : Tezos_sapling__Core.Client.Nullifier.t list;
}
val diff_encoding : diff Data_encoding.t
module Memo_size : sig ... end
type state = private {
  1. id : Id.t option;
  2. diff : diff;
  3. memo_size : Memo_size.t;
}
val empty_state : ?id:Id.t -> memo_size:Memo_size.t -> unit -> state

Returns a state with fields filled accordingly. id should only be used by extract_lazy_storage_updates.

type transaction
val transaction_encoding : transaction Data_encoding.t
val transaction_get_memo_size : transaction -> Memo_size.t option
val state_from_id : context -> Id.t -> (state * context, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) Stdlib.result Lwt.t

Tries to fetch a state from the storage.

val rpc_arg : Id.t Tezos_protocol_environment_alpha__Environment.RPC_arg.t
type root
val root_encoding : root Data_encoding.t
val get_diff : context -> Id.t -> ?offset_commitment:int64 -> ?offset_nullifier:int64 -> unit -> (root * diff, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) Stdlib.result Lwt.t
val verify_update : context -> state -> transaction -> string -> (context * (int64 * state) option, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) Stdlib.result Lwt.t
type alloc = {
  1. memo_size : Memo_size.t;
}
type updates = diff
OCaml

Innovation. Community. Security.