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

tezos-18.1.tar.gz
sha256=aa2f5bc99cc4ca2217c52a1af2a2cdfd3b383208cb859ca2e79ca0903396ca1d
sha512=d68bb3eb615e3dcccc845fddfc9901c95b3c6dc8e105e39522ce97637b1308a7fa7aa1d271351d5933febd7476b2819e1694f31198f1f0919681f1f9cc97cb3a

doc/octez-libs.tezos-sapling/Tezos_sapling/Core/Raw/UTXO/index.html

Module Raw.UTXOSource

Sourcetype rk = R.rk
Sourcetype spend_proof = R.spend_proof
Sourcetype sighash = R.sighash

What gets signed. Has to be a hash of an input plus anti-replay string.

Sourceval hash_input : R.cv -> R.nullifier -> R.rk -> R.spend_proof -> string -> R.sighash
Sourcetype spend_sig = R.spend_sig
Sourcetype input = {
  1. cv : CV.t;
  2. nf : Nullifier.t;
  3. rk : rk;
  4. proof_i : spend_proof;
  5. signature : spend_sig;
}
Sourceval input_encoding : input Data_encoding.encoding
Sourcetype output_proof = R.output_proof
Sourcetype output = {
  1. cm : Commitment.t;
  2. proof_o : output_proof;
  3. ciphertext : Ciphertext.t;
}
Sourceval output_encoding : output Data_encoding.encoding
Sourcetype binding_sig = R.binding_sig
Sourceval binding_sig_encoding : R.binding_sig Data_encoding.encoding
Sourceval hash_transaction : input list -> output list -> bound_data:string -> string -> R.sighash
Sourcetype transaction = {
  1. inputs : input list;
  2. outputs : output list;
  3. binding_sig : binding_sig;
  4. balance : int64;
  5. root : Hash.t;
  6. bound_data : string;
}
Sourceval transaction_encoding : transaction Data_encoding.encoding
Sourceval max_amount : int64
Sourceval valid_amount : int64 -> bool
Sourcemodule Legacy : sig ... end