Polynomial - univariate polynomial, multilinear extension polynomial
Sumcheck - full sumcheck, paritial sumcheck (verifies to subclaim)
GKR - gkr implementation
R1CS GKR - converts r1cs description to gkr circuit
Circom GKR - cli wrapper for circom+gkr prover / verifier.
- Custom gates in GKR
- Recursive GKR proofs
🤷🏽♂️ Maybe??
- Integrating lookups?
- GKR based ZKVM?
Pushing the currently implemented protocols to their performance limit (making these things fast 🚀).