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

Test IPA verification with polynomials of 11 - 14 variables #52

Open
storojs72 opened this issue Feb 7, 2024 · 1 comment
Open

Test IPA verification with polynomials of 11 - 14 variables #52

storojs72 opened this issue Feb 7, 2024 · 1 comment
Assignees

Comments

@storojs72
Copy link
Member

storojs72 commented Feb 7, 2024

#51 adds IPA verification over Grumpkin. Successful verification is tested using polynomial with 2 variables. It is rather interesting and useful to test it over polynomials with 11-14 variables as they are closer to real verification settings (Lurk proofs). If they will produce OutOfGas, we can reduce number of variables and wait for a CycleFold

@storojs72 storojs72 self-assigned this Feb 7, 2024
@storojs72
Copy link
Member Author

With argumentcomputer/arecibo#341 it is possible to generate IPA test-vector for various number of variables. There was detected that KeccakTranscript produces different r_vec using 3 and more variables and therefore, wrong values of P_hat_right and P_hat_left are compared at final verification.

Another detected bug is triggering following assert, when 5 and more variables are used.

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

No branches or pull requests

1 participant