tezos-protocol-012-Psithaca 20.1

type contents = {

payload_hash : Block_payload_hash.t;
payload_round : Round.t;
seed_nonce_hash : Nonce_hash.t option;
proof_of_work_nonce : bytes;
liquidity_baking_escape_vote : bool;

}

type protocol_data = {

contents : contents;
signature : Tezos_protocol_environment_012_Psithaca.Signature.t;

}

type t = {

shell : Tezos_protocol_environment_012_Psithaca.Block_header.shell_header;
protocol_data : protocol_data;

}

type block_header = t

type raw = Tezos_protocol_environment_012_Psithaca.Block_header.t

type shell_header =
  Tezos_protocol_environment_012_Psithaca.Block_header.shell_header

type block_watermark =

| Block_header of Tezos_protocol_environment_012_Psithaca.Chain_id.t

val to_watermark : 
  block_watermark ->
  Tezos_protocol_environment_012_Psithaca.Signature.watermark

val of_watermark : 
  Tezos_protocol_environment_012_Psithaca.Signature.watermark ->
  block_watermark option

module Proof_of_work : sig ... end

val raw : block_header -> raw

val hash : block_header -> Tezos_protocol_environment_012_Psithaca.Block_hash.t

val hash_raw : raw -> Tezos_protocol_environment_012_Psithaca.Block_hash.t

val encoding : 
  block_header Tezos_protocol_environment_012_Psithaca.Data_encoding.encoding

val raw_encoding : raw Tezos_protocol_environment_012_Psithaca.Data_encoding.t

val contents_encoding : 
  contents Tezos_protocol_environment_012_Psithaca.Data_encoding.t

val unsigned_encoding : 
  (shell_header * contents)
    Tezos_protocol_environment_012_Psithaca.Data_encoding.t

val protocol_data_encoding : 
  protocol_data Tezos_protocol_environment_012_Psithaca.Data_encoding.encoding

val shell_header_encoding : 
  shell_header Tezos_protocol_environment_012_Psithaca.Data_encoding.encoding

val max_header_length : int

The maximum size of block headers in bytes

type Tezos_protocol_environment_012_Psithaca.Error_monad.error +=

| Invalid_block_signature of Tezos_protocol_environment_012_Psithaca.Block_hash.t * Tezos_protocol_environment_012_Psithaca.Signature.Public_key_hash.t
| Invalid_stamp
| Invalid_payload_hash of {
1. expected : Block_payload_hash.t;
2. provided : Block_payload_hash.t;
}
| Locked_round_after_block_round of {
1. locked_round : Round_repr.t;
2. round : Round_repr.t;
}
| Invalid_payload_round of {
1. payload_round : Round_repr.t;
2. round : Round_repr.t;
}
| Insufficient_locked_round_evidence of {
1. voting_power : int;
2. consensus_threshold : int;
}
| Invalid_commitment of {
1. expected : bool;
}

val check_timestamp : 
  Round.round_durations ->
  timestamp:Tezos_protocol_environment_012_Psithaca.Time.t ->
  round:Round.t ->
  predecessor_timestamp:Tezos_protocol_environment_012_Psithaca.Time.t ->
  predecessor_round:Round.t ->
  unit Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult

val check_signature : 
  t ->
  Tezos_protocol_environment_012_Psithaca.Chain_id.t ->
  Tezos_protocol_environment_012_Psithaca.Signature.Public_key.t ->
  unit Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult

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 = {

preendorsement_round : Round.t;
preendorsement_count : int;

}

type checkable_payload_hash =

| No_check
| 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

package tezos-protocol-012-Psithaca