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 : sig ... endIn-memory state implementation satisfying Wasm_pvm_sig.STATE_PROOF.
val wasm_pvm_machine :
config:Tezos_scoru_wasm.Wasm_pvm_config.t ->
(module Tezos_scoru_wasm.Wasm_pvm_sig.S
with type context = State_in_memory.context
and type proof = State_in_memory.proof
and type state = State_in_memory.state)wasm_pvm_machine ~config returns a WASM PVM machine over State_in_memory, closing over the supplied config. The env implementation builds the config via Tezos_scoru_wasm.Wasm_pvm_config.of_signals. Non-protocol consumers (node, benchmarks, tests) pass Tezos_scoru_wasm.Wasm_pvm_config.empty.
The returned machine starts every state in the Durable_only storage variant. Kernels that request NDS activation via the canonical sentinel will hit the failwith guard in the factory captured here (this instantiation closes over make_empty_nds = None) — for the dual-state instantiation, see Tezos_smart_rollup_wasm_in_memory_dual.wasm_pvm_machine_dual.