Module `Tezos_baking_017_PtNairob.Baking_state`Source

Sourcetype consensus_key = {

alias : string option;
public_key : Tezos_base.TzPervasives.Signature.public_key;
public_key_hash : Tezos_base.TzPervasives.Signature.public_key_hash;
secret_key_uri : Tezos_client_base.Client_keys.sk_uri;

}

val consensus_key_encoding : 
  consensus_key Tezos_base.TzPervasives.Data_encoding.t

Sourceval pp_consensus_key : Format.formatter -> consensus_key -> unit

Source

type consensus_key_and_delegate =
  consensus_key * Tezos_base.TzPervasives.Signature.Public_key_hash.t

Source

val consensus_key_and_delegate_encoding : 
  consensus_key_and_delegate Tezos_base.TzPervasives.Data_encoding.t

Source

val pp_consensus_key_and_delegate : 
  Format.formatter ->
  consensus_key_and_delegate ->
  unit

Sourcetype validation_mode =

| Node
| Local of Abstract_context_index.t

Sourcetype prequorum = {

level : int32;
round : Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Round.t;
block_payload_hash : Tezos_protocol_017_PtNairob.Protocol.Block_payload_hash.t;
preendorsements : Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Kind.preendorsement Tezos_protocol_017_PtNairob.Protocol.Alpha_context.operation list;

}

Sourcetype block_info = {

hash : Tezos_base.TzPervasives.Block_hash.t;
shell : Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Block_header.shell_header;
payload_hash : Tezos_protocol_017_PtNairob.Protocol.Block_payload_hash.t;
payload_round : Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Round.t;
round : Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Round.t;
prequorum : prequorum option;
quorum : Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Kind.endorsement Tezos_protocol_017_PtNairob.Protocol.Alpha_context.operation list;
dal_attestations : Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Kind.dal_attestation Tezos_protocol_017_PtNairob.Protocol.Alpha_context.operation list;
payload : Operation_pool.payload;

}

Sourcetype cache = {

known_timestamps : Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Timestamp.time Baking_cache.Timestamp_of_round_cache.t;
round_timestamps : (Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Timestamp.time * Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Round.t * consensus_key_and_delegate) Baking_cache.Round_timestamp_interval_cache.t;

}

Sourcetype global_state = {

cctxt : Tezos_client_017_PtNairob.Protocol_client_context.full;
chain_id : Tezos_base.TzPervasives.Chain_id.t;
config : Baking_configuration.t;
constants : Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Constants.t;
round_durations : Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Round.round_durations;
operation_worker : Operation_worker.t;
validation_mode : validation_mode;
delegates : consensus_key list;
cache : cache;
dal_node_rpc_ctxt : Tezos_rpc.Context.generic option;

}

Sourceval block_info_encoding : block_info Tezos_base.TzPervasives.Data_encoding.t

Source

val round_of_shell_header : 
  Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Block_header.shell_header ->
  Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Round.t
    Tezos_base.TzPervasives.tzresult

Source

module SlotMap : 
  Tezos_base.TzPervasives.Map.S
    with type key = Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Slot.t

Sourcetype endorsing_slot = {

first_slot : Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Slot.t;
endorsing_power : int;

}

Sourcetype delegate_slots = {

own_delegate_slots : (consensus_key_and_delegate * endorsing_slot) SlotMap.t;
all_delegate_slots : endorsing_slot SlotMap.t;
all_slots_by_round : Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Slot.t array;

}

Sourcetype proposal = {

block : block_info;
predecessor : block_info;

}

Sourceval proposal_encoding : proposal Tezos_base.TzPervasives.Data_encoding.t

Sourceval is_first_block_in_protocol : proposal -> bool

Identify the first block of the protocol, ie. the block that activates the current protocol.

