package octez-libs
A package that contains multiple base libraries used by the Octez suite
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-octez-v20.1.tag.bz2
sha256=ddfb5076eeb0b32ac21c1eed44e8fc86a6743ef18ab23fff02d36e365bb73d61
sha512=d22a827df5146e0aa274df48bc2150b098177ff7e5eab52c6109e867eb0a1f0ec63e6bfbb0e3645a6c2112de3877c91a17df32ccbff301891ce4ba630c997a65
doc/octez-libs.tezos-sapling/Tezos_sapling/Core/Client/Proving/index.html
Module Client.ProvingSource
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. *
Randomness to randomise the signature key. *
Source
val spend_sig :
Spending_key.t ->
ar ->
CV.t ->
Nullifier.t ->
UTXO.rk ->
UTXO.spend_proof ->
string ->
UTXO.spend_sigString is the anti-replay. *
Source
val 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_proofSource
val output_proof :
t ->
DH.esk ->
Viewing_key.address ->
Rcm.t ->
amount:int64 ->
CV.t * UTXO.output_proofSource
val make_binding_sig :
t ->
UTXO.input list ->
UTXO.output list ->
balance:int64 ->
bound_data:string ->
string ->
UTXO.binding_sigSee spec section 4.12 *