Skip to content

perf: parallel build_lookup_fractions + drop cycle_lookups#3119

Merged
Nashtare merged 7 commits intonextfrom
robin/prover-perf-prep
May 9, 2026
Merged

perf: parallel build_lookup_fractions + drop cycle_lookups#3119
Nashtare merged 7 commits intonextfrom
robin/prover-perf-prep

Conversation

@Nashtare
Copy link
Copy Markdown
Contributor

@Nashtare Nashtare commented May 8, 2026

Describe your changes

Two small tweaks on the prover side. build_aux_trace_logup is about 3.8x faster on my machine (150ms -> 40ms) when running
./target/optimized/miden-vm prove ./miden-vm/masm-examples/hashing/blake3_1to1/blake3_1to1.masm --release --hasher poseidon2.
cycle_lookups was obsolete after #2962

Supersedes #3090
closes #2793

Checklist before requesting a review

  • Repo forked and branch created from next according to naming convention.
  • Commit messages and codestyle follow conventions.
  • Commits are signed.
  • Relevant issues are linked in the PR description.
  • Tests added for new functionality.
  • Documentation/comments updated according to changes.
  • Updated `CHANGELOG.md'

@Nashtare Nashtare requested review from adr1anh and huitseeker May 8, 2026 12:32
@Nashtare Nashtare self-assigned this May 8, 2026
@Nashtare Nashtare force-pushed the robin/prover-perf-prep branch from 3dee123 to 0fa1510 Compare May 8, 2026 12:34
Copy link
Copy Markdown
Collaborator

@huitseeker huitseeker left a comment

Choose a reason for hiding this comment

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

LGTM!, thanks for tackling this

Copy link
Copy Markdown
Contributor

@adr1anh adr1anh left a comment

Choose a reason for hiding this comment

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

LGTM!

Comment thread air/src/lookup/prover.rs Outdated
@Nashtare Nashtare merged commit eec1c96 into next May 9, 2026
23 checks passed
@Nashtare Nashtare deleted the robin/prover-perf-prep branch May 9, 2026 07:37
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.

Optimize range check lookups with struct-based storage

3 participants