Graph
Mentions
- cybics/comp/folding
- cybics/comp/incrementally verifiable computation
- cybics/comp/proof-carrying data
- cybics/crypto/zero-knowledge
- polynomial proof system
- soft3/hemera/roadmap
- soft3/lens/specs/binary-tower
- soft3/lens/specs/isogeny-curves
- soft3/lens/specs/polynomial-ring
- soft3/zheng/docs/explanation/CCS
- soft3/zheng/docs/explanation/recursion
- zheng: a self-proving proof system
- recursive Brakedown: the perfect lens
- soft3/zheng/specs
- soft3/zheng/specs/api
- soft3/zheng/specs/decider
- soft3/zheng/specs/recursion