Module `Tezos_baking_018_Proxford.Baking_actions`Source

Sourcetype action =

| Do_nothing
| Prepare_block of {
1. block_to_bake : Baking_state.block_to_bake;
}
| Prepare_preattestations of {
1. preattestations : Baking_state.unsigned_consensus_vote_batch;
}
| Prepare_attestations of {
1. attestations : Baking_state.unsigned_consensus_vote_batch;
}
| Prepare_consensus_votes of {
1. preattestations : Baking_state.unsigned_consensus_vote_batch;
2. attestations : Baking_state.unsigned_consensus_vote_batch;
}
| Inject_block of {
1. prepared_block : Baking_state.prepared_block;
2. force_injection : bool;
3. asynchronous : bool;
}
| Inject_preattestation of {
1. signed_preattestation : Baking_state.signed_consensus_vote;
}
| Inject_attestations of {
1. signed_attestations : Baking_state.signed_consensus_vote_batch;
}
| Update_to_level of level_update
| Synchronize_round of round_update
| Watch_prequorum
| Watch_quorum

Sourceand level_update = {

new_level_proposal : Baking_state.proposal;
compute_new_state : current_round: Tezos_protocol_018_Proxford.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

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

Source

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

Source

val prepare_block : 
  Baking_state.global_state ->
  Baking_state.block_to_bake ->
  Baking_state.prepared_block Tezos_base.TzPervasives.tzresult Lwt.t

Source

val inject_block : 
  ?force_injection:bool ->
  ?asynchronous:bool ->
  Baking_state.state ->
  Baking_state.prepared_block ->
  Baking_state.state Tezos_base.TzPervasives.tzresult Lwt.t

Source

val authorized_consensus_votes : 
  Baking_state.global_state ->
  Baking_state.unsigned_consensus_vote_batch ->
  Baking_state.unsigned_consensus_vote list Tezos_base.TzPervasives.tzresult
    Lwt.t

Source

val forge_and_sign_consensus_vote : 
  Baking_state.global_state ->
  branch:Tezos_base.TzPervasives.Block_hash.t ->
  Baking_state.unsigned_consensus_vote ->
  Baking_state.signed_consensus_vote Tezos_base.TzPervasives.tzresult Lwt.t

Source

val sign_consensus_votes : 
  Baking_state.global_state ->
  Baking_state.unsigned_consensus_vote_batch ->
  Baking_state.signed_consensus_vote_batch Tezos_base.TzPervasives.tzresult
    Lwt.t

Source

val inject_consensus_votes : 
  Baking_state.state ->
  Baking_state.signed_consensus_vote_batch ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

Source

val sign_dal_attestations : 
  Baking_state.state ->
  (Baking_state.consensus_key_and_delegate
   * Tezos_protocol_018_Proxford.Protocol.Alpha_context.Dal.Attestation.operation
   * int32)
    list ->
  (Baking_state.consensus_key_and_delegate
   * Tezos_protocol_018_Proxford.Protocol.Alpha_context.packed_operation
   * Tezos_protocol_018_Proxford.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_018_Proxford.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_018_Proxford.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

Source

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

Source

val perform_action : 
  Baking_state.state ->
  t ->
  Baking_state.state Tezos_base.TzPervasives.tzresult Lwt.t

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module `Tezos_baking_018_Proxford.Baking_actions`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_actions/index.html

Module Tezos_baking_018_Proxford.Baking_actionsSource

Module `Tezos_baking_018_Proxford.Baking_actions`Source