Convert wide_fibbonacci AVX backend example to SIMD backend

[andrewmilson]

This change is 

[andrewmilson]

• Add eval order and interpolate to SecureEvaluation #794
• Add MLE eval constraints #742
• Add eq evals constraints #741
• Add benchmarks for GKR lookups #673
• Implement LogupOps for SIMD backend #641
• Implement GrandProductOps for SIMD backend #640
• Implement GkrOps for SIMD backend #630
• Implement MleOps for SIMD backend #629
• Add GKR implementation of Logup lookups #623
• Add GKR implementation of Grand Product lookups #620
• Implement GkrOps for CPU backend #621
• Add batch GKR prover and verifier #581
• Rename CPU* structs to Cpu* to conform to Rust's naming convention #617
• Remove AVX backend #616
• Convert wide_fibbonacci AVX backend example to SIMD backend #615 👈
• Update CI to test Wasm simd128, avx2 and aarch64 neon #614
• Fix CirclePointIndex bug in debug mode for 32-bit archs #613
• Change opt-level in benchmarks script #612
• Add benchmarks for SIMD m31 #611
• Add benchmarks for SIMD merkle #610
• dev

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

Join @andrewmilson and the rest of your teammates on Graphite

[andrewmilson]

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

• Remove AVX backend #616
• Convert wide_fibbonacci AVX backend example to SIMD backend #615 👈
• Update CI to test Wasm simd128, avx2 and aarch64 neon #614
• Fix CirclePointIndex bug in debug mode for 32-bit archs #613
• Change opt-level in benchmarks script #612
• Add benchmarks for SIMD m31 #611
• Add benchmarks for SIMD merkle #610
• Add benchmarks for SIMD fft #609
• Add benchmarks for SIMD quotients #608
• Add benchmarks for SIMD eval_at_point #607
• Add benchmarks for SIMD bit_reverse #606
• Implement QuotientOps for SIMD backend #605
• Implement AccumulationOps for SIMD backend #604
• Implement FriOps for SIMD backend #603
• Implement PolyOps for SIMD backend #599
• Modify FFT implementation for SIMD backend #596
• Add FFT implementation for SIMD backend #602
• Modify blake2s implementation for SIMD backend #595
• Add blake2s implementation for SIMD backend #601
• Modify bit_reverse for SIMD backend #594
• Add bit_reverse for SIMD backend #600
• Implement FieldOps for SIMD backend #593
• Add SIMD backend arithmetic #592
• Enable 'rng.gen()'ing field types #591
• dev

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

Join @andrewmilson 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.06%. Comparing base (bbeb3be) to head (5c4b79c).

Additional details and impacted files

@@            Coverage Diff             @@
##              dev     #615      +/-   ##
==========================================
- Coverage   93.41%   93.06%   -0.36%     
==========================================
  Files          84       84              
  Lines       11909    11909              
  Branches    11909    11909              
==========================================
- Hits        11125    11083      -42     
- Misses        702      744      +42     
  Partials       82       82              

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

[alonh5]

Reviewable status: 0 of 2 files reviewed, 1 unresolved discussion (waiting on @andrewmilson)

a discussion (no related file):
Are the benchmarks as fast as our AVXBackend implementation?

---

[andrewmilson]

Reviewable status: 0 of 2 files reviewed, 1 unresolved discussion (waiting on @alonh5)

a discussion (no related file):

Previously, alonh5 (Alon Haramati) wrote…

Are the benchmarks as fast as our AVXBackend implementation?

Yes https://starkware-libs.github.io/stwo/dev/bench/index.html

---

[alonh5]

Reviewed 1 of 2 files at r1, 1 of 2 files at r2, 1 of 1 files at r3, all commit messages.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @andrewmilson)

---

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

        //   RUST_LOG_SPAN_EVENTS=enter,close RUST_LOG=info RUST_BACKTRACE=1 RUSTFLAGS="
        //   -C target-cpu=native -C target-feature=+avx512f -C opt-level=2" cargo test
        //   test_avx_wide_fib_prove -- --nocapture

Modify as well.

Code quote:

        // Note: To see time measurement, run test with
        //   RUST_LOG_SPAN_EVENTS=enter,close RUST_LOG=info RUST_BACKTRACE=1 RUSTFLAGS="
        //   -C target-cpu=native -C target-feature=+avx512f -C opt-level=2" cargo test
        //   test_avx_wide_fib_prove -- --nocapture