Skip to content

Optimisations to IPA verifier. Defer folding of generators until fina… - #1356

Merged
adecaro merged 2 commits into
LFDT-Panurus:mainfrom
nitsatiisc:range-proof-optimisation
Feb 18, 2026
Merged

Optimisations to IPA verifier. Defer folding of generators until fina…#1356
adecaro merged 2 commits into
LFDT-Panurus:mainfrom
nitsatiisc:range-proof-optimisation

Conversation

@nitsatiisc

Copy link
Copy Markdown
Contributor

Defer folding of generators in IPA verifier to final round. Use 2n sized MSM to compute folded generators instead of 4n group-exp while folding with rounds. Gives about 2x speed-up

@nitsatiisc
nitsatiisc force-pushed the range-proof-optimisation branch from eab1fd3 to b6c0860 Compare February 17, 2026 11:12
@adecaro
adecaro force-pushed the range-proof-optimisation branch from 854c562 to f2d3ecd Compare February 17, 2026 13:51
@adecaro adecaro self-assigned this Feb 17, 2026
@adecaro
adecaro self-requested a review February 17, 2026 13:57
@adecaro adecaro added this to the Q1/26 milestone Feb 17, 2026
@AkramBitar AkramBitar linked an issue Feb 17, 2026 that may be closed by this pull request
@adecaro
adecaro force-pushed the range-proof-optimisation branch 3 times, most recently from adb2d4d to d24b4d7 Compare February 18, 2026 13:29

@adecaro adecaro 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.

LGTM. Thanks Nitin

nitsatiisc and others added 2 commits February 18, 2026 15:03
…l round. Use 2n sized MSM to compute folded generators instead of 4n group-exp while folding with rounds. Gives about 2x speed-up

Signed-off-by: Nitin Singh <nitisin1@in.ibm.com>
Signed-off-by: Angelo De Caro <adc@zurich.ibm.com>
@adecaro
adecaro force-pushed the range-proof-optimisation branch from d24b4d7 to 068e7e0 Compare February 18, 2026 14:03
@adecaro
adecaro merged commit b79b61c into LFDT-Panurus:main Feb 18, 2026
98 of 100 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Defer folding of generators in IPA verifier to final round

2 participants