Sapling (p.tezos-protocol-alpha.16.1.doc.tezos-protocol-alpha.raw.Tezos_raw_protocol

Sourcetype id = Lazy_storage_kind.Sapling_state.Id.t

Sourceval rpc_arg : id Tezos_protocol_environment_alpha.RPC_arg.t

Sourcemodule Next : sig ... end

val copy : 
  Raw_context.t ->
  from:id ->
  to_:id ->
  Raw_context.t Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val remove : 
  Raw_context.t ->
  id ->
  Raw_context.t Tezos_protocol_environment_alpha.Lwt.t

Source

module Total_bytes : 
  Storage_sigs.Indexed_data_storage
    with type key = id
     and type value = Tezos_protocol_environment_alpha.Z.t
     and type t := Raw_context.t

Source

module Commitments_size : 
  Storage_sigs.Single_data_storage
    with type t := Raw_context.t * id
     and type value = int64

Source

module Memo_size : 
  Storage_sigs.Single_data_storage
    with type t := Raw_context.t * id
     and type value = int

Source

module Commitments : 
  Storage_sigs.Non_iterable_indexed_carbonated_data_storage
    with type t := Raw_context.t * id
     and type key = int64
     and type value = Tezos_protocol_environment_alpha.Sapling.Hash.t

Source

val commitments_init : 
  Raw_context.t ->
  id ->
  Raw_context.t Tezos_protocol_environment_alpha.Lwt.t

Source

module Ciphertexts : 
  Storage_sigs.Non_iterable_indexed_carbonated_data_storage
    with type t := Raw_context.t * id
     and type key = int64
     and type value = Tezos_protocol_environment_alpha.Sapling.Ciphertext.t

Source

val ciphertexts_init : 
  Raw_context.t ->
  id ->
  Raw_context.t Tezos_protocol_environment_alpha.Lwt.t

Source

module Nullifiers_size : 
  Storage_sigs.Single_data_storage
    with type t := Raw_context.t * id
     and type value = int64

Source

module Nullifiers_ordered : 
  Storage_sigs.Non_iterable_indexed_data_storage
    with type t := Raw_context.t * id
     and type key = int64
     and type value = Tezos_protocol_environment_alpha.Sapling.Nullifier.t

Source

module Nullifiers_hashed : 
  Storage_sigs.Carbonated_data_set_storage
    with type t := Raw_context.t * id
     and type elt = Tezos_protocol_environment_alpha.Sapling.Nullifier.t

Source

val nullifiers_init : 
  Raw_context.t ->
  id ->
  Raw_context.t Tezos_protocol_environment_alpha.Lwt.t

Source

module Roots : 
  Storage_sigs.Non_iterable_indexed_data_storage
    with type t := Raw_context.t * id
     and type key = int32
     and type value = Tezos_protocol_environment_alpha.Sapling.Hash.t

Source

module Roots_pos : 
  Storage_sigs.Single_data_storage
    with type t := Raw_context.t * id
     and type value = int32

Source

module Roots_level : 
  Storage_sigs.Single_data_storage
    with type t := Raw_context.t * id
     and type value = Raw_level_repr.t