Tezos_smart_rollup_wasm_in_memoryIn-memory state backend for the WASM PVM, backed by Tezos_context_memory.Context_binary.
This module provides the tree-based state representation and proof machinery needed to run and verify the WASM PVM without an on-disk Irmin context.
module State_in_memory :
Tezos_scoru_wasm.Wasm_pvm_sig.STATE_PROOF
with type context = Tezos_context_memory.Context_binary.t
and type state = Tezos_context_memory.Context_binary.tree
and type proof =
Tezos_context_memory.Context_binary.Proof.tree
Tezos_context_memory.Context_binary.Proof.tIn-memory state implementation satisfying Wasm_pvm_sig.STATE_PROOF.
module Wasm_pvm_in_memory :
Tezos_scoru_wasm.Wasm_pvm_sig.S
with type context = State_in_memory.context
and type state = State_in_memory.state
and type proof = State_in_memory.proofFull WASM PVM machine instantiated over State_in_memory.