package octez-libs

  1. Overview
  2. Docs
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/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
OCaml

Innovation. Community. Security.