package tezos-protocol-017-PtNairob

  1. Overview
  2. Docs
package tezos-protocol-017-PtNairob
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t = {
  1. published_level : Raw_level_repr.t;
  2. slot_index : Dal_slot_index_repr.t;
  3. commitment : Dal_slot_repr.Commitment.t;
  4. commitment_proof : Dal_slot_repr.Commitment_proof.t;
}

A "publish slot header" operation contains

  • a published_level which is the block level this operation should be included to.
  • a slot_index which is the slot index associated with the commitment.
  • a commitment which is a commitment to the slot data published onto the DAL
  • a commitment_proof which aims to prove that the size of the slot data does not exceed a limit set by the protocol.

check_level ~current_level operation check whether the operation.published_level equals current_level.

slot_header ~cryptobox ~number_of_slots ~current_level operation constructs a valid slot header. This function can fail in the following cases:

  • The published_level is not equal to current_level
  • The commitment_proof is invalid
  • The slot_index is invalid
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