Module `Tezos_smart_rollup_wasm_dual_state`

Dual-storage WASM PVM backend, parameterized over an Irmin durable (Tezos_scoru_wasm.Wasm_pvm_sig.STATE_PROOF) and an NDS implementation (NDS_BACKEND).

Pairs the Irmin durable with an NDS handle. The phase model, the /pvm/nds_hash marker, the Irmin_only / Dual proof dispatch, and the soundness cross-checks are defined here, independent of both backends.

module type NDS_BACKEND = sig ... end

Operations a concrete NDS backend must provide; everything else in the dual-state logic is backend-agnostic.

module Make (Irmin : sig ... end) (Backend : NDS_BACKEND) : sig ... end

Make (Irmin) (Backend) specialises the dual-state WASM PVM to a concrete Irmin durable and NDS Backend.