package tezos-protocol-alpha

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type id = {
  1. published_level : Raw_level_repr.t;
  2. index : Dal_slot_index_repr.t;
}

For Layer-1, a slot is identified by the level at which it is published and the slot's index.

type t = {
  1. id : id;
  2. commitment : Commitment.t;
}

For Layer-1, a slot is described by its slot id and the slot's commitment.

encoding for values of type id.

encoding for values of type t.

pretty-printer for values of type id.

pretty-printer for values of type t.

val equal : t -> t -> bool

equal function for values of type t.

verify_commitment cryptobox commitment commitment_proof check that for the given commitment, the commitment proof is correct using the cryptbox primitives.

OCaml

Innovation. Community. Security.