nox proof-native virtual machine for cyber. every execution produces a zheng proof as a byproduct — running a program and proving it ran correctly are the same act. there is no separate arithmetization step. the execution trace IS the algebraic constraint system. lineage nox replaces Nock's natural…

nox

nox compilation Trident's default target lowers type-checked AST modules to nox noun formulas. The stack TIR is the interface to foreign warriors; nox uses its own tree representation. Joy executes the emitted formula and produces and verifies Zheng proofs. The nox backend accepts the `nox` target…

nox