relation tracker

[ohad-starkware]

macro export (#900)

Commit to FRI first layer (#897)

Exported shared code to temp variables in ExprEvaluator. (#893)

relation tracker

[reviewable-StarkWare]

This change is 

[ohad-starkware]

• relation tracker #912
• relation summary #911
• relation tracker #909 👈 (View in Graphite)
• dev

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

[codecov-commenter]

Codecov Report

Attention: Patch coverage is 0% with 120 lines in your changes missing coverage. Please review.

Project coverage is 90.96%. Comparing base (4d64300) to head (b4fefbf).
Report is 11 commits behind head on dev.

Files with missing lines	Patch %	Lines
...rover/src/constraint_framework/relation_tracker.rs	0.00%	117 Missing ⚠️
crates/prover/src/core/pcs/utils.rs	0.00%	3 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##              dev     #909      +/-   ##
==========================================
- Coverage   91.69%   90.96%   -0.73%     
==========================================
  Files          93       94       +1     
  Lines       13164    13486     +322     
  Branches    13164    13486     +322     
==========================================
+ Hits        12071    12268     +197     
- Misses        980     1107     +127     
+ Partials      113      111       -2     

☔ 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: b4fefbf	Previous: cd8b37b	Ratio
iffts/simd ifft/22	12882287 ns/iter (± 168474)	6306399 ns/iter (± 210024)	2.04
merkle throughput/simd merkle	31097667 ns/iter (± 322403)	13712527 ns/iter (± 579195)	2.27

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

CC: @shaharsamocha7

[Alon-Ti]

Reviewed 2 of 5 files at r1, 3 of 3 files at r3, all commit messages.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @ohad-starkware and @shaharsamocha7)

---

crates/prover/src/core/pcs/utils.rs line 44 at r3 (raw file):

}

/// Converts `&TreeVec<&Vec<T>>` to `TreeVec<Vec<&T>>`.

Thank you! I needed this like 3 times and was always too lazy.

[ohad-starkware]

Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @Alon-Ti and @shaharsamocha7)

---

crates/prover/src/core/pcs/utils.rs line 44 at r3 (raw file):

Previously, Alon-Ti wrote…

Thank you! I needed this like 3 times and was always too lazy.

no problem bud

[ohad-starkware]

Merge activity

• Dec 2, 4:45 AM EST: A user started a stack merge that includes this pull request via Graphite.
• Dec 2, 4:45 AM EST: A user merged this pull request with Graphite.