package tezos-protocol-012-Psithaca

  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-17.3.tar.gz
sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680
sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc

doc/tezos-protocol-012-Psithaca/Tezos_protocol_012_Psithaca/Protocol/index.html

Module Tezos_protocol_012_Psithaca.ProtocolSource

Sourceval hash : Tezos_crypto.Hashed.Protocol_hash.t
Sourceval name : string
include module type of struct include Tezos_raw_protocol_012_Psithaca end
include module type of struct include Tezos_raw_protocol_012_Psithaca.Main end
Sourcetype validation_mode = Tezos_raw_protocol_012_Psithaca.Main.validation_mode =
  1. | Application of {
    1. block_header : Tezos_raw_protocol_012_Psithaca.Alpha_context.Block_header.t;
    2. fitness : Tezos_raw_protocol_012_Psithaca.Alpha_context.Fitness.t;
    3. payload_producer : Tezos_raw_protocol_012_Psithaca.Alpha_context.public_key_hash;
    4. block_producer : Tezos_raw_protocol_012_Psithaca.Alpha_context.public_key_hash;
    5. predecessor_round : Tezos_raw_protocol_012_Psithaca.Alpha_context.Round.t;
    6. predecessor_level : Tezos_raw_protocol_012_Psithaca.Alpha_context.Level.t;
    }
  2. | Partial_application of {
    1. block_header : Tezos_raw_protocol_012_Psithaca.Alpha_context.Block_header.t;
    2. fitness : Tezos_raw_protocol_012_Psithaca.Alpha_context.Fitness.t;
    3. payload_producer : Tezos_raw_protocol_012_Psithaca.Alpha_context.public_key_hash;
    4. block_producer : Tezos_raw_protocol_012_Psithaca.Alpha_context.public_key_hash;
    5. predecessor_level : Tezos_raw_protocol_012_Psithaca.Alpha_context.Level.t;
    6. predecessor_round : Tezos_raw_protocol_012_Psithaca.Alpha_context.Round.t;
    }
  3. | Partial_construction of {
    1. predecessor : Tezos_protocol_environment_012_Psithaca.Block_hash.t;
    2. predecessor_fitness : Tezos_protocol_environment_012_Psithaca.Fitness.t;
    3. predecessor_level : Tezos_raw_protocol_012_Psithaca.Alpha_context.Level.t;
    4. predecessor_round : Tezos_raw_protocol_012_Psithaca.Alpha_context.Round.t;
    }
  4. | Full_construction of {
    1. predecessor : Tezos_protocol_environment_012_Psithaca.Block_hash.t;
    2. payload_producer : Tezos_raw_protocol_012_Psithaca.Alpha_context.public_key_hash;
    3. block_producer : Tezos_raw_protocol_012_Psithaca.Alpha_context.public_key_hash;
    4. protocol_data_contents : Tezos_raw_protocol_012_Psithaca.Alpha_context.Block_header.contents;
    5. level : Tezos_protocol_environment_012_Psithaca.Int32.t;
    6. round : Tezos_raw_protocol_012_Psithaca.Alpha_context.Round.t;
    7. predecessor_level : Tezos_raw_protocol_012_Psithaca.Alpha_context.Level.t;
    8. predecessor_round : Tezos_raw_protocol_012_Psithaca.Alpha_context.Round.t;
    }

check_manager_signature validation_state op raw_operation The function starts by retrieving the public key hash pkh of the manager operation. In case the operation is batched, the function also checks that the sources are all the same. Once the pkh is retrieved, the function looks for its associated public key. For that, the manager operation is inspected to check if it contains a public key revelation. If not, the public key is searched in the context.

  • returns

    Error Invalid_signature if the signature check fails

  • returns

    Error Unrevealed_manager_key if the manager has not yet been revealed

  • returns

    Error Failure "get_manager_key" if the key is not found in the context

  • returns

    Error Inconsistent_sources if the operations in a batch are not from the same manager

precheck_manager validation_state op returns () if the manager operation op is solveable, returns an error otherwise. An operation is solveable if it is well-formed and can pay the fees to be included in a block with either a success or a failure status. This function uses Apply.precheck_manager_contents_list but discard the context and balance update

include Tezos_protocol_environment_012_Psithaca.Updater.PROTOCOL with type block_header_data = Tezos_raw_protocol_012_Psithaca.Alpha_context.Block_header.protocol_data and type block_header_metadata = Tezos_raw_protocol_012_Psithaca.Apply_results.block_metadata and type block_header = Tezos_raw_protocol_012_Psithaca.Alpha_context.Block_header.t and type operation_data := operation_data and type operation_receipt = Tezos_raw_protocol_012_Psithaca.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
Sourceval acceptable_passes : operation -> int list
Sourceval relative_position_within_block : operation -> operation -> int