Add blake2s implementation for SIMD backend

[andrewmilson]

This change is 

[andrewmilson]

• 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

Attention: Patch coverage is 80.64516% with 60 lines in your changes are missing coverage. Please review.

Project coverage is 91.02%. Comparing base (24935cf) to head (9f342e8).

Files	Patch %	Lines
crates/prover/src/core/backend/simd/blake2s.rs	80.64%	60 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##              dev     #601      +/-   ##
==========================================
- Coverage   91.36%   91.02%   -0.34%     
==========================================
  Files          76       77       +1     
  Lines        9497     9807     +310     
  Branches     9497     9807     +310     
==========================================
+ Hits         8677     8927     +250     
- Misses        751      811      +60     
  Partials       69       69              

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

[github-actions]

⚠️ Performance Alert ⚠️

Possible performance regression was detected for benchmark.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 2.

Benchmark suite	Current: 64bba16	Previous: 3d666a1	Ratio
cpu bit_rev 24bit	425012444 ns/iter (± 16504444)	192851383 ns/iter (± 4615303)	2.20

This comment was automatically generated by workflow using github-action-benchmark.

CC: @spapinistarkware

[shaharsamocha7]

Reviewable status: 0 of 3 files reviewed, 3 unresolved discussions (waiting on @andrewmilson)

---

crates/prover/src/core/backend/simd/blake2s.rs line 270 at r2 (raw file):

/// representing 16 packed instances of a message word.
/// # Safety
pub unsafe fn transpose_msgs(mut data: [u32x16; 16]) -> [u32x16; 16] {

rename

Suggestion:

pub unsafe fn transpose_states(mut data: [u32x16; 16]) -> [u32x16; 16] {

---

crates/prover/src/core/backend/simd/blake2s.rs line 306 at r2 (raw file):

    for _ in 0..3 {
        states = [
            LoLoInterleaveHiLo::concat_swizzle(states[0], states[4]),

Fix as we discussed.

Code quote:

LoLoInterleaveHiLo::concat_swizzle(states[0], states[4]),

[andrewmilson]

Reviewable status: 0 of 3 files reviewed, 3 unresolved discussions (waiting on @shaharsamocha7)

---

crates/prover/src/core/backend/simd/blake2s.rs line 270 at r2 (raw file):

Previously, shaharsamocha7 wrote…

rename

transpose_states is a different function

---

crates/prover/src/core/backend/simd/blake2s.rs line 306 at r2 (raw file):

Previously, shaharsamocha7 wrote…

Fix as we discussed.

Is already updated.

[spapinistarkware]

Reviewed 1 of 3 files at r2, 2 of 2 files at r3, all commit messages.
Reviewable status: all files reviewed, 3 unresolved discussions (waiting on @shaharsamocha7)

[spapinistarkware]

Reviewed 1 of 1 files at r5.
Reviewable status: all files reviewed (commit messages unreviewed), 1 unresolved discussion (waiting on @shaharsamocha7)

[shaharsamocha7]

Reviewable status: all files reviewed (commit messages unreviewed), 1 unresolved discussion (waiting on @spapinistarkware)