Baking (mavryk-protocol-001-PtAtLas.Mavryk_raw_protocol_001

type Mavryk_protocol_environment_001_PtAtLas.Error_monad.error +=

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

type ordered_slots = private {

delegate : Mavryk_protocol_environment_001_PtAtLas.Signature.public_key_hash;
consensus_key : Mavryk_protocol_environment_001_PtAtLas.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_001_PtAtLas.Signature.Public_key_hash.Map.t)
    Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresult
    Mavryk_protocol_environment_001_PtAtLas.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) Alpha_context.Slot.Map.t)
    Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresult
    Mavryk_protocol_environment_001_PtAtLas.Lwt.t

Computes attesting rights for a given level.

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

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

Computes the bonus baking reward depending on the attestation power.