Add quadratic and cubic sumcheck

[jotabulacios]

TITLE

Description

This PR improves the previous version of the sumcheck protocol allowing to support quadratic and cubic cases

Type of change

Please delete options that are not relevant.

• New feature
• Bug fix
• Optimization

Checklist

• Linked to Github Issue
• Unit tests added
• This change requires new documentation.
  • Documentation has been added/updated.
• This change is an Optimization
  • Benchmarks added/run

[codecov-commenter]

Codecov Report

Attention: Patch coverage is 88.12261% with 62 lines in your changes missing coverage. Please review.

Project coverage is 72.08%. Comparing base (5f8f2cf) to head (42d534e).

Files with missing lines	Patch %	Lines
crates/provers/sumcheck/src/lib.rs	92.79%	24 Missing ⚠️
crates/provers/sumcheck/src/verifier.rs	78.72%	20 Missing ⚠️
crates/provers/sumcheck/src/prover.rs	81.05%	18 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main    #1003      +/-   ##
==========================================
+ Coverage   72.06%   72.08%   +0.02%     
==========================================
  Files         160      160              
  Lines       35145    35421     +276     
==========================================
+ Hits        25327    25534     +207     
- Misses       9818     9887      +69     

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

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.