Graph
Mentions
- 2026-03-27
- 2026-05-12
- crypto/zero-knowledge
- cyber/research/bbg
- cyber/research/nox: frozen provable computer
- cyber/research/polynomial nouns
- cyber/research/polynomial proof system
- cyber/research/recursive brakedown
- cyber/research/universal law
- folding
- hemera/roadmap
- incrementally verifiable computation
- lens/specs/binary-tower
- lens/specs/isogeny-curves
- lens/specs/polynomial-ring
- nox/specs/reduction
- proof-carrying data
- zheng
- zheng/docs/explanation/CCS
- zheng/docs/explanation/recursion
- zheng: a self-proving proof system
- zheng/specs
- zheng/specs/api
- zheng/specs/decider
- zheng/specs/recursion