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-16.1.tar.gz
sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7
sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f

doc/tezos-protocol-012-Psithaca.raw/Tezos_raw_protocol_012_Psithaca/Block_header_repr/index.html

Module Tezos_raw_protocol_012_Psithaca.Block_header_reprSource

Representation of block headers.

Sourcetype contents = {
  1. payload_hash : Block_payload_hash.t;
  2. payload_round : Round_repr.t;
  3. seed_nonce_hash : Nonce_hash.t option;
  4. proof_of_work_nonce : bytes;
  5. liquidity_baking_escape_vote : bool;
}
Sourcetype protocol_data = {
  1. contents : contents;
  2. signature : Tezos_protocol_environment_012_Psithaca.Signature.t;
}
Sourcetype block_header = t
Sourceval raw : block_header -> raw
Sourcetype block_watermark =
  1. | Block_header of Tezos_protocol_environment_012_Psithaca.Chain_id.t
Sourceval max_header_length : int

The maximum size of block headers in bytes

Sourcetype Tezos_protocol_environment_012_Psithaca.Error_monad.error +=
  1. | Invalid_block_signature of Tezos_protocol_environment_012_Psithaca.Block_hash.t * Tezos_protocol_environment_012_Psithaca.Signature.Public_key_hash.t
  2. | Invalid_stamp
  3. | Invalid_payload_hash of {
    1. expected : Block_payload_hash.t;
    2. provided : Block_payload_hash.t;
    }
  4. | Locked_round_after_block_round of {
    1. locked_round : Round_repr.t;
    2. round : Round_repr.t;
    }
  5. | Invalid_payload_round of {
    1. payload_round : Round_repr.t;
    2. round : Round_repr.t;
    }
  6. | Insufficient_locked_round_evidence of {
    1. voting_power : int;
    2. consensus_threshold : int;
    }
  7. | Invalid_commitment of {
    1. expected : bool;
    }
Sourcemodule Proof_of_work : sig ... end

Checks if the header that would be built from the given components is valid for the given difficulty. The signature is not passed as it is does not impact the proof-of-work stamp. The stamp is checked on the hash of a block header whose signature has been zeroed-out.

check_timestamp ctxt timestamp round predecessor_timestamp predecessor_round verifies that the block's timestamp and round are coherent with the predecessor block's timestamp and round. Fails with an error if that is not the case.

Sourceval begin_validate_block_header : block_header:t -> chain_id:Tezos_protocol_environment_012_Psithaca.Chain_id.t -> predecessor_timestamp:Tezos_protocol_environment_012_Psithaca.Time.t -> predecessor_round:Round_repr.t -> fitness:Fitness_repr.t -> timestamp:Tezos_protocol_environment_012_Psithaca.Time.t -> delegate_pk:Tezos_protocol_environment_012_Psithaca.Signature.public_key -> round_durations:Round_repr.Durations.t -> proof_of_work_threshold:int64 -> expected_commitment:bool -> unit Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult
Sourcetype locked_round_evidence = {
  1. preendorsement_round : Round_repr.t;
  2. preendorsement_count : int;
}
Sourcetype checkable_payload_hash =
  1. | No_check
  2. | Expected_payload_hash of Block_payload_hash.t
Sourceval finalize_validate_block_header : block_header_contents:contents -> round:Round_repr.t -> fitness:Fitness_repr.t -> checkable_payload_hash:checkable_payload_hash -> locked_round_evidence:locked_round_evidence option -> consensus_threshold:int -> unit Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult