package tezos-smart-rollup-alpha

  1. Overview
  2. Docs

Module Context_helpers.In_memorySource

In_memory is a context that can be used to instantiate an Arith or Wasm PVM. It's signature is Protocol.Alpha_context.Sc_rollup.ArithPVM.P = Protocol.Alpha_context.Sc_rollup.Wasm_2_0_0PVM.P

include Tezos_protocol_alpha.Protocol.Alpha_context.Sc_rollup.ArithPVM.P with type proof = Tezos_context_memory.Context.Proof.tree Tezos_context_memory.Context.Proof.t
Sourcemodule Tree : sig ... end
Sourcetype tree = Tree.tree
Sourceval hash_tree : tree -> Tezos_raw_protocol_alpha__Alpha_context.Sc_rollup.State_hash.t
Sourcetype proof = Tezos_context_memory.Context.Proof.tree Tezos_context_memory.Context.Proof.t
Sourceval proof_encoding : proof Tezos_protocol_environment_alpha.Data_encoding.t
Sourceval proof_before : proof -> Tezos_raw_protocol_alpha__Alpha_context.Sc_rollup.State_hash.t
Sourceval proof_after : proof -> Tezos_raw_protocol_alpha__Alpha_context.Sc_rollup.State_hash.t
Sourceval verify_proof : proof -> (tree -> (tree * 'a) Tezos_protocol_environment_alpha.Lwt.t) -> (tree * 'a) option Tezos_protocol_environment_alpha.Lwt.t
Sourceval produce_proof : Tree.t -> tree -> (tree -> (tree * 'a) Tezos_protocol_environment_alpha.Lwt.t) -> (proof * 'a) option Tezos_protocol_environment_alpha.Lwt.t
Sourceval make_empty_context : ?root:string -> unit -> Tree.t