package octez-libs

  1. Overview
  2. Docs
A package that contains multiple base libraries used by the Octez suite

Install

Dune 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;
}
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