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 table.

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_endorsing : 
  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 preendorsing or double endorsing for the given level.

Source

val punish_double_endorsing : 
  Raw_context.t ->
  Tezos_protocol_environment_alpha.Signature.Public_key_hash.t ->
  Level_repr.t ->
  (Raw_context.t * Tez_repr.t * Receipt_repr.balance_updates)
    Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Burn some frozen deposit for a delegate at a given level and record in the context that the given delegate has now been slashed for double endorsing for the given level.

Returns the burned amount.

Fails with Unrequired_denunciation if the given delegate has already been slashed for double endorsing for the given level.

Source

val punish_double_baking : 
  Raw_context.t ->
  Tezos_protocol_environment_alpha.Signature.Public_key_hash.t ->
  Level_repr.t ->
  (Raw_context.t * Tez_repr.t * Receipt_repr.balance_updates)
    Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Burn some frozen deposit for a delegate at a given level and record in the context that the given delegate has now been slashed for double baking for the given level.

Returns the burned amount.

Fails with Unrequired_denunciation if the given delegate has already been slashed for double baking 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

package tezos-protocol-alpha

Module Tezos_raw_protocol_alpha.Delegate_slashed_deposits_storageSource

Module `Tezos_raw_protocol_alpha.Delegate_slashed_deposits_storage`Source