Module `Tezos_validation.Block_validation`Source

This module is a proxy for the shell of the protocol (for the application part). The main function of this module is apply whichs calls the one of the protocol.

Sourcetype operation

This type is used to represent an operation contained in a block that we want to validate and/or apply.

Source

val mk_operation : 
  ?known_valid_operation_set:Tezos_base.TzPervasives.Operation_hash.Set.t ->
  Tezos_base.TzPervasives.Operation.t ->
  operation

Create an operation from the Operation.t by hashing it and by checking whether the protocol should check the operation's signature. The signature should always be checked unless the operation hash is already known in the known_valid_operations_set

Sourceval operation_encoding : operation Tezos_base.TzPervasives.Data_encoding.t

Sourcetype validation_store = {

resulting_context_hash : Tezos_base.TzPervasives.Context_hash.t;
timestamp : Tezos_base.TzPervasives.Time.Protocol.t;
message : string option;
max_operations_ttl : int;
last_finalized_block_level : Int32.t;
(*
Oldest block for which reorganizations can happen
*)
last_preserved_block_level : Int32.t;

}

Source

val may_patch_protocol : 
  user_activated_upgrades:Tezos_base.TzPervasives.User_activated.upgrades ->
  user_activated_protocol_overrides:
    Tezos_base.TzPervasives.User_activated.protocol_overrides ->
  level:Int32.t ->
  Tezos_protocol_environment.validation_result ->
  Tezos_protocol_environment.validation_result Lwt.t

Source

val update_testchain_status : 
  Tezos_protocol_environment.Context.t ->
  predecessor_hash:Tezos_base.TzPervasives.Block_hash.t ->
  Tezos_base.TzPervasives.Time.Protocol.t ->
  Tezos_protocol_environment.Context.t Lwt.t

Source

val check_proto_environment_version_increasing : 
  Tezos_base.TzPervasives.Block_hash.t ->
  Tezos_base.TzPervasives.Protocol.env_version ->
  Tezos_base.TzPervasives.Protocol.env_version ->
  unit Tezos_base.TzPervasives.tzresult

check_proto_environment_version_increasing hash before after returns successfully if the environment version stays the same or increases from before to after. Otherwise, an Invalid_protocol_environment_transition error is returned.

Source

val init_test_chain : 
  Tezos_base.TzPervasives.Chain_id.t ->
  Tezos_protocol_environment.Context.t ->
  Tezos_base.TzPervasives.Block_header.t ->
  Tezos_base.TzPervasives.Block_header.t Tezos_base.TzPervasives.tzresult Lwt.t

init_test_chain must only be called on a forking block.

Sourcetype operation_metadata =

| Metadata of Tezos_base.TzPervasives.Bytes.t
| Too_large_metadata

Sourceval operation_metadata_equal : operation_metadata -> operation_metadata -> bool

Source

val operation_metadata_encoding : 
  operation_metadata Tezos_base.TzPervasives.Data_encoding.t

Sourcetype ops_metadata =

| No_metadata_hash of operation_metadata list list
| Metadata_hash of (operation_metadata * Tezos_base.TzPervasives.Operation_metadata_hash.t) list list

Sourcemodule Shell_header_hash : Tezos_crypto.Intfs.HASH

Sourcetype result = {

shell_header_hash : Shell_header_hash.t;
(*
This field is used as a (local) unique identifier for blocks in order to implement the preapply cache mechanism.
*)
validation_store : validation_store;
block_metadata : bytes * Tezos_base.TzPervasives.Block_metadata_hash.t option;
ops_metadata : ops_metadata;

}

Sourcetype apply_result = {

result : result;
cache : Tezos_protocol_environment.Context.cache;

}

Sourceval result_encoding : result Tezos_base.TzPervasives.Data_encoding.t

Source

val preapply_result_encoding : 
  (Tezos_base.TzPervasives.Block_header.shell_header
   * Tezos_base.TzPervasives.error Tezos_shell_services.Preapply_result.t list)
    Tezos_base.TzPervasives.Data_encoding.t

Source

val check_liveness : 
  live_blocks:Tezos_base.TzPervasives.Block_hash.Set.t ->
  live_operations:Tezos_base.TzPervasives.Operation_hash.Set.t ->
  Tezos_base.TzPervasives.Block_hash.t ->
  operation list list ->
  unit Tezos_base.TzPervasives.tzresult

check_liveness live_blocks live_operations hash ops checks there is no duplicate operation and that is not out-of-date

Sourcetype apply_environment = {

max_operations_ttl : int;
(*
time to live of an operation
*)
chain_id : Tezos_base.TzPervasives.Chain_id.t;
(*
chain_id of the current branch
*)
predecessor_block_header : Tezos_base.TzPervasives.Block_header.t;
(*
header of the predecessor block being validated
*)
predecessor_context : Tezos_protocol_environment.Context.t;
(*
context associated to the predecessor block
*)
predecessor_resulting_context_hash : Tezos_base.TzPervasives.Context_hash.t;
(*
predecessor block resulting context hash
*)
predecessor_block_metadata_hash : Tezos_base.TzPervasives.Block_metadata_hash.t option;
(*
hash of block header metadata of the predecessor block
*)
predecessor_ops_metadata_hash : Tezos_base.TzPervasives.Operation_metadata_list_list_hash.t option;
(*
hash of operation metadata of the predecessor block
*)
user_activated_upgrades : Tezos_base.TzPervasives.User_activated.upgrades;
(*
user activated upgrades
*)
user_activated_protocol_overrides : Tezos_base.TzPervasives.User_activated.protocol_overrides;
(*
user activated protocol overrides
*)
operation_metadata_size_limit : Tezos_shell_services.Shell_limits.operation_metadata_size_limit;
(*
size limit for operation metadata that should be written on disk
*)

}

