package octez-protocol-018-Proxford-libs

  1. Overview
  2. Docs
Octez protocol 018-Proxford libraries

Install 

dune-project
 Dependency

www.tezos.com Readme Edit opam file Versions (5)

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

Sources

tezos-18.0.tar.gz
sha256=dbc3b675aee59c2c574e5d0a771193a2ecfca31e7a5bc5aed66598080596ce1c
sha512=b97ed762b9d24744305c358af0d20f394376b64bfdd758dd4a81775326caf445caa57c4f6445da3dd6468ff492de18e4c14af6f374dfcbb7e4d64b7b720e5e2a

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.

Sourcetype proposal_acceptance =
  1. | Invalid
  2. | Outdated_proposal
  3. | Valid_proposal
Sourceval is_acceptable_proposal_for_current_level : Baking_state.state -> Baking_state.proposal -> proposal_acceptance Lwt.t
Sourceval make_consensus_list : Baking_state.state -> Baking_state.proposal -> (Baking_state.consensus_key_and_delegate * Tezos_protocol_018_Proxford.Protocol.Alpha_context.consensus_content) list
Sourceval may_update_proposal : is_proposal_applied:bool -> Baking_state.state -> Baking_state.proposal -> Baking_state.state Lwt.t
Sourceval 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) option
Sourceval handle_proposal : is_proposal_applied:bool -> Baking_state.state -> Baking_state.proposal -> (Baking_state.state * Baking_actions.action) Lwt.t
Sourceval 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.t
Sourceval 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.t
Sourceval end_of_round : Baking_state.state -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Round.t -> (Baking_state.state * Baking_actions.action) Lwt.t

Increase the current round and propose at the new round (same level), if the baker has a proposer slot.

Sourceval time_to_bake_at_next_level : Baking_state.state -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Round.t -> (Baking_state.state * Baking_actions.action) Lwt.t

Propose (if possible) for the first time at a new level.

Sourceval 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.state
Sourceval 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.t
Sourceval 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.t