Skip to content

feat(backend): use custom gate for Schnorr signature verification#397

Merged
ax0 merged 11 commits into0xPARC:mainfrom
ax0:ec-add-opt
Sep 3, 2025
Merged

feat(backend): use custom gate for Schnorr signature verification#397
ax0 merged 11 commits into0xPARC:mainfrom
ax0:ec-add-opt

Conversation

@ax0
Copy link
Collaborator

@ax0 ax0 commented Aug 26, 2025

Resolves #385.

@ed255 ed255 self-requested a review August 26, 2025 13:08
Copy link
Collaborator

@ed255 ed255 left a comment

Choose a reason for hiding this comment

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

I've done an initial review pass. I've reviewed all files except for src/backends/plonky2/primitives/ec/gates/curve.rs

Copy link
Collaborator

@ed255 ed255 left a comment

Choose a reason for hiding this comment

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

I've left a few more small comments but overall looks good to me!
Nevertheless I would like to request @dgulotta to do a second review because I don't have much experience with elliptic curve operations.

@ax0 ax0 requested a review from dgulotta September 2, 2025 13:30
Copy link
Collaborator

@dgulotta dgulotta left a comment

Choose a reason for hiding this comment

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

There are a few minor things that can be cleaned up, but otherwise it looks good!

Copy link
Collaborator

@ed255 ed255 left a comment

Choose a reason for hiding this comment

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

LGTM!

@ax0 ax0 merged commit 1479400 into 0xPARC:main Sep 3, 2025
6 checks passed
@ed255 ed255 mentioned this pull request Sep 3, 2025
ed255 added a commit that referenced this pull request Sep 8, 2025
- Update formula in `estimate_verif_num_gates` after the update in the recursive verification from #397
- Update the parameters to get better utilization of 2^16 rows
- Update metrics report to be more compact
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 ECAdd gate

4 participants