package tezos-protocol-016-PtMumbai

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

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.

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

Returns true if the given delegate has already been slashed for double preendorsing or double endorsing for the given level.

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.

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.

val clear_outdated_slashed_deposits : Raw_context.t -> new_cycle:Cycle_repr.t -> Raw_context.t Tezos_protocol_environment_016_PtMumbai.Lwt.t
OCaml

Innovation. Community. Security.