package octez-protocol-alpha-libs

You can search for identifiers within the package.

in-package search v0.2.0

Octez protocol alpha libraries

Install

Dune Dependency

www.tezos.com Readme Edit opam file Versions (5)

Authors

T

Tezos devteam

Maintainers

C

contact@tezos.com

Sources

tezos-octez-v20.1.tag.bz2

sha256=ddfb5076eeb0b32ac21c1eed44e8fc86a6743ef18ab23fff02d36e365bb73d61

sha512=d22a827df5146e0aa274df48bc2150b098177ff7e5eab52c6109e867eb0a1f0ec63e6bfbb0e3645a6c2112de3877c91a17df32ccbff301891ce4ba630c997a65

doc/octez-protocol-alpha-libs.test-helpers/Tezos_alpha_test_helpers/State_ai_flags/Delayed_slashing/index.html

Module `State_ai_flags.Delayed_slashing`Source

This module takes care of choosing the denunciations that need to be applied at the end of a cycle. It depends on the flag ns_enable.

Sourceval enabled : State.t -> bool

Delayed_slashing is enabled iff ns_enable = true.

Source

val partition_slashes : 
  State.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Cycle.t ->
  (Tezos_base.TzPervasives.Signature.Public_key_hash.t
   * Tezos_protocol_alpha.Protocol.Denunciations_repr.item)
    list
  * (Tezos_base.TzPervasives.Signature.Public_key_hash.t
     * Tezos_protocol_alpha.Protocol.Denunciations_repr.item)
      list

partition_slashes s cycle returns a pair (l1,l2) of lists of slashes, partitioned from the state.pending_slashes. l2 is the list of slashes to apply at the end of the given cycle, and l1 is the rest (which should usually replace state.pending_slashes)