Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Resolve the stack overflow issue when evaluating polynomials in-circuit #166

Merged
merged 3 commits into from
Oct 3, 2024

Conversation

winderica
Copy link
Contributor

@winderica winderica commented Oct 3, 2024

This PR uncomments the code for evaluating polynomials in-circuit, because the stack overflow issue was already addressed in arkworks-rs/r1cs-std#145. There was another issue in r1cs-std that caused panics during polynomial interpolation, which is now fixed in winderica/r1cs-std@7060222 (corresponding PR: arkworks-rs/r1cs-std#148).

Closes #80 and #130.

Copy link
Collaborator

@arnaucube arnaucube left a comment

Choose a reason for hiding this comment

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

Awesome 🙌 !!!

Great work, and thanks for already porting the new fix to the cherry-picked r1cs-std branch so that we can already benefit from it!

@arnaucube arnaucube requested a review from CPerezz October 3, 2024 14:29
Copy link
Member

@CPerezz CPerezz left a comment

Choose a reason for hiding this comment

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

LGTM!

@CPerezz CPerezz added this pull request to the merge queue Oct 3, 2024
Merged via the queue into privacy-scaling-explorations:main with commit ed14889 Oct 3, 2024
8 checks passed
@arnaucube arnaucube added this to the Stabilize lib milestone milestone Oct 4, 2024
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.

ark-r1cs-std interpolate_and_evaluate failing for n>11
3 participants