package tezos-protocol-016-PtMumbai

  1. Overview
  2. Docs
package tezos-protocol-016-PtMumbai
Legend:
Library
Module
Module type
Parameter
Class
Class type
val confirmed_slots_history : Dal_slot_repr.History.t

The reference/snapshot cell of the DAL skip list that stores confirmed slots.

A function to retrieve a history from an underlying cache.

val page_info : (Dal_slot_repr.Page.content * Dal_slot_repr.Page.proof) option

In case we expect to generate an input proof that is a DAL page confirmation, we should provide via page_info the information of the page. That is: its content and the proof that the page is part of a confirmed slot whose ID is part of the page's ID.

In case we expect to generate an input proof to justify that a DAL page is not confirmed, the value of page_info should be None.

In case the proof doesn't involve DAL inputs, the value of page_info is None.

val dal_parameters : Dal_slot_repr.parameters

Some parameters of the DAL. Needed when checking a page's proof against a slot's Dal_slot_repr.commitment.

val dal_attestation_lag : int

The lag between the time an endorsement is published on L1 (its published_level) and the level it should be confirmed.

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