Folder
Homonyms
soft3/nox/specs/jets
jet specification version: 0.4 status: canonical (specification) / **deferred (implementation)** > **Implementation status: deferred post-genesis.** The jet mechanism, registry, > and individual jet specifications in `specs/jets/` describe the target Layer 3 > optimization layer. The current noxβ¦
soft3/nox/rs/jets
jets
soft3/nox/docs/explanation/jets
jets optimization without compromise β from sixteen patterns to silicon, preserving meaning at every level. the problem the zheng verifier for nox is itself a nox program. to achieve recursive proof composition β proving that a proof is valid β the network runs the verifier inside the VM and provesβ¦