Baking (mavryk-protocol-002-PtBoreas.Mavryk_raw_protocol_002

type Mavryk_protocol_environment_002_PtBoreas.Error_monad.error +=

| Insufficient_attestation_power of {
1. attestation_power : int;
2. consensus_threshold : int;
}

type ordered_slots = private {

delegate : Mavryk_protocol_environment_002_PtBoreas.Signature.public_key_hash;
consensus_key : Mavryk_protocol_environment_002_PtBoreas.Signature.public_key_hash;
slots : Alpha_context.Slot.t list;

}

val attesting_rights : 
  Alpha_context.context ->
  Alpha_context.Level.t ->
  (Alpha_context.context
   * ordered_slots
       Mavryk_protocol_environment_002_PtBoreas.Signature.Public_key_hash.Map.t)
    Mavryk_protocol_environment_002_PtBoreas.Error_monad.tzresult
    Mavryk_protocol_environment_002_PtBoreas.Lwt.t

For a given level computes who has the right to include an attestation in the next block.

returns
map from delegates with such rights to their attesting slots, in increasing order.
This function is only used by the 'validators' RPC.

val attesting_rights_by_first_slot : 
  Alpha_context.context ->
  Alpha_context.Level.t ->
  (Alpha_context.context
   * (Alpha_context.Consensus_key.pk * int * int) Alpha_context.Slot.Map.t)
    Mavryk_protocol_environment_002_PtBoreas.Error_monad.tzresult
    Mavryk_protocol_environment_002_PtBoreas.Lwt.t

Computes attesting rights for a given level.

returns
map from allocated first slots to their owner's public key, consensus attesting power, and DAL attesting power.

val bonus_baking_reward : 
  Alpha_context.context ->
  attestation_power:int ->
  Alpha_context.Tez.t
    Mavryk_protocol_environment_002_PtBoreas.Error_monad.tzresult

Computes the bonus baking reward depending on the attestation power.