package tezos-shell

  1. Overview
  2. Docs

A newly received block is validated by replaying locally the block creation, applying each operation and its finalization to ensure their consistency. This module is stateless and creates and manipulates the prevalidation_state.

type 'protocol_operation operation = private {
  1. hash : Tezos_crypto.Operation_hash.t;
    (*

    Hash of an operation.

    *)
  2. raw : Tezos_base.Operation.t;
    (*

    Raw representation of an operation (from the point view of the shell).

    *)
  3. protocol : 'protocol_operation;
    (*

    Economic protocol specific data of an operation. It is the unserialized representation of raw.protocol_data. For convenience, the type associated to this type may be unit if we do not have deserialized the operation yet.

    *)
  4. count_successful_prechecks : int;
    (*

    This field provides an under-approximation for the number of times the operation has been successfully prechecked. It is an under-approximation because if the operation is e.g., parsed more than once, or is prechecked in other modes, this flag is not globally updated.

    *)
}
module type T = sig ... end
module Internal_for_tests : sig ... end
OCaml

Innovation. Community. Security.