neural/trident/vm/nox.md

Ο€ 0.02% 2 words Β· 1 min

nox

Folder

Homonyms

cyber/nox
soft3/nox
nox proof-native virtual machine for cyber. every execution produces a STARK 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…
cyber/research/nox

Graph