package tezos-protocol-019-PtParisB

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

This module is responsible for ensuring that a delegate doesn't get slashed twice for the same offense. To do so, it maintains the Storage.Already_denounced table, which tracks which denunciations have already been seen in blocks.

A denunciation is uniquely characterized by the delegate (the culprit), the level and round of the duplicate block or (pre)attestation, and the Misbehaviour_repr.kind (double baking/attesting/preattesting).

Invariant: Storage.Already_denounced is empty for cycles equal to current_cycle - max_slashing_period or older. Indeed, such denunciations are no longer allowed (see Anonymous.check_denunciation_age in Validate) so there is no need to track them anymore.

val already_denounced : 
  Raw_context.t ->
  Tezos_protocol_environment_019_PtParisB.Signature.Public_key_hash.t ->
  Level_repr.t ->
  Round_repr.t ->
  Misbehaviour_repr.kind ->
  bool Tezos_protocol_environment_019_PtParisB.Error_monad.tzresult
    Tezos_protocol_environment_019_PtParisB.Lwt.t

Returns true if the given delegate has already been denounced for the given misbehaviour kind at the given level and round.

val add_denunciation : 
  Raw_context.t ->
  Tezos_protocol_environment_019_PtParisB.Signature.public_key_hash ->
  Level_repr.t ->
  Round_repr.t ->
  Misbehaviour_repr.kind ->
  (Raw_context.t * bool)
    Tezos_protocol_environment_019_PtParisB.Error_monad.tzresult
    Tezos_protocol_environment_019_PtParisB.Lwt.t

Records a denunciation in Storage.Already_denounced.

Returns a pair (ctxt, already_denounced), where already_denounced is a boolean indicating whether the denunciation was already recorded in the storage previously.

When already_denounced is true, the returned ctxt is actually the unchanged context argument.

Precondition: the given level should be more recent than current_cycle - max_slashing_period in order to maintain the invariant on the age of tracked denunciations. Fortunately, this is already enforced in Validate by Anonymous.check_denunciation_age.

val clear_outdated_cycle : 
  Raw_context.t ->
  new_cycle:Cycle_repr.t ->
  Raw_context.t Tezos_protocol_environment_019_PtParisB.Lwt.t

Clear Storage.Already_denounced for the cycle new_cycle - max_slashing_period. Indeed, denunciations on events which happened during this cycle are no longer allowed anyway.