Skip to content

perf: add more parallelisation to gkr prover#218

Open
yoaveshel wants to merge 2 commits intoav_gkr_compilerfrom
ye_gkr_prover_opt
Open

perf: add more parallelisation to gkr prover#218
yoaveshel wants to merge 2 commits intoav_gkr_compilerfrom
ye_gkr_prover_opt

Conversation

@yoaveshel
Copy link

@yoaveshel yoaveshel commented Feb 26, 2026

What ❔

Reduced proving time from ~54s to ~51s.

  • Adds distribute_powers_parallel to fft
  • Uses it in stage1 to parallelize coset LDE computation
  • Precomputes combined_challenges = r1 * r2 in BaseFieldPolySourceAfterTwoFoldings to eliminate a redundant extension field multiplication on every get_at_index call during the two-folding step

Why ❔

Is this a breaking change?

  • Yes
  • No

Checklist

  • PR title corresponds to the body of PR (we generate changelog entries from PRs).
  • Tests for the changes have been added / updated.
  • Documentation comments have been added / updated.
  • Code has been formatted.

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.

1 participant