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