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.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;
}
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct