Blake statement

[spapinistarkware]

This change is 

[spapinistarkware]

• Blake statement #781 👈
• Blake air #773
• Blake scheduler #770
• Blake round #767
• Optimized lookup combine #765
• Blake xor table #764
• Framework component #761
• Poseidon with logup #712
• Logup trace generation #711
• is_first constant column #710
• Poseidon plain proof #708
• ProverCommitmentScheme::commit_on_evals() #707
• Eval framework info #715
• Eval framework asserts #714
• Eval framework point and domain #713
• Eval framework #706
• Eval framework preperation #705
• Generalize AirExt::mask_points() #704
• Wrap mask with TreeVec #702
• Generalize component_trace() #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 ✅

Please upload report for BASE (spapini/07-30-blake_air@29d254b). Learn more about missing BASE report.

Additional details and impacted files

@@                    Coverage Diff                     @@
##             spapini/07-30-blake_air     #781   +/-   ##
==========================================================
  Coverage                           ?   93.06%           
==========================================================
  Files                              ?       89           
  Lines                              ?    11992           
  Branches                           ?    11992           
==========================================================
  Hits                               ?    11160           
  Misses                             ?      727           
  Partials                           ?      105           

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

[Alon-Ti]

up to comment fix

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, @shaharsamocha7, and @spapinistarkware)

---

crates/prover/src/examples/blake/air.rs line 415 at r1 (raw file):

    let all_elements = AllElements::draw(channel);

    // Interaction.trace.

Remove dot

[spapinistarkware]

Merge activity

• Aug 12, 6:21 AM EDT: @spapinistarkware started a stack merge that includes this pull request via Graphite.
• Aug 12, 6:24 AM EDT: Graphite rebased this pull request as part of a merge.
• Aug 12, 6:25 AM EDT: @spapinistarkware merged this pull request with Graphite.