Refactor constraint evaluation.

[alonh5]

This change is 

[alonh5]

• Refactor constraint evaluation. #696 👈
• Implement from_qm31_array for QM31. #679
• Create phase number constants. #669 : 2 other dependent PRs (#671 , #677 )
• Add final lookup constraint. #667
• Add lookup final boundary constraints. #664
• Separate constraint point evaluation to functions. #662
• Add wide fib lookup step constraint. #646
• Extract constraint code into functions. #644 : 1 other dependent PR (#654 )
• Use SecureField in interaction. #642
• Modify mask_points for interaction. #639
• Modify trace_log_degree_bounds for interaction. #638
• Add wide fib lookup constraint. #637
• Add interaction to proof. #636
• Separate componenet and air trace writers. #651
• dev

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

Join @alonh5 and the rest of your teammates on Graphite

[alonh5]

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

• Refactor constraint evaluation. #696 👈
• Implement from_qm31_array for QM31. #679
• Create phase number constants. #669 : 2 other dependent PRs (#671 , #677 )
• Add final lookup constraint. #667
• Add lookup final boundary constraints. #664
• Separate constraint point evaluation to functions. #662
• Add wide fib lookup step constraint. #646
• Extract constraint code into functions. #644 : 1 other dependent PR (#654 )
• Use SecureField in interaction. #642
• Modify mask_points for interaction. #639
• Modify trace_log_degree_bounds for interaction. #638
• Add wide fib lookup constraint. #637
• Add interaction to proof. #636
• Separate componenet and air trace writers. #651
• dev

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

Join @alonh5 and the rest of your teammates on Graphite

[codecov-commenter]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 90.67%. Comparing base (4fe7142) to head (aecb53f).

Additional details and impacted files

@@            Coverage Diff             @@
##              dev     #696      +/-   ##
==========================================
+ Coverage   90.66%   90.67%   +0.01%     
==========================================
  Files          76       76              
  Lines       10103    10117      +14     
  Branches    10103    10117      +14     
==========================================
+ Hits         9160     9174      +14     
  Misses        861      861              
  Partials       82       82              

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

[shaharsamocha7]

Reviewed 2 of 2 files at r1, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @alonh5)