package octez-protocol-alpha-libs

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

Module Slashing_helpers.Misbehaviour_reprSource

Helpers related to Protocol.Misbehaviour_repr.

Sourceval pp : Format.formatter -> Tezos_protocol_alpha.Protocol.Misbehaviour_repr.t -> unit
Sourceval from_duplicate_operation : 'kind Tezos_protocol_alpha.Protocol.Alpha_context.Kind.consensus Tezos_protocol_alpha.Protocol.Alpha_context.operation -> Tezos_protocol_alpha.Protocol.Misbehaviour_repr.t

Builds a misbehaviour object from either of the duplicate (pre)attestations that constitute a double (pre)attestating event.

Sourceval check_from_duplicate_operation : loc:string -> Tezos_raw_protocol_alpha.Misbehaviour_repr.t -> 'kind Tezos_protocol_alpha.Protocol.Alpha_context.Kind.consensus Tezos_protocol_alpha.Protocol.Alpha_context.operation -> unit Tezos_base.TzPervasives.tzresult Lwt.t

check_from_duplicate_operation ~loc misbehaviour duplicate_op asserts that misbehaviour correctly describes a double signing event involving duplicate_op.

Sourceval from_duplicate_block : Block.t -> Tezos_protocol_alpha.Protocol.Misbehaviour_repr.t Tezos_base.TzPervasives.tzresult

Builds a misbehaviour object from either of the duplicate blocks that constitute a double baking event.

OCaml

Innovation. Community. Security.