package tezos-protocol-alpha

You can search for identifiers within the package.

in-package search v0.2.0

tezos-protocol-alpha

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Tezos_raw_protocol_alpha.Delegate_slashed_deposits_storage`Source

This module maintains the storage related to slashing of delegates for double signing. In particular, it is responsible for maintaining the Storage.Slashed_deposits, Storage.Contract.Slashed_deposits, and Storage.Current_cycle_denunciations tables.

Source

val already_slashed_for_double_baking : 
  Raw_context.t ->
  Tezos_protocol_environment_alpha.Signature.Public_key_hash.t ->
  Level_repr.t ->
  bool Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Returns true if the given delegate has already been slashed for double baking for the given level.

Source

val already_slashed_for_double_attesting : 
  Raw_context.t ->
  Tezos_protocol_environment_alpha.Signature.Public_key_hash.t ->
  Level_repr.t ->
  bool Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Returns true if the given delegate has already been slashed for double preattesting or double attesting for the given level.

Sourcetype reward_and_burn = {

reward : Tez_repr.t;
amount_to_burn : Tez_repr.t;

}

The reward_and_burn type embeds amounts involved when slashing a delegate for double attesting or double baking.

Sourcetype punishing_amounts = {

staked : reward_and_burn;
unstaked : (Cycle_repr.t * reward_and_burn) list;

}

The punishing_amounts type embeds amounts involved when slashing a delegate for double attesting or double baking.

Source

val punish_double_signing : 
  Raw_context.t ->
  operation_hash:Tezos_protocol_environment_alpha.Operation_hash.t ->
  Misbehaviour.t ->
  Tezos_protocol_environment_alpha.Signature.Public_key_hash.t ->
  Level_repr.t ->
  rewarded:Tezos_protocol_environment_alpha.Signature.public_key_hash ->
  (Raw_context.t * bool) Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Record in the context that the given delegate has now been slashed for double signing for the given misbehaviour for the given level and return the amounts to burn and to reward. If the delegate has no remaining frozen deposits, this will also forbid it to bake or attest until a new deposit is frozen.

Fails with Unrequired_denunciation if the given delegate has already been slashed for the same misbehaviour for the given level.

Source

val clear_outdated_slashed_deposits : 
  Raw_context.t ->
  new_cycle:Cycle_repr.t ->
  Raw_context.t Tezos_protocol_environment_alpha.Lwt.t

Source

val apply_and_clear_current_cycle_denunciations : 
  Raw_context.t ->
  (Raw_context.t
   * Int_percentage.t
       Tezos_protocol_environment_alpha.Signature.Public_key_hash.Map.t
   * Receipt_repr.balance_updates)
    Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

package tezos-protocol-alpha

Module Tezos_raw_protocol_alpha.Delegate_slashed_deposits_storageSource

Module `Tezos_raw_protocol_alpha.Delegate_slashed_deposits_storage`Source