package octez-protocol-alpha-libs
Octez protocol alpha libraries
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-18.0.tar.gz
sha256=dbc3b675aee59c2c574e5d0a771193a2ecfca31e7a5bc5aed66598080596ce1c
sha512=b97ed762b9d24744305c358af0d20f394376b64bfdd758dd4a81775326caf445caa57c4f6445da3dd6468ff492de18e4c14af6f374dfcbb7e4d64b7b720e5e2a
doc/octez-protocol-alpha-libs.baking/Tezos_baking_alpha/State_transitions/index.html
Module Tezos_baking_alpha.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_alpha.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 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_alpha.Protocol.Alpha_context.Kind.preattestation
Tezos_protocol_alpha.Protocol.Alpha_context.operation
list
* Tezos_protocol_alpha.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_alpha.Protocol.Alpha_context.Kind.attestation
Tezos_protocol_alpha.Protocol.Alpha_context.Operation.t
list ->
dal_attestations:
Tezos_protocol_alpha.Protocol.Alpha_context.Kind.dal_attestation
Tezos_protocol_alpha.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_alpha.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_alpha.Protocol.Alpha_context.Round.t ->
Baking_state.proposal ->
Baking_actions.action Lwt.tSource
val end_of_round :
Baking_state.state ->
Tezos_protocol_alpha.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_alpha.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_alpha.Protocol.Alpha_context.Round.t ->
Tezos_protocol_alpha.Protocol.Block_payload_hash.t ->
Baking_state.stateSource
val prequorum_reached_when_awaiting_preattestations :
Baking_state.state ->
Operation_worker.candidate ->
Tezos_protocol_alpha.Protocol.Alpha_context.Kind.preattestation
Tezos_protocol_alpha.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_alpha.Protocol.Alpha_context.Kind.attestation
Tezos_protocol_alpha.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