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.raw/Tezos_raw_protocol_012_Psithaca/Alpha_context/Block_header/index.html

Module Alpha_context.Block_headerSource

Sourcetype contents = {
  1. payload_hash : Block_payload_hash.t;
  2. payload_round : Round.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
Sourcetype block_watermark =
  1. | Block_header of Tezos_protocol_environment_012_Psithaca.Chain_id.t
Sourcemodule Proof_of_work : sig ... end
Sourceval raw : block_header -> raw
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;
    }
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.t -> fitness:Fitness.t -> timestamp:Tezos_protocol_environment_012_Psithaca.Time.t -> delegate_pk:Tezos_protocol_environment_012_Psithaca.Signature.public_key -> round_durations:Round.round_durations -> 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.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.t -> fitness:Fitness.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