Module `Alpha_context.Block_header`Source

This module re-exports definitions from Block_header_repr.

Sourcetype 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_toggle_vote : Liquidity_baking_repr.liquidity_baking_toggle_vote;

}

Sourcetype protocol_data = {

contents : contents;
signature : signature;

}

Sourcetype t = {

shell : Tezos_protocol_environment_alpha.Block_header.shell_header;
protocol_data : protocol_data;

}

Sourcetype block_header = t

Sourcetype raw = Tezos_protocol_environment_alpha.Block_header.t

Sourcetype shell_header = Tezos_protocol_environment_alpha.Block_header.shell_header

Sourcetype block_watermark =

| Block_header of Tezos_protocol_environment_alpha.Chain_id.t

Source

val to_watermark : 
  block_watermark ->
  Tezos_protocol_environment_alpha.Signature.watermark

Source

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

Sourcemodule Proof_of_work : sig ... end

Sourceval raw : block_header -> raw

Sourceval hash : block_header -> Tezos_protocol_environment_alpha.Block_hash.t

Sourceval hash_raw : raw -> Tezos_protocol_environment_alpha.Block_hash.t

Source

val encoding : 
  block_header Tezos_protocol_environment_alpha.Data_encoding.encoding

Sourceval raw_encoding : raw Tezos_protocol_environment_alpha.Data_encoding.t

Source

val contents_encoding : 
  contents Tezos_protocol_environment_alpha.Data_encoding.t

Source

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

Source

val protocol_data_encoding : 
  protocol_data Tezos_protocol_environment_alpha.Data_encoding.encoding

Source

val shell_header_encoding : 
  shell_header Tezos_protocol_environment_alpha.Data_encoding.encoding

Sourceval max_header_length : int

The maximum size of block headers in bytes

Sourcetype Tezos_protocol_environment_alpha.Error_monad.error +=

| Invalid_stamp

Source

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

Source

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

Source

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

Sourcetype locked_round_evidence = {

preendorsement_round : Round.t;
preendorsement_count : int;

}

Sourcetype checkable_payload_hash =

| No_check
| Expected_payload_hash of Block_payload_hash.t

Source

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_alpha.Error_monad.tzresult

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-alpha.raw/Tezos_raw_protocol_alpha/Alpha_context/Block_header/index.html

Module `Alpha_context.Block_header`Source

package tezos-protocol-alpha

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-alpha.raw/Tezos_raw_protocol_alpha/Alpha_context/Block_header/index.html

Module Alpha_context.Block_headerSource

Module `Alpha_context.Block_header`Source