package octez-protocol-018-Proxford-libs
Octez protocol 018-Proxford libraries
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-octez-v20.1.tag.bz2
sha256=ddfb5076eeb0b32ac21c1eed44e8fc86a6743ef18ab23fff02d36e365bb73d61
sha512=d22a827df5146e0aa274df48bc2150b098177ff7e5eab52c6109e867eb0a1f0ec63e6bfbb0e3645a6c2112de3877c91a17df32ccbff301891ce4ba630c997a65
doc/octez-protocol-018-Proxford-libs.baking/Tezos_baking_018_Proxford/State_transitions/index.html
Module Tezos_baking_018_Proxford.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_vote_batch :
Baking_state.state ->
Baking_state.proposal ->
Baking_state.consensus_vote_kind ->
Baking_state.unsigned_consensus_vote_batchSource
val may_update_proposal :
is_proposal_applied:bool ->
Baking_state.state ->
Baking_state.proposal ->
Baking_state.state Lwt.tSource
val preattest :
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_018_Proxford.Protocol.Alpha_context.Kind.preattestation
Tezos_protocol_018_Proxford.Protocol.Alpha_context.operation
list
* Tezos_protocol_018_Proxford.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 propose_fresh_block_action :
attestations:
Tezos_protocol_018_Proxford.Protocol.Alpha_context.Kind.attestation
Tezos_protocol_018_Proxford.Protocol.Alpha_context.Operation.t
list ->
dal_attestations:
Tezos_protocol_018_Proxford.Protocol.Alpha_context.Kind.dal_attestation
Tezos_protocol_018_Proxford.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_018_Proxford.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_018_Proxford.Protocol.Alpha_context.Round.t ->
Baking_state.proposal ->
Baking_actions.action Lwt.tSource
val end_of_round :
Baking_state.state ->
Tezos_protocol_018_Proxford.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_prepare_next_level_block :
Baking_state.state ->
Tezos_protocol_018_Proxford.Protocol.Alpha_context.Round.t ->
(Baking_state.state * Baking_actions.action) Lwt.tPropose for the first time at a level at the given round. There was no previous proposal at the current level.
Source
val update_locked_round :
Baking_state.state ->
Tezos_protocol_018_Proxford.Protocol.Alpha_context.Round.t ->
Tezos_protocol_018_Proxford.Protocol.Block_payload_hash.t ->
Baking_state.stateSource
val prepare_attest_action :
Baking_state.state ->
Baking_state.proposal ->
Baking_actions.actionSource
val prequorum_reached_when_awaiting_preattestations :
Baking_state.state ->
Operation_worker.candidate ->
Tezos_protocol_018_Proxford.Protocol.Alpha_context.Kind.preattestation
Tezos_protocol_018_Proxford.Protocol.Alpha_context.operation
list ->
(Baking_state.state * Baking_actions.action) Lwt.tSource
val quorum_reached_when_waiting_attestations :
Baking_state.state ->
Operation_worker.candidate ->
Tezos_protocol_018_Proxford.Protocol.Alpha_context.Kind.attestation
Tezos_protocol_018_Proxford.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