Formal polynomials.

[Alon-Ti]

This change is 

[Alon-Ti]

Warning

This pull request is not mergeable via GitHub because a downstack PR is open. Once all requirements are satisfied, merge this PR as a stack on Graphite.
Learn more

• Formal polynomial evaluator. #836
• Formal polynomials. #835 👈
• Change Eval Framework Copy requirement to Clone. #834
• dev

This stack of pull requests is managed by Graphite. Learn more about stacking.

Join @Alon-Ti and the rest of your teammates on Graphite

[codecov-commenter]

Codecov Report

Attention: Patch coverage is 73.22835% with 68 lines in your changes missing coverage. Please review.

Project coverage is 91.63%. Comparing base (7a8621d) to head (6f1ed4d).

Files with missing lines	Patch %	Lines
crates/prover/src/constraint_framework/poly.rs	73.22%	61 Missing and 7 partials ⚠️

Additional details and impacted files

@@                     Coverage Diff                     @@
##           alont/evalfw-copy2clone     #835      +/-   ##
===========================================================
- Coverage                    92.01%   91.63%   -0.39%     
===========================================================
  Files                           90       91       +1     
  Lines                        12222    12476     +254     
  Branches                     12222    12476     +254     
===========================================================
+ Hits                         11246    11432     +186     
- Misses                         867      928      +61     
- Partials                       109      116       +7     

Flag	Coverage Δ
	91.63% <73.22%> (-0.39%)	⬇️

Flags with carried forward coverage won't be shown. Click here to find out more.

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