Tezos_raw_protocol_023_PtSeouLo.Delegate_samplerThis module draws random values for a cycle based on the Seed_repr.seed associated that cycle. These random values are only delegates associated with slots. The selection of delegates is done by sampling from a particular distribution of the stake among the active delegates.
This module is responsible for maintaining the table Storage.Delegate_sampler_state.
val slot_owner :
Raw_context.t ->
Level_repr.t ->
Slot_repr.t ->
(Raw_context.t * Delegate_consensus_key.pk)
Tezos_protocol_environment_023_PtSeouLo.Error_monad.tzresult
Tezos_protocol_environment_023_PtSeouLo.Lwt.tParticipation slots potentially associated to accounts. The accounts that didn't place a deposit will be excluded from this list. This function should only be used to compute the deposits to freeze or initialize the protocol while stitching. RPCs can use this function to predict an approximation of long term future slot allocations. It shouldn't be used in the baker.
val baking_rights_owner :
Raw_context.t ->
Level_repr.t ->
round:Round_repr.round ->
(Raw_context.t * Slot_repr.t * Delegate_consensus_key.pk)
Tezos_protocol_environment_023_PtSeouLo.Error_monad.tzresult
Tezos_protocol_environment_023_PtSeouLo.Lwt.tval load_sampler_for_cycle :
Raw_context.t ->
Cycle_repr.t ->
Raw_context.t Tezos_protocol_environment_023_PtSeouLo.Error_monad.tzresult
Tezos_protocol_environment_023_PtSeouLo.Lwt.tload_sampler_for_cycle ctxt cycle caches the seeded stake sampler for cycle in ctxt. If the sampler was already cached, then ctxt is returned unchanged.
This function has the same effect on ctxt as slot_owner and baking_rights_owner.
val stake_info :
Raw_context.t ->
Level_repr.t ->
(Raw_context.t
* Tezos_protocol_environment_023_PtSeouLo.Int64.t
* (Delegate_consensus_key.pk
* Tezos_protocol_environment_023_PtSeouLo.Int64.t)
list)
Tezos_protocol_environment_023_PtSeouLo.Error_monad.tzresult
Tezos_protocol_environment_023_PtSeouLo.Lwt.tval load_stake_info_for_cycle :
Raw_context.t ->
Cycle_repr.t ->
Raw_context.t Tezos_protocol_environment_023_PtSeouLo.Error_monad.tzresult
Tezos_protocol_environment_023_PtSeouLo.Lwt.tload_stake_info_for_cycle ctxt cycle caches the stake info for cycle in ctxt. If the stake info was already cached, then ctxt is returned unchanged.
This function has the same effect on ctxt as stake_info
val select_new_distribution_at_cycle_end :
Raw_context.t ->
new_cycle:Cycle_repr.t ->
Raw_context.t Tezos_protocol_environment_023_PtSeouLo.Error_monad.tzresult
Tezos_protocol_environment_023_PtSeouLo.Lwt.tval clear_outdated_sampling_data :
Raw_context.t ->
new_cycle:Cycle_repr.t ->
Raw_context.t Tezos_protocol_environment_023_PtSeouLo.Error_monad.tzresult
Tezos_protocol_environment_023_PtSeouLo.Lwt.tval select_distribution_for_cycle :
Raw_context.t ->
Cycle_repr.t ->
Raw_context.t Tezos_protocol_environment_023_PtSeouLo.Error_monad.tzresult
Tezos_protocol_environment_023_PtSeouLo.Lwt.tval attesting_rights_count :
Raw_context.t ->
Level_repr.t ->
(Raw_context.t
* int
Tezos_protocol_environment_023_PtSeouLo.Signature.Public_key_hash.Map.t)
Tezos_protocol_environment_023_PtSeouLo.Error_monad.tzresult
Tezos_protocol_environment_023_PtSeouLo.Lwt.tattesting_rights_count ctxt level returns a map of the delegates to their number of attestation slots for the given level. Fails if the given level is in a cycle for which the seed is not in the storage
val check_all_bakers_attest_at_level : Raw_context.t -> Level_repr.t -> boolcheck_all_bakers_attest_at_level ctxt level checks that at the given level, all bakers were allowed (and expected) to attest.
module For_RPC : sig ... end