package tezos-protocol-015-PtLimaPt
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55
sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b
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.