Proto_cryptoboxes (tezos-dal-node-lib.Tezos_dal_node_lib.Proto

type cryptobox_with_precomputation

type t

type Tezos_base.TzPervasives.error +=

| No_cryptobox
| Cannot_register_shard_layout of {
1. msg : string;
}

val init : 
  cctxt:Rpc_context.t ->
  header:Tezos_base.TzPervasives.Block_header.t ->
  config:Configuration_file.t ->
  first_seen_level:int32 ->
  Profile_manager.t ->
  Proto_plugins.t ->
  t Tezos_base.TzPervasives.tzresult Lwt.t

init_~cctxt ~header ~config ~current_head_proto_parameters ~first_seen_level profile plugins returns the new proto_cryptoboxes state in which the cryptoboxes for each protocol known by the associated L1 node are initialized.

val add : 
  Tezos_dal_node_services.Types.proto_parameters ->
  level:int32 ->
  t ->
  t Tezos_base.TzPervasives.tzresult Lwt.t

add param ~level t adds a new proto_cryptobox which becomes registered at level and is expected to be used starting at this level.

val get_for_level : 
  level:int32 ->
  t ->
  (Tezos_crypto_dal.Cryptobox.t
   * Tezos_crypto_dal.Cryptobox.shards_proofs_precomputation option)
    Tezos_base.TzPervasives.tzresult

get_for_level ~level t returns the cryptobox that is associated to the given level.

val get_latest : 
  t ->
  (Tezos_crypto_dal.Cryptobox.t
   * Tezos_crypto_dal.Cryptobox.shards_proofs_precomputation option)
    Tezos_base.TzPervasives.tzresult

get_latest t returns the cryptobox registered for the highest block, that is expected to be used by the latest block.