feat(subprotocols): multilinear sumcheck

[PatStiles]

trafficstars

Multilinear Sumcheck

Description

Adds an implementation of the multilinear sumcheck protocol and its quadratic, and cubic variations. This follows the work done by the spartan and Lasso teams.

• [x] New feature

Checklist

• [ ] Naive sumcheck
• [ ] Multilinear Polynomial Sumcheck
• [ ] Quadratic Sumcheck
• [ ] Cubic Sumcheck
• [ ] Batched Sumcheck
• [ ] Unit tests added
• [ ] This change requires new documentation.
  • [ ] Documentation has been added/updated.
• [ ] This change is an Optimization
  • [ ] Benchmarks added/run