Remove wide fibonacci boundary constraint.

[alonh5]

This change is 

[alonh5]

• Remove wide fibonacci boundary constraint. #582 : 2 dependent PRs (#589 , #631 ) 👈
• Separate cpu and avx wide fib. #573 : 1 other dependent PR (#574 )
• Get lookup columns. #572
• Configure wide fib. #562
• 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 93.44%. Comparing base (3f1588d) to head (2eec1f7).
Report is 5 commits behind head on dev.

Additional details and impacted files

@@            Coverage Diff             @@
##              dev     #582      +/-   ##
==========================================
+ Coverage   92.90%   93.44%   +0.53%     
==========================================
  Files          83       84       +1     
  Lines       11728    11952     +224     
  Branches    11728    11952     +224     
==========================================
+ Hits        10896    11168     +272     
+ Misses        755      701      -54     
- Partials       77       83       +6     

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

[shaharsamocha7]

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

---

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

                    PackedBaseField::zero(),
                    PackedBaseField::zero(),
                ]) * PackedSecureField::broadcast(accum.random_coeff_powers[self.n_columns() - 2]);

You also need to do the relevant changes in the component implementation.
I.e. you need to reduce the number of constraints by 1.

Code quote:

                PackedSecureField::from_packed_m31s([
                    a - PackedBaseField::one(),
                    PackedBaseField::zero(),
                    PackedBaseField::zero(),
                    PackedBaseField::zero(),
                ]) * PackedSecureField::broadcast(accum.random_coeff_powers[self.n_columns() - 2]);

[alonh5]

Reviewable status: 3 of 4 files reviewed, 1 unresolved discussion (waiting on @shaharsamocha7)

---

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

Previously, shaharsamocha7 wrote…

You also need to do the relevant changes in the component implementation.
I.e. you need to reduce the number of constraints by 1.

Thanks. Done.

[shaharsamocha7]

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