Block_header (mavryk-protocol-alpha.Mavryk_raw_protocol_alpha.Alpha_context.Block

type contents = {

payload_hash : Block_payload_hash.t;
payload_round : Round.t;
seed_nonce_hash : Nonce_hash.t option;
proof_of_work_nonce : bytes;
per_block_votes : Per_block_votes_repr.per_block_votes;

}

type protocol_data = {

contents : contents;
signature : signature;

}

type t = {

shell : Mavryk_protocol_environment_alpha.Block_header.shell_header;
protocol_data : protocol_data;

}

type block_header = t

type raw = Mavryk_protocol_environment_alpha.Block_header.t

type shell_header = Mavryk_protocol_environment_alpha.Block_header.shell_header

type block_watermark =

| Block_header of Mavryk_protocol_environment_alpha.Chain_id.t

val to_watermark : 
  block_watermark ->
  Mavryk_protocol_environment_alpha.Signature.watermark

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

module Proof_of_work : sig ... end

val raw : block_header -> raw

val hash : block_header -> Mavryk_protocol_environment_alpha.Block_hash.t

val hash_raw : raw -> Mavryk_protocol_environment_alpha.Block_hash.t

val encoding : 
  block_header Mavryk_protocol_environment_alpha.Data_encoding.encoding

val raw_encoding : raw Mavryk_protocol_environment_alpha.Data_encoding.t

val contents_encoding : 
  contents Mavryk_protocol_environment_alpha.Data_encoding.t

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

val protocol_data_encoding : 
  protocol_data Mavryk_protocol_environment_alpha.Data_encoding.encoding

val shell_header_encoding : 
  shell_header Mavryk_protocol_environment_alpha.Data_encoding.encoding

val max_header_length : int

The maximum size of block headers in bytes

type Mavryk_protocol_environment_alpha.Error_monad.error +=

| Invalid_stamp

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

val check_signature : 
  t ->
  Mavryk_protocol_environment_alpha.Chain_id.t ->
  public_key ->
  unit Mavryk_protocol_environment_alpha.Error_monad.tzresult

val begin_validate_block_header : 
  block_header:t ->
  chain_id:Mavryk_protocol_environment_alpha.Chain_id.t ->
  predecessor_timestamp:Mavryk_protocol_environment_alpha.Time.t ->
  predecessor_round:Round.t ->
  fitness:Fitness.t ->
  timestamp:Mavryk_protocol_environment_alpha.Time.t ->
  delegate_pk:public_key ->
  round_durations:Round.round_durations ->
  proof_of_work_threshold:int64 ->
  expected_commitment:bool ->
  unit Mavryk_protocol_environment_alpha.Error_monad.tzresult