package tezos-protocol-020-PsParisC

  1. Overview
  2. Docs
package tezos-protocol-020-PsParisC
Legend:
Library
Module
Module type
Parameter
Class
Class type

Tezos Protocol Implementation - Protocol Signature Instance

This module is the entrypoint to the protocol for shells and other embedders. This signature is an instance of the Updater.PROTOCOL signature from the Protocol Environment.

Each Protocol depends on a version of the Protocol Environment. For the currently developed protocol, this is normally the latest version. You can see the full list of versions here.

For details on how Protocol and Environment interact, see this overview.

include Tezos_protocol_environment_020_PsParisC.Updater.PROTOCOL with type block_header_data = Alpha_context.Block_header.protocol_data and type block_header_metadata = Apply_results.block_metadata and type block_header = Alpha_context.Block_header.t and type operation_data := operation_data and type operation_receipt = Apply_results.packed_operation_metadata and type operation := operation and type validation_state = Validate.validation_state and type application_state = Apply.application_state
val max_block_length : int
val max_operation_data_length : int
type block_header_metadata = Apply_results.block_metadata
val block_header_metadata_encoding_with_legacy_attestation_name : block_header_metadata Tezos_protocol_environment_020_PsParisC.Data_encoding.t
val operation_data_encoding_with_legacy_attestation_name : operation_data Tezos_protocol_environment_020_PsParisC.Data_encoding.t
val operation_receipt_encoding_with_legacy_attestation_name : operation_receipt Tezos_protocol_environment_020_PsParisC.Data_encoding.t
val operation_data_and_receipt_encoding_with_legacy_attestation_name : (operation_data * operation_receipt) Tezos_protocol_environment_020_PsParisC.Data_encoding.t
val acceptable_pass : operation -> int option
type mode =
  1. | Application of block_header
  2. | Partial_validation of block_header
  3. | Construction of {
    1. predecessor_hash : Tezos_protocol_environment_020_PsParisC.Block_hash.t;
    2. timestamp : Tezos_protocol_environment_020_PsParisC.Time.t;
    3. block_header_data : block_header_data;
    }
  4. | Partial_construction of {
    1. predecessor_hash : Tezos_protocol_environment_020_PsParisC.Block_hash.t;
    2. timestamp : Tezos_protocol_environment_020_PsParisC.Time.t;
    }
type validation_state = Validate.validation_state
type application_state = Apply.application_state
module Mempool : sig ... end
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct