feat(subprotocol): Add Sumcheck

[PatStiles]

Sumcheck

Description

Adds a simple implementation of a sumcheck argument for multilinear polynomials in a monomial basis.

Type of change

• New feature

Checklist

• Unit tests added

[codecov-commenter]

Codecov Report

Attention: 76 lines in your changes are missing coverage. Please review.

Comparison is base (0f3b5ef) 96.16% compared to head (8e41ea1) 96.00%.

Files	Patch %	Lines
math/src/polynomial/multilinear_term.rs	81.74%	23 Missing ⚠️
math/src/polynomial/multivariate_poly.rs	80.64%	18 Missing ⚠️
crypto/src/gadgets/sumcheck.rs	92.41%	11 Missing ⚠️
math/src/polynomial/multilinear_poly.rs	94.35%	10 Missing ⚠️
math/src/polynomial/multivariate_term.rs	92.36%	10 Missing ⚠️
math/src/field/element.rs	0.00%	3 Missing ⚠️
math/src/field/fields/u64_prime_field.rs	0.00%	1 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #696      +/-   ##
==========================================
- Coverage   96.16%   96.00%   -0.17%     
==========================================
  Files         132      137       +5     
  Lines       29904    30579     +675     
==========================================
+ Hits        28758    29358     +600     
- Misses       1146     1221      +75     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.