Linked References

• bbg
• bbg/specs/query
• cyber/research/bbg
• cyber/research/nox: frozen provable computer
• cyber/research/polynomial nouns
• cyber/research/polynomial proof system
• cyber/research/programmable state
• cyber/research/recursive brakedown
• zheng: a self-proving proof system
• hemera/roadmap
• hemera/specs
• trident/roadmap/polynomial-target
• zheng/docs/explanation/whir
• zheng/specs/api
• zheng/specs/constraints
• zheng/specs/recursion
• zheng/specs/sumcheck
• zheng/specs/superspartan
• zheng/specs/transcript
• zheng/specs/verifier