package tezos-protocol-007-PsDELPH1

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

Install 

dune-project
 Dependency

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

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

Sources

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

doc/tezos-protocol-007-PsDELPH1.raw/Tezos_raw_protocol_007_PsDELPH1/Main/index.html

Module Tezos_raw_protocol_007_PsDELPH1.MainSource

Tezos Protocol Implementation - Protocol Signature Instance

Sourcetype validation_mode =
  1. | Application of {
    1. block_header : Alpha_context.Block_header.t;
    2. baker : Alpha_context.public_key_hash;
    3. block_delay : Alpha_context.Period.t;
    }
  2. | Partial_application of {
    1. block_header : Alpha_context.Block_header.t;
    2. baker : Alpha_context.public_key_hash;
    3. block_delay : Alpha_context.Period.t;
    }
  3. | Partial_construction of {
    1. predecessor : Tezos_protocol_environment_007_PsDELPH1.Block_hash.t;
    }
  4. | Full_construction of {
    1. predecessor : Tezos_protocol_environment_007_PsDELPH1.Block_hash.t;
    2. protocol_data : Alpha_context.Block_header.contents;
    3. baker : Alpha_context.public_key_hash;
    4. block_delay : Alpha_context.Period.t;
    }
Sourcetype validation_state = {
  1. mode : validation_mode;
  2. chain_id : Tezos_protocol_environment_007_PsDELPH1.Chain_id.t;
  3. ctxt : Alpha_context.t;
  4. op_count : int;
}
include Tezos_protocol_environment_007_PsDELPH1.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 := validation_state
Sourceval max_block_length : int
Sourceval max_operation_data_length : int
Sourcetype block_header_metadata = Apply_results.block_metadata
Sourceval acceptable_passes : operation -> int list
Sourceval compare_operations : operation -> operation -> int