package octez-protocol-017-PtNairob-libs
Octez protocol 017-PtNairob libraries
Install
Dune Dependency
Authors
Maintainers
Sources
octez-19.1.tar.gz
sha256=55ea1fb8bb3273a7fc270ca8f650d45c56449665619482aad9bc12f3ea736b7e
sha512=fec850fc2d17d7490bbabd5147d62aad13b3aaed8774270f8a38ab419670ed03e0fd30cf8642a97984eca5c2446726fe590ad99c015f7ec50919dc7652f25053
doc/octez-protocol-017-PtNairob-libs.baking/Tezos_baking_017_PtNairob/State_transitions/index.html
Module Tezos_baking_017_PtNairob.State_transitionsSource
This module, and in particular the step function, modifies the automaton state, while Baking_actions performs potentially failing side-effects.
Source
val is_acceptable_proposal_for_current_level :
Baking_state.state ->
Baking_state.proposal ->
proposal_acceptance Lwt.tSource
val make_consensus_list :
Baking_state.state ->
Baking_state.proposal ->
(Baking_state.consensus_key_and_delegate
* Tezos_protocol_017_PtNairob.Protocol.Alpha_context.consensus_content)
listSource
val may_update_proposal :
is_proposal_applied:bool ->
Baking_state.state ->
Baking_state.proposal ->
Baking_state.state Lwt.tSource
val preendorse :
Baking_state.state ->
Baking_state.proposal ->
(Baking_state.state * Baking_actions.action) Lwt.tSource
val extract_pqc :
Baking_state.state ->
Baking_state.proposal ->
(Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Kind.preendorsement
Tezos_protocol_017_PtNairob.Protocol.Alpha_context.operation
list
* Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Round.t)
optionSource
val handle_proposal :
is_proposal_applied:bool ->
Baking_state.state ->
Baking_state.proposal ->
(Baking_state.state * Baking_actions.action) Lwt.tSource
val round_proposer :
Baking_state.state ->
(Baking_state.consensus_key_and_delegate * Baking_state.endorsing_slot)
Tezos_baking_017_PtNairob.Baking_state.SlotMap.t ->
Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Round.t ->
(Baking_state.consensus_key_and_delegate * Baking_state.endorsing_slot)
optionSource
val propose_fresh_block_action :
endorsements:
Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Kind.endorsement
Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Operation.t
list ->
dal_attestations:
Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Kind.dal_attestation
Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Operation.t
list ->
?last_proposal:Baking_state.block_info ->
predecessor:Baking_state.block_info ->
Baking_state.state ->
Baking_state.consensus_key_and_delegate ->
Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Round.t ->
Baking_actions.action Lwt.tSource
val propose_block_action :
Baking_state.state ->
Baking_state.consensus_key_and_delegate ->
Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Round.t ->
Baking_state.proposal ->
Baking_actions.action Lwt.tSource
val end_of_round :
Baking_state.state ->
Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Round.t ->
(Baking_state.state * Baking_actions.action) Lwt.tIncrease the current round and propose at the new round (same level), if the baker has a proposer slot.
Source
val time_to_bake_at_next_level :
Baking_state.state ->
Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Round.t ->
(Baking_state.state * Baking_actions.action) Lwt.tPropose (if possible) for the first time at a new level.
Source
val update_locked_round :
Baking_state.state ->
Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Round.t ->
Tezos_protocol_017_PtNairob.Protocol.Block_payload_hash.t ->
Baking_state.stateSource
val make_endorse_action :
Baking_state.state ->
Baking_state.proposal ->
Baking_actions.actionSource
val prequorum_reached_when_awaiting_preendorsements :
Baking_state.state ->
Operation_worker.candidate ->
Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Kind.preendorsement
Tezos_protocol_017_PtNairob.Protocol.Alpha_context.operation
list ->
(Baking_state.state * Baking_actions.action) Lwt.tSource
val quorum_reached_when_waiting_endorsements :
Baking_state.state ->
Operation_worker.candidate ->
Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Kind.endorsement
Tezos_protocol_017_PtNairob.Protocol.Alpha_context.operation
list ->
(Baking_state.state * Baking_actions.action) Lwt.tSource
val step :
Baking_state.state ->
Baking_state.event ->
(Baking_state.state * Baking_actions.action) Lwt.t