Module `Tezos_baking_018_Proxford.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_018_Proxford.Protocol.Alpha_context.Round.t;
block_payload_hash : Tezos_protocol_018_Proxford.Protocol.Block_payload_hash.t;
preattestations : Tezos_protocol_018_Proxford.Protocol.Alpha_context.Kind.preattestation Tezos_protocol_018_Proxford.Protocol.Alpha_context.operation list;

}

Sourcetype block_info = {

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

}

Sourcetype cache = {

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

}

Sourcetype global_state = {

cctxt : Tezos_client_018_Proxford.Protocol_client_context.full;
chain_id : Tezos_base.TzPervasives.Chain_id.t;
config : Baking_configuration.t;
constants : Tezos_protocol_018_Proxford.Protocol.Alpha_context.Constants.t;
round_durations : Tezos_protocol_018_Proxford.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_018_Proxford.Protocol.Alpha_context.Block_header.shell_header ->
  Tezos_protocol_018_Proxford.Protocol.Alpha_context.Round.t
    Tezos_base.TzPervasives.tzresult

Source

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

Sourcetype delegate_slot = {

consensus_key_and_delegate : consensus_key_and_delegate;
first_slot : Tezos_protocol_018_Proxford.Protocol.Alpha_context.Slot.t;
attesting_power : int;

}

A delegate slot consists of the delegate's consensus key, its public key hash, its first slot, and its attesting power at some level.

Sourcemodule Delegate_slots : sig ... end

Sourcetype delegate_slots = Delegate_slots.t

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 attested.

Sourcetype locked_round = {

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

}

Source

val locked_round_encoding : 
  locked_round Tezos_base.TzPervasives.Data_encoding.t

Sourcetype attestable_payload = {

proposal : proposal;
prequorum : prequorum;

}

Source

val attestable_payload_encoding : 
  attestable_payload Tezos_base.TzPervasives.Data_encoding.t

Sourcetype elected_block = {

proposal : proposal;
attestation_qc : Tezos_protocol_018_Proxford.Protocol.Alpha_context.Kind.attestation Tezos_protocol_018_Proxford.Protocol.Alpha_context.operation list;

}

Sourcetype level_state = {

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

}

Sourcetype phase =

| Idle
| Awaiting_preattestations
| Awaiting_application
| Awaiting_attestations

Sourceval phase_encoding : phase Tezos_base.TzPervasives.Data_encoding.t

Sourcetype round_state = {

current_round : Tezos_protocol_018_Proxford.Protocol.Alpha_context.Round.t;
current_phase : phase;
delayed_prequorum : (Operation_worker.candidate * Tezos_protocol_018_Proxford.Protocol.Alpha_context.Kind.preattestation Tezos_protocol_018_Proxford.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

Source

val round_proposer : 
  state ->
  level:[ `Current | `Next ] ->
  Tezos_protocol_018_Proxford.Protocol.Alpha_context.Round.t ->
  delegate_slot option

Returns, among our *own* delegates, the delegate (and its attesting slot) that has a proposer slot at the given round and the current or next level, if any.

Sourcetype timeout_kind =

| End_of_round of {
1. ending_round : Tezos_protocol_018_Proxford.Protocol.Alpha_context.Round.t;
}
| Time_to_bake_next_level of {
1. at_round : Tezos_protocol_018_Proxford.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_018_Proxford.Protocol.Alpha_context.Kind.preattestation Tezos_protocol_018_Proxford.Protocol.Alpha_context.operation list
| Quorum_reached of Operation_worker.candidate * Tezos_protocol_018_Proxford.Protocol.Alpha_context.Kind.attestation Tezos_protocol_018_Proxford.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;
attestable_payload_data : attestable_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_attestable_data : 
  Tezos_client_018_Proxford.Protocol_client_context.full ->
  [ `State ] Baking_files.location ->
  state_data option Tezos_base.TzPervasives.tzresult Lwt.t

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

Source

val compute_delegate_slots : 
  Tezos_client_018_Proxford.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_attestable_payload : Format.formatter -> attestable_payload -> unit

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

Sourceval pp_delegate_slot : Format.formatter -> delegate_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-018-Proxford-libs.baking/Tezos_baking_018_Proxford/Baking_state/index.html

Module `Tezos_baking_018_Proxford.Baking_state`Source

package octez-protocol-018-Proxford-libs

Install

Dune Dependency

Authors

Maintainers

Sources

doc/octez-protocol-018-Proxford-libs.baking/Tezos_baking_018_Proxford/Baking_state/index.html

Module Tezos_baking_018_Proxford.Baking_stateSource

Module `Tezos_baking_018_Proxford.Baking_state`Source