vm.md

nox virtual machine specification version: 0.2 status: canonical overview nox is a proof-native virtual machine. sixteen deterministic compute patterns parameterized by algebra, plus call (non-deterministic witness injection) and look (deterministic BBG read), and five jets for efficient recursive…

💻 Virtual Machine Reference [← Target Reference](/trident/reference/targets) | [IR Reference](/trident/reference/ir) The VM is the CPU — the instruction set architecture. The compiler's job is instruction selection: translate TIR ops to the VM's native instructions. Everything in this document is…

💻 Virtual Machines [← Target Reference](/trident/reference/targets) Designed for 20 VMs. The VM is the CPU — the instruction set architecture. Provable | VM | Arch | Word | Hash | Tier | Doc | |----|------|------|------|------|-----| | TRITON | Stack | Goldilocks 64-bit | Tip5 | 0-3 |…