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

octez-19.1.tar.gz
sha256=55ea1fb8bb3273a7fc270ca8f650d45c56449665619482aad9bc12f3ea736b7e
sha512=fec850fc2d17d7490bbabd5147d62aad13b3aaed8774270f8a38ab419670ed03e0fd30cf8642a97984eca5c2446726fe590ad99c015f7ec50919dc7652f25053

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