package tezos-protocol-012-Psithaca

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
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_escape_vote : bool;
}
type protocol_data = {
  1. contents : contents;
  2. signature : Tezos_protocol_environment_012_Psithaca.Signature.t;
}
type block_header = t
type block_watermark =
  1. | Block_header of Tezos_protocol_environment_012_Psithaca.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

type 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;
    }
val 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
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_012_Psithaca.Error_monad.tzresult
OCaml

Innovation. Community. Security.