Blake round

[spapinistarkware]

This change is 

[spapinistarkware]

• #781
• #773
• #770
• #767 👈
• #765
• #764
• #761
• #712
• #711
• #710
• #708
• #707
• #715
• #714
• #713
• #706
• #705
• #704
• #702
• #701
• dev

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

Join @spapinistarkware and the rest of your teammates on Graphite

[codecov-commenter]

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Project coverage is 93.34%. Comparing base (c4f3336) to head (c845ef5).

Additional details and impacted files

```diff @@ Coverage Diff @@ ## dev #767 +/- ## ======================================= Coverage 93.34% 93.34% ======================================= Files 89 89 Lines 11957 11957 Branches 11957 11957 ======================================= Hits 11161 11161 Misses 695 695 Partials 101 101 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.

[shaharsamocha7]

crates/prover/src/examples/blake/mod.rs line 1 at r2 (raw file):

Previously, shaharsamocha7 wrote…

I'm not sure, but we had a page that explained the blake function flow. (wikipedia maybe?) I think that a reference to this could be good.

maybe here https://en.wikipedia.org/wiki/BLAKE_(hash_function)