trop specification
canonical reference for tropical semiring arithmetic: the (min, +) semiring, its matrix algebra, and dual certificate verification.
spec pages
| page |
defines |
| semiring |
tropical semiring axioms, (min, +) definition, identity elements, idempotency |
| matrix |
tropical matrix multiplication, power, eigenvalue, determinant, rank |
| kleene |
Kleene star (tropical closure), A* = I ⊕ A ⊕ ... ⊕ A^(n-1) |
| eigenvalue |
tropical eigenvalue, critical cycle, Karp's characterization |
| determinant |
tropical determinant, optimal assignment value, tropical rank |
| dual |
(max, +) dual semiring, negation duality |
| verification |
LP duality certificates for optimality proofs over F_p |
| encoding |
F_p ↔ tropical element conversion, +∞ sentinel, matrix serialization |
| vectors |
known-answer test values, edge cases |
design boundary
trop defines arithmetic. algorithms that use trop arithmetic (Dijkstra, Hungarian, Viterbi, Sinkhorn) are programs that execute on nox with optional jet acceleration. this separation mirrors nebu: nebu defines field ops, not FFT — NTT is a nox program that calls nebu arithmetic.
see also
- nebu — Goldilocks field (verification backbone)
- nox — VM (tropical algorithms execute as nox programs)
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…
bbg/specs
specs
nox/specs
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,…
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 | |…