Module `Sapling_helpers.Alpha_context_helpers`Source

include module type of struct include Common end

val memo_size_of_int : 
  int ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Sapling.Memo_size.t

Source

val int_of_memo_size : 
  Tezos_protocol_alpha.Protocol.Alpha_context.Sapling.Memo_size.t ->
  int

Source

val wrap : 
  'a Tezos_protocol_alpha.Environment.Error_monad.tzresult ->
  'a Tezos_base.TzPervasives.tzresult Lwt.t

Sourceval assert_true : (bool, 'a) result Lwt.t -> (unit, 'a) result Lwt.t

Sourceval assert_false : (bool, 'a) result Lwt.t -> (unit, 'a) result Lwt.t

Sourceval assert_some : ('a option, 'b) result Lwt.t -> ('a, 'b) result Lwt.t

Sourceval assert_none : ('a option, 'b) result Lwt.t -> (unit, 'b) result Lwt.t

Sourceval assert_error : ('a, 'b) result Lwt.t -> (unit, 'c) result Lwt.t

Sourceval print : ?prefix:string -> 'a Data_encoding.Encoding.t -> 'a -> unit

Sourceval to_hex : 'a -> 'a Data_encoding.Encoding.t -> string

Sourceval randomized_byte : ?pos:int -> 'a -> 'a Data_encoding.Encoding.t -> 'a

Sourcetype wallet = Common.wallet = {

sk : Tezos_sapling.Core.Wallet.Spending_key.t;
vk : Tezos_sapling.Core.Wallet.Viewing_key.t;

}

Sourceval wallet_gen : unit -> wallet

Source

val gen_addr : 
  int ->
  Tezos_sapling.Core.Client.Viewing_key.t ->
  Tezos_sapling.Core.Client.Viewing_key.address list

Sourceval gen_nf : unit -> Tezos_sapling.Core.Client.Nullifier.t

Source

val gen_cm_cipher : 
  memo_size:int ->
  unit ->
  Tezos_sapling.Core.Client.Commitment.t
  * Tezos_sapling.Core.Client.Ciphertext.t

Source

val client_state_of_diff : 
  memo_size:int ->
  (Tezos_sapling.Core.Validator.Hash.t
   * Tezos_protocol_alpha.Protocol.Alpha_context.Sapling.diff) ->
  Tezos_sapling.Storage.state

Source

val init : 
  unit ->
  (Tezos_protocol_alpha.Protocol.Alpha_context.context,
    Tezos_base.TzPervasives.tztrace)
    result
    Lwt.t

Source

val finalize : 
  Tezos_raw_protocol_alpha__Alpha_context.context ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Sapling.state ->
  (Tezos_raw_protocol_alpha__Alpha_context.t
   * Tezos_protocol_alpha.Protocol.Alpha_context.Sapling.Id.t,
    Tezos_base.TzPervasives.tztrace)
    result
    Lwt.t

Source

val verify_update : 
  Tezos_raw_protocol_alpha__Alpha_context.context ->
  ?memo_size:int ->
  ?id:Tezos_protocol_alpha.Protocol.Alpha_context.Sapling.Id.t ->
  Tezos_protocol_alpha.Environment.Sapling.UTXO.transaction ->
  ((Tezos_protocol_alpha.Protocol.Alpha_context.context
    * Tezos_protocol_alpha.Protocol.Alpha_context.Sapling.Id.t)
     option,
    Tezos_base.TzPervasives.tztrace)
    result
    Lwt.t

Source

val verify_update_legacy : 
  Tezos_raw_protocol_alpha__Alpha_context.context ->
  ?memo_size:int ->
  ?id:Tezos_protocol_alpha.Protocol.Alpha_context.Sapling.Id.t ->
  Tezos_protocol_alpha.Environment.Sapling.UTXO.Legacy.transaction ->
  ((Tezos_protocol_alpha.Protocol.Alpha_context.context
    * Tezos_protocol_alpha.Protocol.Alpha_context.Sapling.Id.t)
     option,
    Tezos_base.TzPervasives.tztrace)
    result
    Lwt.t

Source

val transfer_inputs_outputs : 
  wallet ->
  Tezos_sapling__Forge.S.state ->
  int list ->
  Tezos_sapling.Forge.Input.t list * Tezos_sapling.Forge.output list

Source

val transfer : 
  wallet ->
  Tezos_sapling__Forge.S.state ->
  int list ->
  Tezos_sapling.Forge.Core.UTXO.transaction

Source

val transfer_legacy : 
  wallet ->
  Tezos_sapling__Forge.S.state ->
  int list ->
  Tezos_sapling.Forge.Core.UTXO.Legacy.transaction

Source

val client_state_alpha : 
  Tezos_raw_protocol_alpha__Alpha_context.context ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Sapling.Id.t ->
  (Tezos_sapling.Storage.state, Tezos_base.TzPervasives.tztrace) result Lwt.t

Install

Dune Dependency

Authors

Maintainers

Sources

doc/octez-protocol-alpha-libs.test-helpers/Tezos_alpha_test_helpers/Sapling_helpers/Alpha_context_helpers/index.html

Module `Sapling_helpers.Alpha_context_helpers`Source

package octez-protocol-alpha-libs

Install

Dune Dependency

Authors

Maintainers

Sources

doc/octez-protocol-alpha-libs.test-helpers/Tezos_alpha_test_helpers/Sapling_helpers/Alpha_context_helpers/index.html

Module Sapling_helpers.Alpha_context_helpersSource

Module `Sapling_helpers.Alpha_context_helpers`Source