package tezos-protocol-alpha

  1. Overview
  2. Docs
Tezos/Protocol: economic-protocol definition

Install

Dune Dependency

Authors

Maintainers

Sources

tezos-16.1.tar.gz
sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7
sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f

doc/tezos-protocol-alpha.raw/Tezos_raw_protocol_alpha/Validate_errors/Consensus/index.html

Module Validate_errors.ConsensusSource

Errors that may arise while validating a consensus operation.

Sourcetype consensus_operation_kind =
  1. | Preendorsement
  2. | Endorsement
  3. | Grandparent_endorsement
  4. | Dal_attestation
Sourcetype Tezos_protocol_environment_alpha.Error_monad.error +=
  1. | Zero_frozen_deposits of Tezos_protocol_environment_alpha.Signature.Public_key_hash.t
  2. | Consensus_operation_not_allowed
  3. | Consensus_operation_for_old_level of {
    1. kind : consensus_operation_kind;
    2. expected : Alpha_context.Raw_level.t;
    3. provided : Alpha_context.Raw_level.t;
    }
  4. | Consensus_operation_for_future_level of {
    1. kind : consensus_operation_kind;
    2. expected : Alpha_context.Raw_level.t;
    3. provided : Alpha_context.Raw_level.t;
    }
  5. | Consensus_operation_for_old_round of {
    1. kind : consensus_operation_kind;
    2. expected : Alpha_context.Round.t;
    3. provided : Alpha_context.Round.t;
    }
  6. | Consensus_operation_for_future_round of {
    1. kind : consensus_operation_kind;
    2. expected : Alpha_context.Round.t;
    3. provided : Alpha_context.Round.t;
    }
  7. | Wrong_consensus_operation_branch of {
    1. kind : consensus_operation_kind;
    2. expected : Tezos_protocol_environment_alpha.Block_hash.t;
    3. provided : Tezos_protocol_environment_alpha.Block_hash.t;
    }
  8. | Wrong_payload_hash_for_consensus_operation of {
    1. kind : consensus_operation_kind;
    2. expected : Block_payload_hash.t;
    3. provided : Block_payload_hash.t;
    }
  9. | Unexpected_preendorsement_in_block
  10. | Unexpected_endorsement_in_block
  11. | Preendorsement_round_too_high of {
    1. block_round : Alpha_context.Round.t;
    2. provided : Alpha_context.Round.t;
    }
  12. | Wrong_slot_used_for_consensus_operation of {
    1. kind : consensus_operation_kind;
    }
  13. | Conflicting_consensus_operation of {
    1. kind : consensus_operation_kind;
    2. conflict : operation_conflict;
    }

Errors for preendorsements and endorsements.

OCaml

Innovation. Community. Security.