package tezos-protocol-017-PtNairob

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type t = {

published_level : Raw_level_repr.t;
slot_index : Dal_slot_index_repr.t;
commitment : Dal_slot_repr.Commitment.t;
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.

val encoding : t Tezos_protocol_environment_017_PtNairob.Data_encoding.t

val pp : Tezos_protocol_environment_017_PtNairob.Format.formatter -> t -> unit

val check_level : 
  current_level:Raw_level_repr.t ->
  t ->
  unit Tezos_protocol_environment_017_PtNairob.Error_monad.tzresult

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

val slot_header : 
  cryptobox:Tezos_protocol_environment_017_PtNairob.Dal.t ->
  number_of_slots:int ->
  current_level:Raw_level_repr.t ->
  t ->
  Dal_slot_repr.Header.t
    Tezos_protocol_environment_017_PtNairob.Error_monad.tzresult

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