octez-protocol-018-Proxford-libs 19.0

val parse_boot_sector : string -> string option

val pp_boot_sector : 
  Tezos_protocol_environment_018_Proxford.Format.formatter ->
  string ->
  unit

type state = Arith_pvm.state

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

type context = Arith_pvm.context

type hash = Tezos_crypto.Hashed.Smart_rollup_state_hash.t

type proof = Make_PVM_eval(Arith_pvm).proof

val proof_encoding : 
  proof Tezos_protocol_environment_018_Proxford.Data_encoding.t

val proof_start_state : proof -> hash

val proof_stop_state : proof -> hash

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

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

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

val is_input_state : 
  is_reveal_enabled:
    (current_block_level:
       Tezos_raw_protocol_018_Proxford__Alpha_context.Raw_level.t ->
      Tezos_raw_protocol_018_Proxford__Alpha_context.Sc_rollup.reveal ->
      bool) ->
  state ->
  Tezos_raw_protocol_018_Proxford__Alpha_context.Sc_rollup.input_request
    Tezos_protocol_environment_018_Proxford.Lwt.t

val set_input : 
  Tezos_raw_protocol_018_Proxford__Alpha_context.Sc_rollup.input ->
  state ->
  state Tezos_protocol_environment_018_Proxford.Lwt.t

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

val verify_proof : 
  is_reveal_enabled:
    (current_block_level:
       Tezos_raw_protocol_018_Proxford__Alpha_context.Raw_level.t ->
      Tezos_raw_protocol_018_Proxford__Alpha_context.Sc_rollup.reveal ->
      bool) ->
  Tezos_raw_protocol_018_Proxford__Alpha_context.Sc_rollup.input option ->
  proof ->
  Tezos_raw_protocol_018_Proxford__Alpha_context.Sc_rollup.input_request
    Tezos_protocol_environment_018_Proxford.Error_monad.tzresult
    Tezos_protocol_environment_018_Proxford.Lwt.t

val produce_proof : 
  context ->
  is_reveal_enabled:
    (current_block_level:
       Tezos_raw_protocol_018_Proxford__Alpha_context.Raw_level.t ->
      Tezos_raw_protocol_018_Proxford__Alpha_context.Sc_rollup.reveal ->
      bool) ->
  Tezos_raw_protocol_018_Proxford__Alpha_context.Sc_rollup.input option ->
  state ->
  proof Tezos_protocol_environment_018_Proxford.Error_monad.tzresult
    Tezos_protocol_environment_018_Proxford.Lwt.t

type output_proof = Make_PVM_eval(Arith_pvm).output_proof

val output_proof_encoding : 
  output_proof Tezos_protocol_environment_018_Proxford.Data_encoding.t

val output_of_output_proof : 
  output_proof ->
  Tezos_raw_protocol_018_Proxford__Alpha_context.Sc_rollup.output

val state_of_output_proof : 
  output_proof ->
  Tezos_crypto.Hashed.Smart_rollup_state_hash.t

val verify_output_proof : 
  output_proof ->
  Tezos_raw_protocol_018_Proxford__Alpha_context.Sc_rollup.output
    Tezos_protocol_environment_018_Proxford.Error_monad.tzresult
    Tezos_protocol_environment_018_Proxford.Lwt.t

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

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

val get_current_level : 
  state ->
  Tezos_raw_protocol_018_Proxford__Alpha_context.Raw_level.t option
    Tezos_protocol_environment_018_Proxford.Lwt.t

module Internal_for_tests : sig ... end

val make_empty_context : unit -> context

val initial_hash : hash Lwt.t

val eval_until_input : 
  fuel:int option ->
  our_states:(int * hash) Tezos_base.TzPervasives.trace ->
  int ->
  state ->
  (state * int option * int * (int * hash) Tezos_base.TzPervasives.trace) Lwt.t

val eval_inputs_from_initial_state : 
  metadata:
    Tezos_protocol_018_Proxford.Protocol.Alpha_context.Sc_rollup.Metadata.t ->
  ?fuel:int ->
  ?bootsector:string ->
  Tezos_protocol_018_Proxford.Protocol.Alpha_context.Sc_rollup.input
    Tezos_base.TzPervasives.trace
    Tezos_base.TzPervasives.trace ->
  (state
   * Tezos_protocol_018_Proxford.Protocol.Alpha_context.Sc_rollup.Tick.t
   * (Tezos_protocol_018_Proxford.Protocol.Alpha_context.Sc_rollup.Tick.t
      * hash)
       Tezos_base.TzPervasives.trace,
    'a)
    Stdlib.result
    Lwt.t

package octez-protocol-018-Proxford-libs