Fall back to CPU in small FRI.

[alonh5]

This change is 

[alonh5]

• Assert enough aplha powers for combine. #850
• Fall back to CPU in small FRI. #840 👈
• Fall back to CPU in small constraint eval. #838
• Fall back to cpu in small fft size. #827
• dev

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

Join @alonh5 and the rest of your teammates on Graphite

[andrewmilson]

Reviewed 2 of 5 files at r1, all commit messages.
Reviewable status: 2 of 5 files reviewed, 2 unresolved discussions (waiting on @alonh5 and @shaharsamocha7)

---

crates/prover/src/core/backend/simd/circle.rs line 337 at r1 (raw file):

        a.swap_with_slice(&mut c[0..n0]);
    }
    fold(&poly.coeffs.to_cpu(), &mappings)

Suggestion:

poly.coeffs.as_slice()

---

crates/prover/src/core/backend/simd/fri.rs line 59 at r1 (raw file):

    }

    fn fold_circle_into_line(

Tests for these?

[alonh5]

Reviewable status: 2 of 5 files reviewed, 2 unresolved discussions (waiting on @andrewmilson and @shaharsamocha7)

---

crates/prover/src/core/backend/simd/circle.rs line 337 at r1 (raw file):

        a.swap_with_slice(&mut c[0..n0]);
    }
    fold(&poly.coeffs.to_cpu(), &mappings)

Done.

---

crates/prover/src/core/backend/simd/fri.rs line 59 at r1 (raw file):

Previously, andrewmilson (Andrew Milson) wrote…

Tests for these?

I added tests for a full proof of wide_fib with sizes 3 and 2, do you think that should be enough?

[codecov-commenter]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 92.01%. Comparing base (e1acffa) to head (d14ba6b).

Additional details and impacted files

@@            Coverage Diff             @@
##              dev     #840      +/-   ##
==========================================
+ Coverage   91.99%   92.01%   +0.01%     
==========================================
  Files          90       90              
  Lines       12188    12204      +16     
  Branches    12188    12204      +16     
==========================================
+ Hits        11212    11229      +17     
  Misses        869      869              
+ Partials      107      106       -1     

Flag	Coverage Δ
	92.01% <100.00%> (+0.01%)	⬆️

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.

[andrewmilson]

Reviewable status: 2 of 6 files reviewed, all discussions resolved (waiting on @shaharsamocha7)

[alonh5]

Merge activity

• Sep 24, 4:47 AM EDT: @alonh5 started a stack merge that includes this pull request via Graphite.
• Sep 24, 4:54 AM EDT: Graphite rebased this pull request as part of a merge.
• Sep 24, 4:58 AM EDT: @alonh5 merged this pull request with Graphite.