zheng/specs/expander-pcs.md expander PCSBrakedownrecursive Brakedownlinear-code PCS cyber computer science cryptography entity computer science ฯ 0.01% 6 words ยท 1 min expander PCS migrated to lens/reference/scalar-field Graph Mentions Graph Mentions trident/roadmap/polynomial-target zheng/docs/explanation/whir zheng: a self-proving proof system zheng/specs/api zheng/specs/constraints zheng/specs/decider zheng/specs/recursion zheng/specs/sumcheck zheng/specs/superspartan zheng/specs/transcript zheng/specs/verifier