tezos-validation 12.3 · OCaml Package

type parameters = {

context_root : string;
protocol_root : string;
genesis : Tezos_base.Genesis.t;
sandbox_parameters : Data_encoding.json option;
user_activated_upgrades : Tezos_base.User_activated.upgrades;
user_activated_protocol_overrides : Tezos_base.User_activated.protocol_overrides;
operation_metadata_size_limit : int option;

}

type request =

| Init
| Validate of {
1. chain_id : Tezos_crypto.Chain_id.t;
2. block_header : Tezos_base.Block_header.t;
3. predecessor_block_header : Tezos_base.Block_header.t;
4. predecessor_block_metadata_hash : Tezos_crypto.Block_metadata_hash.t option;
5. predecessor_ops_metadata_hash : Tezos_crypto.Operation_metadata_list_list_hash.t option;
6. operations : Tezos_base.Operation.t list list;
7. max_operations_ttl : int;
}
| Preapply of {
1. chain_id : Tezos_crypto.Chain_id.t;
2. timestamp : Tezos_base.Time.Protocol.t;
3. protocol_data : bytes;
4. live_blocks : Tezos_crypto.Block_hash.Set.t;
5. live_operations : Tezos_crypto.Operation_hash.Set.t;
6. predecessor_shell_header : Tezos_base.Block_header.shell_header;
7. predecessor_hash : Tezos_crypto.Block_hash.t;
8. predecessor_max_operations_ttl : int;
9. predecessor_block_metadata_hash : Tezos_crypto.Block_metadata_hash.t option;
10. predecessor_ops_metadata_hash : Tezos_crypto.Operation_metadata_list_list_hash.t option;
11. operations : Tezos_base.Operation.t list list;
}
| Precheck of {
1. chain_id : Tezos_crypto.Chain_id.t;
2. predecessor_block_header : Tezos_base.Block_header.t;
3. predecessor_block_hash : Tezos_crypto.Block_hash.t;
4. header : Tezos_base.Block_header.t;
5. operations : Tezos_base.Operation.t list list;
6. hash : Tezos_crypto.Block_hash.t;
}
| Commit_genesis of {
1. chain_id : Tezos_crypto.Chain_id.t;
}
| Fork_test_chain of {
1. context_hash : Tezos_crypto.Context_hash.t;
2. forked_header : Tezos_base.Block_header.t;
}
| Terminate
| Reconfigure_event_logging of Tezos_stdlib_unix.Internal_event_unix.Configuration.t

val request_pp : Stdlib.Format.formatter -> request -> unit

val magic : Stdlib.Bytes.t

val parameters_encoding : parameters Data_encoding.t

val request_encoding : request Data_encoding.t

val send : Lwt_io.output_channel -> 'a Data_encoding.t -> 'a -> unit Lwt.t

val recv : Lwt_io.input_channel -> 'a Data_encoding.t -> 'a Lwt.t

val recv_result : 
  Lwt_io.input_channel ->
  'a Data_encoding.t ->
  ('a, Tezos_error_monad.TzCore.error list) Stdlib.result Lwt.t

val socket_path_prefix : string

The prefix for the validation socket filename.

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

val 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.

val create_socket_listen : 
  canceler:Lwt_canceler.t ->
  max_requests:int ->
  socket_path:string ->
  (Lwt_unix.file_descr, Tezos_error_monad.TzCore.error list) Stdlib.result
    Lwt.t

val create_socket_connect : 
  canceler:Lwt_canceler.t ->
  socket_path:string ->
  Lwt_unix.file_descr Lwt.t

package tezos-validation