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.0.tar.gz
sha256=c6df840ebbf115e454db949028c595bec558a59a66cade73b52a6d099d6fa4d4
sha512=d8aee903b9fe130d73176bc8ec38b78c9ff65317da3cb4f3415f09af0c625b4384e7498201fdb61aa39086a7d5d409d0ab3423f9bc3ab989a680cf444a79bc13

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