Homonyms
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β¦