package tezos-protocol-015-PtLimaPt

You can search for identifiers within the package.

in-package search v0.2.0

Tezos/Protocol: economic-protocol definition

Install

Dune Dependency

www.tezos.com Readme Edit opam file Versions (8)

Authors

T

Tezos devteam

Maintainers

C

contact@tezos.com

Sources

tezos-17.3.tar.gz

sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680

sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc

doc/tezos-protocol-015-PtLimaPt.raw/Tezos_raw_protocol_015_PtLimaPt/Block_header_repr/index.html

Module `Tezos_raw_protocol_015_PtLimaPt.Block_header_repr`Source

Representation of block headers.

Sourcetype contents = {

payload_hash : Block_payload_hash.t;
payload_round : Round_repr.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 : Tezos_protocol_environment_015_PtLimaPt.Signature.t;

}

Sourcetype t = {

shell : Tezos_protocol_environment_015_PtLimaPt.Block_header.shell_header;
protocol_data : protocol_data;

}

Sourcetype block_header = t

Sourcetype raw = Tezos_protocol_environment_015_PtLimaPt.Block_header.t

Source

type shell_header =
  Tezos_protocol_environment_015_PtLimaPt.Block_header.shell_header

Sourceval raw : block_header -> raw

Source

val encoding : 
  block_header Tezos_protocol_environment_015_PtLimaPt.Data_encoding.encoding

Sourceval raw_encoding : raw Tezos_protocol_environment_015_PtLimaPt.Data_encoding.t

Source

val contents_encoding : 
  contents Tezos_protocol_environment_015_PtLimaPt.Data_encoding.t

Source

val unsigned_encoding : 
  (Tezos_protocol_environment_015_PtLimaPt.Block_header.shell_header * contents)
    Tezos_protocol_environment_015_PtLimaPt.Data_encoding.t

Source

val protocol_data_encoding : 
  protocol_data Tezos_protocol_environment_015_PtLimaPt.Data_encoding.encoding

Source

val shell_header_encoding : 
  shell_header Tezos_protocol_environment_015_PtLimaPt.Data_encoding.encoding

Sourcetype block_watermark =

| Block_header of Tezos_protocol_environment_015_PtLimaPt.Chain_id.t

Source

val to_watermark : 
  block_watermark ->
  Tezos_protocol_environment_015_PtLimaPt.Signature.watermark

Source

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

Sourceval max_header_length : int

The maximum size of block headers in bytes

Sourceval hash : block_header -> Tezos_protocol_environment_015_PtLimaPt.Block_hash.t

Sourceval hash_raw : raw -> Tezos_protocol_environment_015_PtLimaPt.Block_hash.t

Sourcetype Tezos_protocol_environment_015_PtLimaPt.Error_monad.error +=

| Invalid_stamp

Sourcemodule Proof_of_work : sig ... end

Checks if the header that would be built from the given components is valid for the given difficulty. The signature is not passed as it is does not impact the proof-of-work stamp. The stamp is checked on the hash of a block header whose signature has been zeroed-out.

Source

val check_timestamp : 
  Round_repr.Durations.t ->
  timestamp:Tezos_protocol_environment_015_PtLimaPt.Time.t ->
  round:Round_repr.t ->
  predecessor_timestamp:Tezos_protocol_environment_015_PtLimaPt.Time.t ->
  predecessor_round:Round_repr.t ->
  unit Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult

check_timestamp ctxt timestamp round predecessor_timestamp predecessor_round verifies that the block's timestamp and round are coherent with the predecessor block's timestamp and round. Fails with an error if that is not the case.

Source

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

Source

val begin_validate_block_header : 
  block_header:t ->
  chain_id:Tezos_protocol_environment_015_PtLimaPt.Chain_id.t ->
  predecessor_timestamp:Tezos_protocol_environment_015_PtLimaPt.Time.t ->
  predecessor_round:Round_repr.t ->
  fitness:Fitness_repr.t ->
  timestamp:Tezos_protocol_environment_015_PtLimaPt.Time.t ->
  delegate_pk:Tezos_protocol_environment_015_PtLimaPt.Signature.public_key ->
  round_durations:Round_repr.Durations.t ->
  proof_of_work_threshold:int64 ->
  expected_commitment:bool ->
  unit Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult

Sourcetype locked_round_evidence = {

preendorsement_round : Round_repr.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_repr.t ->
  fitness:Fitness_repr.t ->
  checkable_payload_hash:checkable_payload_hash ->
  locked_round_evidence:locked_round_evidence option ->
  consensus_threshold:int ->
  unit Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult

package tezos-protocol-015-PtLimaPt

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-015-PtLimaPt.raw/Tezos_raw_protocol_015_PtLimaPt/Block_header_repr/index.html

Module Tezos_raw_protocol_015_PtLimaPt.Block_header_reprSource

Module `Tezos_raw_protocol_015_PtLimaPt.Block_header_repr`Source