Module Tezos_protocol_environment_024_PtTALLiN.Riscv

type state
type proof
type output_info = {
  1. message_index : Z.t;
  2. outbox_level : Bounded.Non_negative_int32.t;
}
type output = {
  1. info : output_info;
  2. encoded_message : string;
}
type output_proof
type input =
  1. | Inbox_message of int32 * int64 * string
  2. | Reveal of string
type input_request =
  1. | No_input_required
  2. | Initial
  3. | First_after of int32 * int64
  4. | Needs_reveal of string
val state_hash : state -> hash
val empty_state : unit -> state
val proof_start_state : proof -> hash
val proof_stop_state : proof -> hash
val proof_to_bytes : proof -> bytes
val bytes_to_proof : bytes -> (proof, string) Pervasives.result
val install_boot_sector : state -> string -> state Lwt.t
val verify_proof : input option -> proof -> input_request option
val output_info_of_output_proof : output_proof -> output_info
val state_of_output_proof : output_proof -> hash
val verify_output_proof : output_proof -> output option
val output_proof_to_bytes : output_proof -> bytes
val bytes_to_output_proof : bytes -> (output_proof, string) Pervasives.result
val get_current_level : state -> int32 option Lwt.t