Implement sum-check - Githubissues

0xPolygonMiden / miden-vm

STARK-based virtual machine

MIT License

615 stars 152 forks source link

Implement sum-check #1280

Closed plafer closed 5 months ago

plafer commented 5 months ago

Work towards: #1182

[x] Implement verifier
[ ] Implement prover
[ ] use Plonky3 for polynomial commitment scheme?