expander PCS
migrated to lens/reference/scalar-field
expander PCSBrakedownrecursive Brakedownlinear-code PCS
Graph
Mentions
- 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