This block should be baked by the baker of the previous protocol (that's why this same block is also referred to as the last block of the previous protocol). It is always considered final and therefore is not endorsed.

Sourcetype locked_round = {

payload_hash : Tezos_protocol_017_PtNairob.Protocol.Block_payload_hash.t;
round : Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Round.t;

}

Source

val locked_round_encoding : 
  locked_round Tezos_base.TzPervasives.Data_encoding.t

Sourcetype endorsable_payload = {

proposal : proposal;
prequorum : prequorum;

}

Source

val endorsable_payload_encoding : 
  endorsable_payload Tezos_base.TzPervasives.Data_encoding.t

Sourcetype elected_block = {

proposal : proposal;
endorsement_qc : Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Kind.endorsement Tezos_protocol_017_PtNairob.Protocol.Alpha_context.operation list;

}

Sourcetype level_state = {

current_level : int32;
latest_proposal : proposal;
is_latest_proposal_applied : bool;
locked_round : locked_round option;
endorsable_payload : endorsable_payload option;
elected_block : elected_block option;
delegate_slots : delegate_slots;
next_level_delegate_slots : delegate_slots;
next_level_proposed_round : Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Round.t option;

}

Sourcetype phase =

| Idle
| Awaiting_preendorsements
| Awaiting_endorsements
| Awaiting_application

Sourceval phase_encoding : phase Tezos_base.TzPervasives.Data_encoding.t

Sourcetype round_state = {

current_round : Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Round.t;
current_phase : phase;
delayed_quorum : Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Kind.endorsement Tezos_protocol_017_PtNairob.Protocol.Alpha_context.operation list option;

}

Sourcetype state = {

global_state : global_state;
level_state : level_state;
round_state : round_state;

}

Sourcetype t = state

Sourceval update_current_phase : t -> phase -> t

Sourcetype timeout_kind =

| End_of_round of {
1. ending_round : Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Round.t;
}
| Time_to_bake_next_level of {
1. at_round : Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Round.t;
}

Source

val timeout_kind_encoding : 
  timeout_kind Tezos_base.TzPervasives.Data_encoding.t

Sourcetype event =

| New_valid_proposal of proposal
| New_head_proposal of proposal
| Prequorum_reached of Operation_worker.candidate * Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Kind.preendorsement Tezos_protocol_017_PtNairob.Protocol.Alpha_context.operation list
| Quorum_reached of Operation_worker.candidate * Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Kind.endorsement Tezos_protocol_017_PtNairob.Protocol.Alpha_context.operation list
| Timeout of timeout_kind

Sourceval event_encoding : event Tezos_base.TzPervasives.Data_encoding.t

Sourcetype state_data = {

level_data : int32;
locked_round_data : locked_round option;
endorsable_payload_data : endorsable_payload option;

}

Sourceval state_data_encoding : state_data Tezos_base.TzPervasives.Data_encoding.t

Sourceval record_state : t -> unit Tezos_base.TzPervasives.tzresult Lwt.t

Source

val may_record_new_state : 
  previous_state:t ->
  new_state:t ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

Source

val load_endorsable_data : 
  Tezos_client_017_PtNairob.Protocol_client_context.full ->
  [ `State ] Baking_files.location ->
  state_data option Tezos_base.TzPervasives.tzresult Lwt.t

Sourceval may_load_endorsable_data : t -> t Tezos_base.TzPervasives.tzresult Lwt.t

Source

val compute_delegate_slots : 
  Tezos_client_017_PtNairob.Protocol_client_context.full ->
  ?block:Tezos_shell_services.Block_services.block ->
  level:int32 ->
  chain:Tezos_shell_services.Shell_services.chain ->
  consensus_key list ->
  delegate_slots Tezos_base.TzPervasives.tzresult Lwt.t

parameter block
default to `Head 0

Sourceval create_cache : unit -> cache

Sourceval pp_validation_mode : Format.formatter -> validation_mode -> unit

Sourceval pp_global_state : Format.formatter -> global_state -> unit

Source

val pp_option : 
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  'a option ->
  unit

Sourceval pp_block_info : Format.formatter -> block_info -> unit

Sourceval pp_proposal : Format.formatter -> proposal -> unit

Sourceval pp_locked_round : Format.formatter -> locked_round -> unit

Sourceval pp_endorsable_payload : Format.formatter -> endorsable_payload -> unit

Sourceval pp_elected_block : Format.formatter -> elected_block -> unit

Source

val pp_endorsing_slot : 
  Format.formatter ->
  (consensus_key_and_delegate * endorsing_slot) ->
  unit

Sourceval pp_delegate_slots : Format.formatter -> delegate_slots -> unit

Sourceval pp_level_state : Format.formatter -> level_state -> unit

Sourceval pp_phase : Format.formatter -> phase -> unit

Sourceval pp_round_state : Format.formatter -> round_state -> unit

Sourceval pp : Format.formatter -> t -> unit

Sourceval pp_timeout_kind : Format.formatter -> timeout_kind -> unit

Sourceval pp_event : Format.formatter -> event -> unit

Install

Dune Dependency

Authors

Maintainers

Sources

doc/octez-protocol-017-PtNairob-libs.baking/Tezos_baking_017_PtNairob/Baking_state/index.html

Module `Tezos_baking_017_PtNairob.Baking_state`Source

package octez-protocol-017-PtNairob-libs

Install

Dune Dependency

Authors

Maintainers

Sources

doc/octez-protocol-017-PtNairob-libs.baking/Tezos_baking_017_PtNairob/Baking_state/index.html

Module Tezos_baking_017_PtNairob.Baking_stateSource

Module `Tezos_baking_017_PtNairob.Baking_state`Source