package octez-libs

  1. Overview
  2. Docs
A package that contains multiple base libraries used by the Octez suite

Install 

dune-project
 Dependency

www.tezos.com Readme Edit opam file Versions (5)

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

Sources

octez-19.0.tar.gz
sha256=c6df840ebbf115e454db949028c595bec558a59a66cade73b52a6d099d6fa4d4
sha512=d8aee903b9fe130d73176bc8ec38b78c9ff65317da3cb4f3415f09af0c625b4384e7498201fdb61aa39086a7d5d409d0ab3423f9bc3ab989a680cf444a79bc13

doc/octez-libs.tezos-sapling/Tezos_sapling/Core/Client/Proving/index.html

Module Client.ProvingSource

Sourcetype t

A proving context. Stores information about the commitment values and is used for the binding_sig. A context should created with init, passed to spend_proof for all inputs and output_proof for all outputs, passed to make_binding_sig and finally freed with free. *

Sourcetype ar

Randomness to randomise the signature key. *

Sourceval with_proving_ctx : (t -> 'a) -> 'a
Sourceval ar_random : unit -> ar
Sourceval spend_sig : Spending_key.t -> ar -> CV.t -> Nullifier.t -> UTXO.rk -> UTXO.spend_proof -> string -> UTXO.spend_sig

String is the anti-replay. *

Sourceval spend_proof : t -> Viewing_key.t -> Spending_key.t -> Viewing_key.address -> Rcm.t -> ar -> amount:int64 -> root:Hash.t -> witness:Bytes.t -> CV.t * UTXO.rk * UTXO.spend_proof
Sourceval output_proof : t -> DH.esk -> Viewing_key.address -> Rcm.t -> amount:int64 -> CV.t * UTXO.output_proof
Sourceval make_binding_sig : t -> UTXO.input list -> UTXO.output list -> balance:int64 -> bound_data:string -> string -> UTXO.binding_sig

See spec section 4.12 *