Folder
Homonyms
soft3/nox/jets
jets
soft3/nox/specs/jets
genesis jet registry genesis jets across five algebras + state transitions + the universal decider. each jet has an equivalent pure Layer 1 program. committed in genesis BBG state. remove all jets: identical results, orders of magnitude slower. see jets|jets spec for principles, semantic contract,β¦
soft3/nox/docs/explanation/jets
jets optimization without compromise β from sixteen patterns to silicon, preserving meaning at every level. the problem the stark 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β¦