package tezos-protocol-015-PtLimaPt
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680
sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc
doc/tezos-protocol-015-PtLimaPt.raw/Tezos_raw_protocol_015_PtLimaPt/Dal_apply/index.html
Module Tezos_raw_protocol_015_PtLimaPt.Dal_applySource
This modules handles all the validation/application/finalisation of any operation related to the DAL.
val validate_data_availability :
Alpha_context.t ->
Alpha_context.Dal.Endorsement.t ->
unit Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresultvalidate_data_availability ctxt endorsement ensures the endorsement is valid and cannot prevent an operation containing endorsement to be refused on top of ctxt. If an Error _ is returned, the endorsement is not valid.
val apply_data_availability :
Alpha_context.t ->
Alpha_context.Dal.Endorsement.t ->
endorser:Tezos_protocol_environment_015_PtLimaPt.Signature.Public_key_hash.t ->
Alpha_context.t Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
Tezos_protocol_environment_015_PtLimaPt.Lwt.tapply_data_availability ctxt endorsement ~endorser applies endorsement into the ctxt assuming endorser issued those endorsements.
val validate_publish_slot_header :
Alpha_context.t ->
Alpha_context.Dal.Slot.t ->
unit Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresultvalidate_publish_slot_header ctxt slot ensures that slot is valid and cannot prevent an operation containing slot to be refused on top of ctxt. If an Error _ is returned, the slot is not valid.
val apply_publish_slot_header :
Alpha_context.t ->
Alpha_context.Dal.Slot.t ->
Alpha_context.t Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresultapply_publish_slot_header ctxt slot applies the publication of slot header slot on top of ctxt. Fails if the slot contains already a slot header.
val dal_finalisation :
Alpha_context.t ->
(Alpha_context.t * Alpha_context.Dal.Endorsement.t option)
Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
Tezos_protocol_environment_015_PtLimaPt.Lwt.tdal_finalisation ctxt should be executed at block finalisation time. A set of slots available at level ctxt.current_level - lag is returned encapsulated into the endorsement data-structure.
lag is a parametric constant specific to the data-availability layer.