tezos-protocol-alpha 19.0 · OCaml Package

val parse_boot_sector : string -> PVM.boot_sector option

val pp_boot_sector : 
  Tezos_protocol_environment_alpha.Format.formatter ->
  PVM.boot_sector ->
  unit

type state = Tezos_protocol_environment_alpha.Context.tree

val pp : 
  state ->
  (Tezos_protocol_environment_alpha.Format.formatter ->
    unit ->
    unit)
    Tezos_protocol_environment_alpha.Lwt.t

type context = Tezos_protocol_environment_alpha.Context.t

type hash = State_hash.t

type proof =
  Tezos_protocol_environment_alpha.Context.Proof.tree
    Tezos_protocol_environment_alpha.Context.Proof.t

val proof_encoding : proof Tezos_protocol_environment_alpha.Data_encoding.t

val proof_start_state : proof -> hash

val proof_stop_state : proof -> hash

val state_hash : state -> hash Tezos_protocol_environment_alpha.Lwt.t

val initial_state : empty:state -> state Tezos_protocol_environment_alpha.Lwt.t

val install_boot_sector : 
  state ->
  string ->
  state Tezos_protocol_environment_alpha.Lwt.t

val is_input_state : 
  is_reveal_enabled:is_reveal_enabled ->
  state ->
  input_request Tezos_protocol_environment_alpha.Lwt.t

val set_input : input -> state -> state Tezos_protocol_environment_alpha.Lwt.t

val eval : state -> state Tezos_protocol_environment_alpha.Lwt.t

val verify_proof : 
  is_reveal_enabled:is_reveal_enabled ->
  input option ->
  proof ->
  input_request Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

val produce_proof : 
  context ->
  is_reveal_enabled:is_reveal_enabled ->
  input option ->
  state ->
  proof Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

type output_proof

val output_proof_encoding : 
  output_proof Tezos_protocol_environment_alpha.Data_encoding.t

val output_of_output_proof : output_proof -> output

val state_of_output_proof : output_proof -> State_hash.t

val verify_output_proof : 
  output_proof ->
  output Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

val produce_output_proof : 
  context ->
  state ->
  output ->
  (output_proof, Tezos_protocol_environment_alpha.Error_monad.error)
    Tezos_protocol_environment_alpha.Pervasives.result
    Tezos_protocol_environment_alpha.Lwt.t

val check_dissection : 
  default_number_of_sections:int ->
  start_chunk:Dissection_chunk.t ->
  stop_chunk:Dissection_chunk.t ->
  Dissection_chunk.t list ->
  unit Tezos_protocol_environment_alpha.Error_monad.tzresult

val get_current_level : 
  state ->
  Raw_level.t option Tezos_protocol_environment_alpha.Lwt.t

module Internal_for_tests : sig ... end

package tezos-protocol-alpha