Mentions

• 2026-05-12
• BBG polynomial authenticated state
• cyber/research/five algebras
• cyber/research/nox - frozen provable computer
• cyber/research/polynomial nouns
• cyber/research/polynomial proof system
• cyber/research/programmable state
• cyber/research/recursive brakedown
• cybics/crystal
• cybics/crystal/goldilocks field
• cybics/crystal/Goldilocks field processor
• soft3/bbg/specs/query
• soft3/hemera/roadmap
• soft3/hemera/specs
• soft3/hemera/specs/sponge
• soft3/hemera/specs/tree
• soft3/nox/docs/explanation/self-verification
• soft3/strata/jali
• soft3/strata/nebu/specs/ntt
• soft3/zheng/docs/explanation/whir
• zheng: a self-proving proof system
• soft3/zheng/specs/api
• 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