nox reference
canonical specification of the nox virtual machine. this is the source of truth — when code and reference disagree, fix reference first, then propagate to code.
specifications
| page |
scope |
status |
| vm.md |
overview, field, hash, algebra polymorphism, dependencies |
canonical |
| noun/ |
data model: atom, cell, type tags, order, hash, polynomial representation |
canonical |
| patterns/ |
all 18 patterns: structural (0-4), field (5-10), bitwise (11-14), hash (15), call (16), look (17) |
canonical |
| reduction.md |
reduce(), order(), budget, confluence, memoization, proof-carrying, signal assembly |
canonical |
| jets.md |
Layer 3: genesis jet registry, semantic contract, hardware mapping |
canonical |
| jets/ |
per-group genesis jet specs (hash, recursion, binary-tower, polynomial-ring, isogeny-curves, tropical-semiring, state, decider) |
canonical |
| trace.md |
execution trace layout, AIR constraints, polynomial encoding |
canonical |
| encoding.md |
canonical noun serialization, wire format, content addressing |
canonical |
reading order
- vm.md — field, hash, and dependencies (what nox computes over)
- noun/ — the data model (what nox operates on)
- patterns/ — the instruction set (what nox can do)
- reduction.md — the execution model (how nox evaluates)
- jets.md + jets/ — the optimization layer (how nox goes fast)
- trace.md — the proof witness (how nox proves)
- encoding.md — the wire format (how nox serializes)
dependencies
nox depends on two companion crates:
- nebu (~/git/nebu/rs) — Goldilocks field arithmetic. provides the F_p type and all field operations (add, sub, mul, inv, roots of unity). nox imports the field, it does not reimplement it.
- hemera (~/git/hemera/rs) — Hemera hash (Poseidon2-Goldilocks). provides the sponge construction, domain-separated hashing, and Merkle-compatible mode. nox imports the hash, it does not reimplement it.
zheng (~/git/zheng/) is a downstream consumer — it takes nox execution traces and produces stark proofs.
nox is frozen. no roadmap, no proposals. the specification is complete.
Dimensions
lens/specs
lens reference canonical specification for polynomial commitment — five lenses for five algebras. the trait three operations. commit is O(N). open produces a proof. verify checks the proof. all transparent (no trusted setup), all post-quantum. see trait for the full specification. naming convention…
genies/specs
genies specification canonical reference for isogeny group action arithmetic: F_q field operations, supersingular curves, isogeny computation, and class group action. spec pages | page | defines | |------|---------| | [prime](/genies/specs/prime) | CSIDH prime form, selection criteria, concrete…
zheng/specs
zheng: polynomial proof system one IOP: SuperSpartan + sumcheck (CCS constraints, O(N) prover, O(log N) verifier). one folding: HyperNova (CCS-native, ~30 field ops per fold, one decider at the end). one hash: hemera (~3 calls per proof — binding, Fiat-Shamir seed, domain separation). five…
trop/specs
trop specification canonical reference for tropical semiring arithmetic: the (min, +) semiring, its matrix algebra, and dual certificate verification. spec pages | page | defines | |------|---------| | [semiring](/trop/specs/semiring) | tropical semiring axioms, (min, +) definition, identity…
bbg/specs
specs
hemera/specs
Hemera: A Permanent Hash Primitive for Planetary-Scale Collective Intelligence | field | value | |----------|--------------------------------| | version | 2.0 | | status | Decision Record | | authors | mastercyb | | date | March 2026 | Abstract Hemera is the cryptographic hash primitive for cyber,…
nebu/specs
nebu specification canonical reference for the Goldilocks prime field, its arithmetic, and its hardware. spec pages | page | defines | |------|---------| | field | prime, elements, arithmetic, properties, why Goldilocks | | ntt | Number Theoretic Transform, roots of unity, butterfly, Cooley-Tukey |…
jali/specs
jali reference canonical specification for polynomial ring arithmetic R_q = F_p[x]/(x^n+1) over Goldilocks. what jali is jali (जाली — lattice/mesh) is the fifth execution algebra for cyber. polynomial ring elements are structured vectors of n Goldilocks field elements with multiplication defined by…
kuro/specs
kuro specification canonical reference for the F₂ tower field, its arithmetic, packed operations, and hardware targets. spec pages | page | defines | |------|---------| | [field](/kuro/specs/field) | tower levels, all field operations, properties, cost model vs Goldilocks | |…