DVM execution playground
The playground is an interactive debugger over recorded DVM execution traces. It steps a threshold-signing operation (DKLS23, FROST, or CGGMP24 backends) through policy admission, peer choreography, local secret-kernel calls, and the publication gate. Each instruction site shows its layer (L2 workflow, L1 semantic operation, L0 backend microcode), operands, locality, pending-peer frontiers, and the evidence artifacts the step produced.
The interactive debugger requires JavaScript. The same trace semantics are documented in the Architecture section (execution model, lowering, formal semantics) and the API section (operation lifecycle, receipts).
Architecture: deterministic interpreter · Bytecode lowering model · API overview