Separate constraint point evaluation to functions.

[alonh5]

This change is 

[alonh5]

• Create phase number constants. #669 : 3 dependent PRs (#671 , #677 , #679 )
• 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.03%. Comparing base (ae26ec4) to head (80e544d).

Additional details and impacted files

@@                            Coverage Diff                             @@
##           05-28-add_wide_fib_lookup_step_constraint     #662   +/-   ##
==========================================================================
  Coverage                                      90.03%   90.03%           
==========================================================================
  Files                                             75       75           
  Lines                                           9730     9730           
  Branches                                        9730     9730           
==========================================================================
  Hits                                            8760     8760           
  Misses                                           889      889           
  Partials                                          81       81           

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

[shaharsamocha7]

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

[alonh5]

Merge activity

• Jul 2, 8:47 AM EDT: @alonh5 started a stack merge that includes this pull request via Graphite.
• Jul 2, 8:49 AM EDT: Graphite rebased this pull request as part of a merge.
• Jul 2, 8:51 AM EDT: @alonh5 merged this pull request with Graphite.