package tezos-protocol-018-Proxford

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

This module maintains the storage related to forbidden delegates. It is responsible for maintaining the Storage.Tenderbake.Forbidden_delegates table.

val is_forbidden : 
  Raw_context.t ->
  Tezos_protocol_environment_018_Proxford.Signature.Public_key_hash.t ->
  bool

is_forbidden ctxt delegate returns true if the given delegate is forbidden to bake or attest. This means that its current frozen deposit is equal to zero. Returns false otherwise.

val may_forbid : 
  Raw_context.t ->
  Tezos_protocol_environment_018_Proxford.Signature.Public_key_hash.t ->
  current_cycle:Cycle_repr.t ->
  Storage.Slashed_deposits_history.t ->
  (Raw_context.t * bool) Tezos_protocol_environment_018_Proxford.Lwt.t

may_forbid ctxt delegate ~current_cycle slash_history checks the forbidding criteria based on current_cycle and slash_history and, if required, adds delegate to the set of forbidden delegates and stores the updated set, which prevents this delegate from baking or attesting.

Beside the new context, it returns a boolean that is true if the delegate has actually been forbidden.

val load : 
  Raw_context.t ->
  Raw_context.t Tezos_protocol_environment_018_Proxford.Error_monad.tzresult
    Tezos_protocol_environment_018_Proxford.Lwt.t

load ctxt reads from the storage the saved set of forbidden delegates and sets the raw context's in-memory cached value.

val update_at_cycle_end : 
  Raw_context.t ->
  new_cycle:Cycle_repr.t ->
  Raw_context.t Tezos_protocol_environment_018_Proxford.Error_monad.tzresult
    Tezos_protocol_environment_018_Proxford.Lwt.t

val init_for_genesis_and_oxford : 
  Raw_context.t ->
  Raw_context.t Tezos_protocol_environment_018_Proxford.Error_monad.tzresult
    Tezos_protocol_environment_018_Proxford.Lwt.t