Skip to content

Cache LDE from Round 1 to skip recomputation in Rounds 2-4#492

Merged
MauroToscano merged 7 commits into
mainfrom
feat/cache-lde-round1
Apr 15, 2026
Merged

Cache LDE from Round 1 to skip recomputation in Rounds 2-4#492
MauroToscano merged 7 commits into
mainfrom
feat/cache-lde-round1

Conversation

@gabrielbosio

Copy link
Copy Markdown
Collaborator

No description provided.

@gabrielbosio

Copy link
Copy Markdown
Collaborator Author

/bench

Comment thread crypto/stark/src/prover.rs Outdated
Comment thread crypto/stark/src/prover.rs Outdated
@github-actions

github-actions Bot commented Apr 13, 2026

Copy link
Copy Markdown

Benchmark — fib_iterative_8M (median of 3)

Table parallelism: 32 (auto = cores / 3)

Metric main PR Δ
Peak heap 220713 MB 67504 MB -153209 MB (-69.4%) 🟢
Prove time 46.732s 37.519s -9.213s (-19.7%) 🟢

🎉 Improvement detected — heap or time decreased by more than 5%.

✅ Low variance (time: 1.6%, heap: 2.4%)

Commit: 97e0e91 · Baseline: built from main · Runner: self-hosted bench

@gabrielbosio
gabrielbosio force-pushed the feat/cache-lde-round1 branch from 5626d8b to 9135f11 Compare April 13, 2026 21:24
@gabrielbosio
gabrielbosio marked this pull request as ready for review April 13, 2026 21:25
@yetanotherco yetanotherco deleted a comment from github-actions Bot Apr 13, 2026
@yetanotherco yetanotherco deleted a comment from claude Bot Apr 13, 2026
@yetanotherco yetanotherco deleted a comment from claude Bot Apr 14, 2026
@yetanotherco yetanotherco deleted a comment from github-actions Bot Apr 14, 2026

@MauroToscano MauroToscano left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pool shouldn't be needed now, since it's being emptied all the time. We can remove all the complexity of that code and only use the cache

@gabrielbosio

Copy link
Copy Markdown
Collaborator Author

Pool shouldn't be needed now, since it's being emptied all the time. We can remove all the complexity of that code and only use the cache

Done in #498

@gabrielbosio

Copy link
Copy Markdown
Collaborator Author

/bench

* Simplification

* Rename metadata -> cache

* Rework

* CacheLDE -> LDE

* Drop has_aux_trace param from build_round1

* Route reconstruct_round1 through build_round1

* Revert "Drop has_aux_trace param from build_round1"

This reverts commit 164c7c0.

* Pass has_aux_trace to build_round1 from reconstruct_round1

---------

Co-authored-by: gabrielbosio <gabrielbosio95@gmail.com>
@gabrielbosio

Copy link
Copy Markdown
Collaborator Author

/bench

@MauroToscano
MauroToscano enabled auto-merge April 15, 2026 20:22
@MauroToscano
MauroToscano added this pull request to the merge queue Apr 15, 2026
Merged via the queue into main with commit 35b4ab5 Apr 15, 2026
10 checks passed
@MauroToscano
MauroToscano deleted the feat/cache-lde-round1 branch April 15, 2026 20:39
jotabulacios pushed a commit that referenced this pull request Apr 16, 2026
* Cache LDE from Round 1 to skip recomputation in Rounds 2-4

* Remove timing profile script (moved to separate PR)

* Document memory trade-off, fix expect messages

* Fix stale trace_lde comment in prove_rounds_2_to_4

* Remove dead trace_lde telemetry field

* Remove LDE column pool, commit functions own their buffers (#498)

* Simplification (#500)

* Simplification

* Rename metadata -> cache

* Rework

* CacheLDE -> LDE

* Drop has_aux_trace param from build_round1

* Route reconstruct_round1 through build_round1

* Revert "Drop has_aux_trace param from build_round1"

This reverts commit 164c7c0.

* Pass has_aux_trace to build_round1 from reconstruct_round1

---------

Co-authored-by: gabrielbosio <gabrielbosio95@gmail.com>

---------

Co-authored-by: Mauro Toscano <12560266+MauroToscano@users.noreply.github.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