tezos-baking-alpha 12.3 · OCaml Package

type state = {

cctxt : Tezos_client_alpha.Protocol_client_context.full;
chain : Tezos_shell_services.Chain_services.chain;
constants : Tezos_protocol_alpha.Protocol.Alpha_context.Constants.t;
config : Baking_configuration.nonce_config;
nonces_location : [ `Nonce ] Baking_files.location;
mutable last_predecessor : Tezos_crypto.Block_hash.t;

}

type t = state

type nonces =
  Tezos_protocol_alpha.Protocol.Alpha_context.Nonce.t
    Tezos_crypto.Block_hash.Map.t

val empty : 
  Tezos_protocol_alpha.Protocol.Alpha_context.Nonce.t
    Tezos_crypto.Block_hash.Map.t

val encoding : 
  Tezos_protocol_alpha.Protocol.Alpha_context.Nonce.t
    Tezos_crypto.Block_hash.Map.t
    Data_encoding.t

val load : 
  Tezos_client_base.Client_context.wallet ->
  [< `Highwatermarks | `Nonce | `State ] Baking_files.location ->
  (Tezos_protocol_alpha.Protocol.Alpha_context.Nonce.t
     Tezos_crypto.Block_hash.Map.t,
    Tezos_error_monad.TzCore.error list)
    result
    Lwt.t

val save : 
  Tezos_client_base.Client_context.wallet ->
  [< `Highwatermarks | `Nonce | `State ] Baking_files.location ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Nonce.t
    Tezos_crypto.Block_hash.Map.t ->
  (unit, Tezos_error_monad.TzCore.error list) result Lwt.t

val mem : 
  Tezos_protocol_alpha.Protocol.Alpha_context.Nonce.t
    Tezos_crypto.Block_hash.Map.t ->
  Tezos_crypto.Block_hash.t ->
  bool

val find_opt : 
  Tezos_protocol_alpha.Protocol.Alpha_context.Nonce.t
    Tezos_crypto.Block_hash.Map.t ->
  Tezos_crypto.Block_hash.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Nonce.t option

val get_block_level_opt : 
  Tezos_rpc.RPC_context.simple ->
  chain:Tezos_shell_services.Block_services.chain ->
  block:Tezos_shell_services.Block_services.block ->
  int32 option Lwt.t

val get_outdated_nonces : 
  t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Nonce.t
    Tezos_crypto.Block_hash.Map.t ->
  (Tezos_protocol_alpha.Protocol.Alpha_context.Nonce.t
     Tezos_crypto.Block_hash.Map.t
   * Tezos_protocol_alpha.Protocol.Alpha_context.Nonce.t
       Tezos_crypto.Block_hash.Map.t,
    Tezos_error_monad.TzCore.error list)
    result
    Lwt.t

val filter_outdated_nonces : 
  t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Nonce.t
    Tezos_crypto.Block_hash.Map.t ->
  (Tezos_protocol_alpha.Protocol.Alpha_context.Nonce.t
     Tezos_crypto.Block_hash.Map.t,
    Tezos_error_monad.TzCore.error list)
    result
    Lwt.t

val blocks_from_current_cycle : 
  t ->
  Tezos_shell_services.Block_services.block ->
  ?offset:int32 ->
  unit ->
  (Tezos_crypto.Block_hash.t list, Tezos_error_monad.TzCore.error list) result
    Lwt.t

val get_unrevealed_nonces : 
  t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Nonce.t
    Tezos_crypto.Block_hash.Map.t ->
  ((Tezos_protocol_alpha.Protocol.Alpha_context.Raw_level.t
    * Tezos_protocol_alpha.Protocol.Alpha_context.Nonce.t)
     list,
    Tezos_error_monad.TzCore.error list)
    result
    Lwt.t

val generate_seed_nonce : 
  Baking_configuration.nonce_config ->
  Baking_state.delegate ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Raw_level.t ->
  (Tezos_protocol_alpha.Protocol.Nonce_hash.t
   * Tezos_protocol_alpha.Protocol.Alpha_context.Nonce.t,
    Tezos_error_monad.TzCore.error list)
    result
    Lwt.t

val register_nonce : 
  Tezos_client_alpha.Protocol_client_context.full ->
  chain_id:Tezos_crypto.Chain_id.t ->
  Tezos_crypto.Block_hash.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Nonce.t ->
  (unit, Tezos_error_monad.TzCore.error list) result Lwt.t

val inject_seed_nonce_revelation : 
  Tezos_client_alpha.Protocol_client_context.full ->
  chain:Tezos_shell_services.Chain_services.chain ->
  block:Tezos_shell_services.Block_services.block ->
  branch:Tezos_crypto.Block_hash.t ->
  (Tezos_protocol_alpha.Protocol.Alpha_context.Raw_level.t
   * Tezos_protocol_alpha.Protocol.Alpha_context.Nonce.t)
    list ->
  (unit, Tezos_error_monad.TzCore.error list) result Lwt.t

val reveal_potential_nonces : 
  t ->
  Baking_state.proposal ->
  (unit, Tezos_error_monad.TzCore.error list) result Lwt.t

val start_revelation_worker : 
  Tezos_client_alpha.Protocol_client_context.full ->
  Baking_configuration.nonce_config ->
  Tezos_crypto.Chain_id.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Constants.t ->
  Baking_state.proposal Lwt_stream.t ->
  Lwt_canceler.t Lwt.t

package tezos-baking-alpha