Simulation (mavkit-evm-node-libs.Evm_node_lib

val hex_string_to_bytes : Evm_node_lib_dev_encoding.Ethereum_types.hex -> bytes

hex_string_to_bytes s transforms a hex string s into a byte string.

val rlp_encode : Evm_node_lib_dev_encoding.Ethereum_types.call -> bytes

Encoding used to forward the call to the kernel, to be used in simulation mode only.

type simulation_message =

| Start
| Simple of string
| NewChunked of int
| Chunk of int * string

val max_chunk_size : int

val split_in_messages : bytes -> (simulation_message list, 'a) Stdlib.result

val simulation_tag : string

Tag signaling a simulation message

val simple_tag : string

Tag signaling a simulation message containing a full simulation call

val new_chunked_tag : string

Tag signaling a simulation message starting a serie of chunks

val chunk_tag : string

Tag signaling a simulation message containing a chunk

val evaluation_tag : string

Tag indicating simulation is an evaluation

val validation_tag : string

Tag indicating simulation is a validation

val add_tag : string -> bytes -> bytes

add_tag tag bytes prefixes bytes by the given tag

val encode_message : simulation_message -> string

val encode : 
  Evm_node_lib_dev_encoding.Ethereum_types.call ->
  (string list, 'a) Stdlib.result

val encode_tx : string -> (string list, 'a) Stdlib.result

type execution_result = {

value : Evm_node_lib_dev_encoding.Ethereum_types.hash option;
gas_used : Evm_node_lib_dev_encoding.Ethereum_types.quantity option;

}

type call_result =
  (execution_result, Evm_node_lib_dev_encoding.Ethereum_types.hash)
    Stdlib.result

type validation_result = {

address : Evm_node_lib_dev_encoding.Ethereum_types.address;

}

type 'a simulation_result = ('a, string) Stdlib.result

module Encodings : sig ... end

val simulation_result : 
  bytes ->
  (((execution_result, Evm_node_lib_dev_encoding.Ethereum_types.hash)
      Stdlib.result,
     string)
     Stdlib.result,
    Mavryk_base.TzPervasives.tztrace)
    Stdlib.result

val gas_estimation : 
  bytes ->
  (((execution_result, Evm_node_lib_dev_encoding.Ethereum_types.hash)
      Stdlib.result,
     string)
     Stdlib.result,
    Mavryk_base.TzPervasives.tztrace)
    Stdlib.result

val is_tx_valid : 
  bytes ->
  ((validation_result, string) Stdlib.result, Mavryk_base.TzPervasives.tztrace)
    Stdlib.result