Batch inverse lookup column denominators.

[alonh5]

This change is 

[alonh5]

• Batch inverse lookup column denominators. #677 👈
• Create phase number constants. #669 : 2 other dependent PRs (#671 , #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.67%. Comparing base (defcfe2) to head (4868f67).

Additional details and impacted files

@@           Coverage Diff           @@
##              dev     #677   +/-   ##
=======================================
  Coverage   90.67%   90.67%           
=======================================
  Files          76       76           
  Lines       10117    10117           
  Branches    10117    10117           
=======================================
  Hits         9174     9174           
  Misses        861      861           
  Partials       82       82           

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

[ohad-starkware]

Reviewed 2 of 4 files at r1, 1 of 2 files at r2, all commit messages.
Reviewable status: 3 of 4 files reviewed, 1 unresolved discussion (waiting on @alonh5 and @shaharsamocha7)

---

crates/prover/src/examples/wide_fibonacci/simd.rs line 164 at r2 (raw file):

}

// TODO(AlonH): Implement.

its still not implemented

[alonh5]

Reviewable status: 2 of 4 files reviewed, 1 unresolved discussion (waiting on @ohad-starkware and @shaharsamocha7)

---

crates/prover/src/examples/wide_fibonacci/simd.rs line 164 at r2 (raw file):

Previously, ohad-starkware (Ohad) wrote…

its still not implemented

Right but I don't think the todo is necessary, there's a bunch of things still not implemented.

[ohad-starkware]

crates/prover/src/examples/wide_fibonacci/simd.rs line 164 at r2 (raw file):

Previously, alonh5 (Alon Haramati) wrote…

Right but I don't think the todo is necessary, there's a bunch of things still not implemented.

agreed

[ohad-starkware]

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