Mentions

• 2026-05-12
• 2026-09-12
• cyber/research/five algebras
• cyber/research/nox - frozen provable computer
• cyber/research/polynomial nouns
• cybics/crystal
• cybics/crystal/goldilocks field
• cybics/crystal/Goldilocks field processor
• soft3/hemera/specs/sponge
• soft3/hemera/specs/tree
• soft3/proposals/proof-system-repair
• soft3/strata/nebu/specs/ntt
• soft3/zheng/docs/explanation/whir
• zheng: a self-proving proof system
• recursive Brakedown: the perfect lens
• soft3/zheng/specs/constraints
• soft3/zheng/specs/decider
• soft3/zheng/specs/proof-types
• soft3/zheng/specs/recursion
• soft3/zheng/specs/sumcheck
• soft3/zheng/specs/superspartan
• soft3/zheng/specs/transcript
• soft3/zheng/specs/verifier