Source

val apply : 
  ?simulate:bool ->
  ?cached_result:(apply_result * Tezos_protocol_environment.Context.t) ->
  ?should_precheck:bool ->
  apply_environment ->
  cache:Tezos_protocol_environment.Context.source_of_cache ->
  Tezos_base.TzPervasives.Block_header.t ->
  operation list list ->
  apply_result Tezos_base.TzPervasives.tzresult Lwt.t

apply env header ops gets the protocol P of the context of the predecessor block and calls successively: 1. P.begin_application 2. P.apply 3. P.finalize_block

should_precheck when set (default), triggers the block prechecking before applying it, see precheck. If it is set to false the given block must have been prechecked.

If simulate is true, the context resulting from the application is not committed to disk using `Context.commit`, only the commit hash is computed, using `Context.hash`. Set to false by default.

Source

val precheck : 
  chain_id:Tezos_base.TzPervasives.Chain_id.t ->
  predecessor_block_header:Tezos_base.TzPervasives.Block_header.t ->
  predecessor_block_hash:Tezos_base.TzPervasives.Block_hash.t ->
  predecessor_context:Tezos_protocol_environment.Context.t ->
  predecessor_resulting_context_hash:Tezos_base.TzPervasives.Context_hash.t ->
  cache:Tezos_protocol_environment.Context.source_of_cache ->
  Tezos_base.TzPervasives.Block_header.t ->
  operation list list ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

precheck chain_id ~predecessor_block_header ~predecessor_block_hash ~predecessor_context ~predecessor_resulting_context_hash ~cache header ops gets the protocol P of the context of the predecessor block and calls successively: 1. P.begin_validate 2. P.validate_operation 3. P.finalize_validation

Source

val preapply : 
  chain_id:Tezos_base.TzPervasives.Chain_id.t ->
  user_activated_upgrades:Tezos_base.User_activated.upgrades ->
  user_activated_protocol_overrides:
    Tezos_base.User_activated.protocol_overrides ->
  operation_metadata_size_limit:
    Tezos_shell_services.Shell_limits.operation_metadata_size_limit ->
  timestamp:Tezos_base.TzPervasives.Time.Protocol.t ->
  protocol_data:bytes ->
  live_blocks:Tezos_base.TzPervasives.Block_hash.Set.t ->
  live_operations:Tezos_base.TzPervasives.Operation_hash.Set.t ->
  predecessor_context:Tezos_protocol_environment.Context.t ->
  predecessor_resulting_context_hash:Tezos_base.TzPervasives.Context_hash.t ->
  predecessor_shell_header:Tezos_base.TzPervasives.Block_header.shell_header ->
  predecessor_hash:Tezos_base.TzPervasives.Block_hash.t ->
  predecessor_max_operations_ttl:int ->
  predecessor_block_metadata_hash:
    Tezos_base.TzPervasives.Block_metadata_hash.t option ->
  predecessor_ops_metadata_hash:
    Tezos_base.TzPervasives.Operation_metadata_list_list_hash.t option ->
  cache:Tezos_protocol_environment.Context.source_of_cache ->
  operation list list ->
  ((Tezos_base.TzPervasives.Block_header.shell_header
    * Tezos_base.TzPervasives.error Tezos_shell_services.Preapply_result.t list)
   * (apply_result * Tezos_protocol_environment.Context.t))
    Tezos_base.TzPervasives.tzresult
    Lwt.t

Source

val recompute_metadata : 
  chain_id:Tezos_base.TzPervasives.Chain_id.t ->
  predecessor_block_header:Tezos_base.TzPervasives.Block_header.t ->
  predecessor_context:Tezos_protocol_environment.Context.t ->
  predecessor_block_metadata_hash:
    Tezos_base.TzPervasives.Block_metadata_hash.t option ->
  predecessor_ops_metadata_hash:
    Tezos_base.TzPervasives.Operation_metadata_list_list_hash.t option ->
  block_header:Tezos_base.TzPervasives.Block_header.t ->
  operations:
    operation Tezos_base.TzPervasives.trace Tezos_base.TzPervasives.trace ->
  cache:Tezos_protocol_environment.Context.source_of_cache ->
  ((bytes * Tezos_base.TzPervasives.Block_metadata_hash.t option)
   * ops_metadata)
    Tezos_base.TzPervasives.tzresult
    Lwt.t

Hypothesis: we assume that the given block has already been validated -- E.g. by calling precheck.

Install

Dune Dependency

Authors

Maintainers

Sources

doc/octez-shell-libs.validation/Tezos_validation/Block_validation/index.html

Module `Tezos_validation.Block_validation`Source

package octez-shell-libs

Install

Dune Dependency

Authors

Maintainers

Sources

doc/octez-shell-libs.validation/Tezos_validation/Block_validation/index.html

Module Tezos_validation.Block_validationSource

Module `Tezos_validation.Block_validation`Source