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.0.tar.gz
sha256=dbc3b675aee59c2c574e5d0a771193a2ecfca31e7a5bc5aed66598080596ce1c
sha512=b97ed762b9d24744305c358af0d20f394376b64bfdd758dd4a81775326caf445caa57c4f6445da3dd6468ff492de18e4c14af6f374dfcbb7e4d64b7b720e5e2a

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