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.epoxy-tx/Epoxy_tx/Tx_rollup/V/T/index.html

Module V.TSource

Sourcemodule Schnorr : sig ... end
Sourcemodule Merkle : sig ... end
Sourcemodule Bounded_u : sig ... end
Sourcetype curve_t_u = (L.scalar * L.scalar) L.repr
Sourcetype curve_base_t_u = L.scalar L.repr
Sourcetype curve_scalar_t_u = L.scalar L.repr
Sourcetype !'a ticket_u = {
  1. id : L.scalar L.repr;
  2. amount : 'a Bounded_u.t;
}
Sourcetype tezos_pkh_u = L.scalar L.repr
Sourcetype tezos_zkru_u = L.scalar L.repr
Sourcetype account_u = {
  1. pk : Schnorr.pk L.repr;
  2. tez_balance : Constants.balance Bounded_u.t;
  3. cnt : Constants.counter Bounded_u.t;
  4. tickets_root : L.scalar L.repr;
}
Sourcetype proof_u = {
  1. path : Merkle.path;
  2. root : L.scalar L.repr;
}
Sourcetype account_tree_el_u = {
  1. before : account_u;
  2. after : account_u;
  3. proof : proof_u;
}
Sourcetype leaf_tree_el_u = {
  1. before : leaf_u;
  2. after : leaf_u;
  3. path : Merkle.path;
}
Sourcetype tree_el_u = {
  1. account : account_tree_el_u;
  2. leaf : leaf_tree_el_u;
}
Sourcetype header_u = {
  1. op_code : Constants.op_code Bounded_u.t;
  2. price : Constants.balance ticket_u;
  3. l1_dst : tezos_pkh_u;
  4. rollup_id : tezos_zkru_u;
}
Sourcetype transfer_payload_u = {
  1. msg : unsigned_transfer_payload_u;
  2. signature : Schnorr.signature;
}
Sourcetype transfer_u = {
  1. header : header_u;
  2. payload : transfer_payload_u;
}
Sourcetype transfer_storage_u = {
  1. src : tree_el_u;
  2. dst : tree_el_u;
  3. valid : bool L.repr;
}
Sourcetype unsigned_create_payload_u = {
  1. pk : Schnorr.pk L.repr;
  2. fee : Constants.fee Bounded_u.t;
}
Sourcetype create_payload_u = {
  1. msg : unsigned_create_payload_u;
  2. signature : Schnorr.signature;
}
Sourcetype create_u = {
  1. header : header_u;
  2. payload : create_payload_u;
}
Sourcetype create_storage_u = {
  1. dst : tree_el_u;
  2. next_empty : tree_el_u;
  3. valid : bool L.repr;
}
Sourcetype credit_u = {
  1. header : header_u;
  2. payload : credit_payload_u;
}
Sourcetype credit_storage_u = {
  1. dst : tree_el_u;
  2. valid : bool L.repr;
}
Sourcetype unsigned_debit_payload_u = {
  1. cnt : Constants.counter Bounded_u.t;
  2. src : Constants.position Bounded_u.t;
  3. amount : Constants.amount ticket_u;
}
Sourcetype debit_payload_u = {
  1. msg : unsigned_debit_payload_u;
  2. signature : Schnorr.signature;
}
Sourcetype debit_u = {
  1. header : header_u;
  2. payload : debit_payload_u;
}
Sourcetype debit_storage_u = {
  1. src : tree_el_u;
  2. valid : bool L.repr;
}