package tezos-sapling

  1. Overview
  2. Docs
type t = R.proving_ctx
type ar = R.ar
val with_proving_ctx : (R.proving_ctx -> 'a) -> 'a
val ar_random : unit -> R.ar
val spend_proof : R.proving_ctx -> Viewing_key.t -> Spending_key.t -> Viewing_key.address -> R.rcm -> R.ar -> amount:int64 -> root:R.hash -> witness:Stdlib.Bytes.t -> R.cv * R.rk * R.spend_proof
val spend_sig : Spending_key.t -> R.ar -> R.cv -> R.nullifier -> R.rk -> R.spend_proof -> string -> R.spend_sig
val output_proof : R.proving_ctx -> R.esk -> Viewing_key.address -> R.rcm -> amount:int64 -> R.cv * R.output_proof
val make_binding_sig : R.proving_ctx -> UTXO.input list -> UTXO.output list -> balance:int64 -> bound_data:string -> string -> R.binding_sig
OCaml

Innovation. Community. Security.