Tezos_raw_protocol_alpha.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_alpha.Error_monad.tzresult
Tezos_protocol_environment_alpha.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_alpha.Error_monad.tzresult
Tezos_protocol_environment_alpha.Lwt.tval load_sampler_for_cycle :
Raw_context.t ->
Cycle_repr.t ->
Raw_context.t Tezos_protocol_environment_alpha.Error_monad.tzresult
Tezos_protocol_environment_alpha.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_for_cycle :
Raw_context.t ->
Cycle_repr.t ->
(Raw_context.t
* Tezos_protocol_environment_alpha.Int64.t
* (Delegate_consensus_key.pk * Tezos_protocol_environment_alpha.Int64.t)
list)
Tezos_protocol_environment_alpha.Error_monad.tzresult
Tezos_protocol_environment_alpha.Lwt.tstake_info_for_cycle ctxt cycle reads the stake info for cycle from ctxt if it has been previously initialized. Otherwise it initializes the sampler and caches it in ctxt with Raw_context.set_stake_info_for_cycle. Returns the updated context, the total staking power active for the cycle, and the list of all delegates with their respective active staking power.
val stake_info :
Raw_context.t ->
Level_repr.t ->
(Raw_context.t
* Tezos_protocol_environment_alpha.Int64.t
* (Delegate_consensus_key.pk * Tezos_protocol_environment_alpha.Int64.t)
list)
Tezos_protocol_environment_alpha.Error_monad.tzresult
Tezos_protocol_environment_alpha.Lwt.tSame as stake_info_for_cycle, but for the given level (uses the level's cycle)
val load_stake_info_for_cycle :
Raw_context.t ->
Cycle_repr.t ->
Raw_context.t Tezos_protocol_environment_alpha.Error_monad.tzresult
Tezos_protocol_environment_alpha.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_alpha.Error_monad.tzresult
Tezos_protocol_environment_alpha.Lwt.tval clear_outdated_sampling_data :
Raw_context.t ->
new_cycle:Cycle_repr.t ->
Raw_context.t Tezos_protocol_environment_alpha.Error_monad.tzresult
Tezos_protocol_environment_alpha.Lwt.tval select_distribution_for_cycle :
Raw_context.t ->
Cycle_repr.t ->
Raw_context.t Tezos_protocol_environment_alpha.Error_monad.tzresult
Tezos_protocol_environment_alpha.Lwt.tval attesting_power :
all_bakers_attest_enabled:bool ->
Raw_context.t ->
Level_repr.t ->
(Raw_context.t
* int64 Tezos_protocol_environment_alpha.Signature.Public_key_hash.Map.t)
Tezos_protocol_environment_alpha.Error_monad.tzresult
Tezos_protocol_environment_alpha.Lwt.tattesting_power ctxt level returns a map of the delegates to their attesting power for the given level. Fails if the given level is in a cycle for which the seed is not in the storage
val cleanup_values_for_protocol_t :
Raw_context.t ->
previous_consensus_rights_delay:int ->
consensus_rights_delay:int ->
new_cycle:Cycle_repr.t ->
Raw_context.t Tezos_protocol_environment_alpha.Error_monad.tzresult
Tezos_protocol_environment_alpha.Lwt.tmodule For_RPC : sig ... end