package tezos-protocol-014-PtKathma

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

This module re-exports definitions from Block_header_repr.

type 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_toggle_vote : Liquidity_baking_repr.liquidity_baking_toggle_vote;
}
type protocol_data = {
  1. contents : contents;
  2. signature : Tezos_protocol_environment_014_PtKathma.Signature.t;
}
type block_header = t
type block_watermark =
  1. | Block_header of Tezos_protocol_environment_014_PtKathma.Chain_id.t
module Proof_of_work : sig ... end
val raw : block_header -> raw
val max_header_length : int

The maximum size of block headers in bytes

val begin_validate_block_header : block_header:t -> chain_id:Tezos_protocol_environment_014_PtKathma.Chain_id.t -> predecessor_timestamp:Tezos_protocol_environment_014_PtKathma.Time.t -> predecessor_round:Round.t -> fitness:Fitness.t -> timestamp:Tezos_protocol_environment_014_PtKathma.Time.t -> delegate_pk:Tezos_protocol_environment_014_PtKathma.Signature.public_key -> round_durations:Round.round_durations -> proof_of_work_threshold:int64 -> expected_commitment:bool -> unit Tezos_protocol_environment_014_PtKathma.Error_monad.tzresult
type locked_round_evidence = {
  1. preendorsement_round : Round.t;
  2. preendorsement_count : int;
}
type checkable_payload_hash =
  1. | No_check
  2. | Expected_payload_hash of Block_payload_hash.t
val 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_014_PtKathma.Error_monad.tzresult
OCaml

Innovation. Community. Security.