Module Sapling_helpers.CommonSource

Sourceval memo_size_of_int : int -> Tezos_protocol_alpha.Protocol.Alpha_context.Sapling.Memo_size.t
Sourceval int_of_memo_size : Tezos_protocol_alpha.Protocol.Alpha_context.Sapling.Memo_size.t -> int
Sourceval 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 = {
  1. sk : Tezos_sapling.Core.Wallet.Spending_key.t;
  2. vk : Tezos_sapling.Core.Wallet.Viewing_key.t;
}
Sourceval wallet_gen : unit -> wallet
Sourceval 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
Sourceval gen_cm_cipher : memo_size:int -> unit -> Tezos_sapling.Core.Client.Commitment.t * Tezos_sapling.Core.Client.Ciphertext.t
Sourceval 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