Skip to content

Use BaseColumnPool in CommitmentSchemeProver::commit to avoid allocation during polynomial evaluation.#1342

Open
ilyalesokhin-starkware wants to merge 1 commit intodevfrom
ilya/mem_pool2
Open

Use BaseColumnPool in CommitmentSchemeProver::commit to avoid allocation during polynomial evaluation.#1342
ilyalesokhin-starkware wants to merge 1 commit intodevfrom
ilya/mem_pool2

Conversation

@ilyalesokhin-starkware
Copy link
Collaborator

Add BaseColumnPool for Col<B, BaseField> buffers, add evaluate_into to PolyOps trait
(CPU and SIMD backends), and thread the pool through commit → CommitmentTreeProver::new
→ evaluate_polynomials. Buffers are pre-taken before parallel iteration.

Co-Authored-By: Claude Opus 4.6 noreply@anthropic.com

@reviewable-StarkWare
Copy link

This change is Reviewable

Copy link
Collaborator Author

ilyalesokhin-starkware commented Feb 25, 2026

@ilyalesokhin-starkware ilyalesokhin-starkware changed the base branch from ilya/mem_pool1 to graphite-base/1342 February 25, 2026 14:06
@ilyalesokhin-starkware ilyalesokhin-starkware changed the base branch from graphite-base/1342 to dev February 25, 2026 14:53
@codecov-commenter
Copy link

codecov-commenter commented Feb 25, 2026

Codecov Report

❌ Patch coverage is 62.39316% with 44 lines in your changes missing coverage. Please review.
✅ Project coverage is 91.69%. Comparing base (9593293) to head (7157213).

Files with missing lines Patch % Lines
crates/stwo/src/prover/mempool.rs 27.02% 26 Missing and 1 partial ⚠️
crates/stwo/src/prover/pcs/mod.rs 35.29% 11 Missing ⚠️
crates/stwo/src/core/utils.rs 40.00% 6 Missing ⚠️
Additional details and impacted files
@@            Coverage Diff             @@
##              dev    #1342      +/-   ##
==========================================
- Coverage   91.94%   91.69%   -0.25%     
==========================================
  Files         121      122       +1     
  Lines       15324    15419      +95     
  Branches    15324    15419      +95     
==========================================
+ Hits        14090    14139      +49     
- Misses       1140     1185      +45     
- Partials       94       95       +1     

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

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

…ion during polynomial evaluation.

Add BaseColumnPool for Col<B, BaseField> buffers, add evaluate_into to PolyOps trait
(CPU and SIMD backends), and thread the pool through commit → CommitmentTreeProver::new
→ evaluate_polynomials. Buffers are pre-taken before parallel iteration.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants