package octez-shell-libs

  1. Overview
  2. Docs
Octez shell libraries

Install 

dune-project
 Dependency

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

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

Sources

octez-19.0.tar.gz
sha256=c6df840ebbf115e454db949028c595bec558a59a66cade73b52a6d099d6fa4d4
sha512=d8aee903b9fe130d73176bc8ec38b78c9ff65317da3cb4f3415f09af0c625b4384e7498201fdb61aa39086a7d5d409d0ab3423f9bc3ab989a680cf444a79bc13

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

Module Tezos_validation.External_validationSource

Sourcetype parameters = {
  1. context_root : string;
  2. protocol_root : string;
  3. genesis : Tezos_base.TzPervasives.Genesis.t;
  4. sandbox_parameters : Tezos_base.TzPervasives.Data_encoding.json option;
  5. user_activated_upgrades : Tezos_base.TzPervasives.User_activated.upgrades;
  6. user_activated_protocol_overrides : Tezos_base.TzPervasives.User_activated.protocol_overrides;
  7. operation_metadata_size_limit : Tezos_shell_services.Shell_limits.operation_metadata_size_limit;
  8. dal_config : Tezos_crypto_dal.Cryptobox.Config.t;
  9. internal_events : Tezos_base.Internal_event_config.t;
}
Sourcetype request =
  1. | Validate of {
    1. chain_id : Tezos_base.TzPervasives.Chain_id.t;
    2. block_header : Tezos_base.TzPervasives.Block_header.t;
    3. predecessor_block_header : Tezos_base.TzPervasives.Block_header.t;
    4. predecessor_block_metadata_hash : Tezos_base.TzPervasives.Block_metadata_hash.t option;
    5. predecessor_ops_metadata_hash : Tezos_base.TzPervasives.Operation_metadata_list_list_hash.t option;
    6. predecessor_resulting_context_hash : Tezos_base.TzPervasives.Context_hash.t;
    7. operations : Block_validation.operation list list;
    8. max_operations_ttl : int;
    9. should_precheck : bool;
    10. simulate : bool;
    }
  2. | Preapply of {
    1. chain_id : Tezos_base.TzPervasives.Chain_id.t;
    2. timestamp : Tezos_base.TzPervasives.Time.Protocol.t;
    3. protocol_data : bytes;
    4. live_blocks : Tezos_base.TzPervasives.Block_hash.Set.t;
    5. live_operations : Tezos_base.TzPervasives.Operation_hash.Set.t;
    6. predecessor_shell_header : Tezos_base.TzPervasives.Block_header.shell_header;
    7. predecessor_hash : Tezos_base.TzPervasives.Block_hash.t;
    8. predecessor_max_operations_ttl : int;
    9. predecessor_block_metadata_hash : Tezos_base.TzPervasives.Block_metadata_hash.t option;
    10. predecessor_ops_metadata_hash : Tezos_base.TzPervasives.Operation_metadata_list_list_hash.t option;
    11. predecessor_resulting_context_hash : Tezos_base.TzPervasives.Context_hash.t;
    12. operations : Block_validation.operation list list;
    }
  3. | Precheck of {
    1. chain_id : Tezos_base.TzPervasives.Chain_id.t;
    2. predecessor_block_header : Tezos_base.TzPervasives.Block_header.t;
    3. predecessor_block_hash : Tezos_base.TzPervasives.Block_hash.t;
    4. predecessor_resulting_context_hash : Tezos_base.TzPervasives.Context_hash.t;
    5. header : Tezos_base.TzPervasives.Block_header.t;
    6. operations : Block_validation.operation list list;
    7. hash : Tezos_base.TzPervasives.Block_hash.t;
    }
  4. | Commit_genesis of {
    1. chain_id : Tezos_base.TzPervasives.Chain_id.t;
    }
  5. | Fork_test_chain of {
    1. chain_id : Tezos_base.TzPervasives.Chain_id.t;
    2. context_hash : Tezos_base.TzPervasives.Context_hash.t;
    3. forked_header : Tezos_base.TzPervasives.Block_header.t;
    }
  6. | Context_garbage_collection of {
    1. context_hash : Tezos_base.TzPervasives.Context_hash.t;
    2. gc_lockfile_path : string;
    }
  7. | Context_split
  8. | Terminate
  9. | Reconfigure_event_logging of Tezos_base_unix.Internal_event_unix.Configuration.t
Sourceval request_pp : Format.formatter -> request -> unit
Sourceval parameters_encoding : parameters Tezos_base.TzPervasives.Data_encoding.t
Sourceval request_encoding : request Tezos_base.TzPervasives.Data_encoding.t
Sourceval send : Lwt_io.output_channel -> 'a Tezos_base.TzPervasives.Data_encoding.t -> 'a -> unit Lwt.t
Sourceval recv : Lwt_io.input_channel -> 'a Tezos_base.TzPervasives.Data_encoding.t -> 'a Lwt.t
Sourceval recv_result : Lwt_io.input_channel -> 'a Tezos_base.TzPervasives.Data_encoding.t -> 'a Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval socket_path_prefix : string

The prefix for the validation socket filename.

Do not use it directly except for documentation purposes; use socket_path instead.

Sourceval socket_path : socket_dir:string -> pid:int -> string

Get the validation socket path.

socket_dir is the directory where the file should be put. pid is the process ID of the validator process.

Sourceval create_socket_listen : canceler:Lwt_canceler.t -> max_requests:int -> socket_path:string -> Lwt_unix.file_descr Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval create_socket_connect : canceler:Lwt_canceler.t -> socket_path:string -> Lwt_unix.file_descr Lwt.t