package octez-protocol-017-PtNairob-libs
Octez protocol 017-PtNairob libraries
Install
Dune Dependency
Authors
Maintainers
Sources
octez-19.0.tar.gz
sha256=c6df840ebbf115e454db949028c595bec558a59a66cade73b52a6d099d6fa4d4
sha512=d8aee903b9fe130d73176bc8ec38b78c9ff65317da3cb4f3415f09af0c625b4384e7498201fdb61aa39086a7d5d409d0ab3423f9bc3ab989a680cf444a79bc13
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