Module `Alpha_context.Block_header`Source

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_escape_vote : bool;

}

Sourcetype protocol_data = {

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

}

Sourcetype t = {

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

}

Sourcetype block_header = t

Sourcetype raw = Tezos_protocol_environment_012_Psithaca.Block_header.t

Source

type shell_header =
  Tezos_protocol_environment_012_Psithaca.Block_header.shell_header

Sourcetype block_watermark =

| Block_header of Tezos_protocol_environment_012_Psithaca.Chain_id.t

Source

val to_watermark : 
  block_watermark ->
  Tezos_protocol_environment_012_Psithaca.Signature.watermark

Source

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

Sourcemodule Proof_of_work : sig ... end

Sourceval raw : block_header -> raw

Sourceval hash : block_header -> Tezos_protocol_environment_012_Psithaca.Block_hash.t

Sourceval hash_raw : raw -> Tezos_protocol_environment_012_Psithaca.Block_hash.t

Source

val encoding : 
  block_header Tezos_protocol_environment_012_Psithaca.Data_encoding.encoding

Sourceval raw_encoding : raw Tezos_protocol_environment_012_Psithaca.Data_encoding.t

Source

val contents_encoding : 
  contents Tezos_protocol_environment_012_Psithaca.Data_encoding.t

Source

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

Source

val protocol_data_encoding : 
  protocol_data Tezos_protocol_environment_012_Psithaca.Data_encoding.encoding

Source

val shell_header_encoding : 
  shell_header Tezos_protocol_environment_012_Psithaca.Data_encoding.encoding

Sourceval max_header_length : int

The maximum size of block headers in bytes

Sourcetype 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;
}

Source

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

Source

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

Source

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

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

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-012-Psithaca.raw/Tezos_raw_protocol_012_Psithaca/Alpha_context/Block_header/index.html

Module `Alpha_context.Block_header`Source

package tezos-protocol-012-Psithaca

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-012-Psithaca.raw/Tezos_raw_protocol_012_Psithaca/Alpha_context/Block_header/index.html

Module Alpha_context.Block_headerSource

Module `Alpha_context.Block_header`Source