package octez-protocol-alpha-libs

  1. Overview
  2. Docs
Octez protocol alpha 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.1.tar.gz
sha256=aa2f5bc99cc4ca2217c52a1af2a2cdfd3b383208cb859ca2e79ca0903396ca1d
sha512=d68bb3eb615e3dcccc845fddfc9901c95b3c6dc8e105e39522ce97637b1308a7fa7aa1d271351d5933febd7476b2819e1694f31198f1f0919681f1f9cc97cb3a

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.

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_alpha.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_alpha.Protocol.Alpha_context.Kind.preattestation Tezos_protocol_alpha.Protocol.Alpha_context.operation list * Tezos_protocol_alpha.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_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.t
Sourceval 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.t
Sourceval end_of_round : Baking_state.state -> Tezos_protocol_alpha.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_alpha.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_alpha.Protocol.Alpha_context.Round.t -> Tezos_protocol_alpha.Protocol.Block_payload_hash.t -> Baking_state.state
Sourceval 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.t
Sourceval 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.t