Baking_actions (p.octez-protocol-alpha-libs.19.1.doc.octez-protocol-alpha-libs.baking.Tezos_baking_alpha.Baking

Sourcetype block_kind =

| Fresh of Operation_pool.pool
| Reproposal of {
1. consensus_operations : Tezos_protocol_alpha.Protocol.Alpha_context.packed_operation list;
2. payload_hash : Tezos_protocol_alpha.Protocol.Block_payload_hash.t;
3. payload_round : Tezos_protocol_alpha.Protocol.Alpha_context.Round.t;
4. payload : Operation_pool.payload;
}

Sourcetype block_to_bake = {

predecessor : Baking_state.block_info;
round : Tezos_protocol_alpha.Protocol.Alpha_context.Round.t;
delegate : Baking_state.consensus_key_and_delegate;
kind : block_kind;
force_apply : bool;
(*
if true, while baking the block, try and apply the block and its operations instead of only validating them. this can be permanently set using the --force-apply flag (see force_apply_switch_arg in baking_commands.ml).
*)

}

Sourcetype action =

| Do_nothing
| Inject_block of {
1. block_to_bake : block_to_bake;
2. updated_state : Baking_state.state;
}
| Inject_preattestations of {
1. preattestations : (Baking_state.consensus_key_and_delegate * Tezos_protocol_alpha.Protocol.Alpha_context.consensus_content) list;
}
| Inject_attestations of {
1. attestations : (Baking_state.consensus_key_and_delegate * Tezos_protocol_alpha.Protocol.Alpha_context.consensus_content) list;
}
| Update_to_level of level_update
| Synchronize_round of round_update
| Watch_proposal

Sourceand level_update = {

new_level_proposal : Baking_state.proposal;
compute_new_state : current_round: Tezos_protocol_alpha.Protocol.Alpha_context.Round.t -> delegate_slots:Baking_state.delegate_slots -> next_level_delegate_slots:Baking_state.delegate_slots -> (Baking_state.state * action) Lwt.t;

}

Sourceand round_update = {

new_round_proposal : Baking_state.proposal;
handle_proposal : Baking_state.state -> (Baking_state.state * action) Lwt.t;

}

Sourcetype t = action

Source

val generate_seed_nonce_hash : 
  Baking_configuration.nonce_config ->
  Baking_state.consensus_key ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Level.t ->
  (Tezos_protocol_alpha.Protocol.Nonce_hash.t
   * Tezos_protocol_alpha.Protocol.Alpha_context.Nonce.t)
    option
    Tezos_base.TzPervasives.tzresult
    Lwt.t

Source

val inject_block : 
  state_recorder:
    (new_state:Baking_state.state ->
      unit Tezos_base.TzPervasives.tzresult Lwt.t) ->
  Baking_state.state ->
  block_to_bake ->
  updated_state:Baking_state.state ->
  Baking_state.state Tezos_base.TzPervasives.tzresult Lwt.t

Source

val sign_consensus_votes : 
  Baking_state.state ->
  (Baking_state.consensus_key_and_delegate
   * Tezos_protocol_alpha.Protocol.Alpha_context.consensus_content)
    list ->
  [ `Preattestation | `Attestation ] ->
  ((Baking_state.consensus_key
    * Tezos_protocol_alpha.Protocol.Alpha_context.public_key_hash)
   * Tezos_protocol_alpha.Protocol.Alpha_context.packed_operation
   * int32
   * Tezos_protocol_alpha.Protocol.Alpha_context.Round.t)
    list
    Tezos_base.TzPervasives.tzresult
    Lwt.t

Source

val inject_consensus_vote : 
  Baking_state.state ->
  (Baking_state.consensus_key_and_delegate
   * Tezos_protocol_alpha.Protocol.Alpha_context.consensus_content)
    list ->
  [ `Preattestation | `Attestation ] ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

Source

val sign_dal_attestations : 
  Baking_state.state ->
  (Baking_state.consensus_key_and_delegate
   * Tezos_protocol_alpha.Protocol.Alpha_context.Dal.Attestation.operation
   * int32)
    list ->
  (Baking_state.consensus_key_and_delegate
   * Tezos_protocol_alpha.Protocol.Alpha_context.packed_operation
   * Tezos_protocol_alpha.Protocol.Alpha_context.Dal.Attestation.t
   * int32)
    list
    Tezos_base.TzPervasives.tzresult
    Lwt.t

Source

val get_dal_attestations : 
  Baking_state.state ->
  (Baking_state.consensus_key_and_delegate
   * Tezos_protocol_alpha.Protocol.Alpha_context.Dal.Attestation.operation
   * int32)
    list
    Tezos_base.TzPervasives.tzresult
    Lwt.t

Source

val prepare_waiting_for_quorum : 
  Baking_state.state ->
  int
  * (slot:Tezos_protocol_alpha.Protocol.Alpha_context.Slot.t ->
  int option)
  * Operation_worker.candidate

Sourceval start_waiting_for_preattestation_quorum : Baking_state.state -> unit Lwt.t

Sourceval start_waiting_for_attestation_quorum : Baking_state.state -> unit Lwt.t

Source

val update_to_level : 
  Baking_state.state ->
  level_update ->
  (Baking_state.state * t) Tezos_base.TzPervasives.tzresult Lwt.t

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

Source

val compute_round : 
  Baking_state.proposal ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Round.round_durations ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Round.t
    Tezos_base.TzPervasives.tzresult

Source

val perform_action : 
  state_recorder:
    (new_state:Baking_state.state ->
      unit Tezos_base.TzPervasives.tzresult Lwt.t) ->
  Baking_state.state ->
  t ->
  Baking_state.state Tezos_base.TzPervasives.tzresult Lwt.t