-
Notifications
You must be signed in to change notification settings - Fork 155
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
Ns/zk curve conformance #1743
Ns/zk curve conformance #1743
Conversation
ff58f71
to
123251d
Compare
123251d
to
ba7b7a5
Compare
ba7b7a5
to
bf57764
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Needs some tests please :)
bf57764
to
646181c
Compare
646181c
to
0cf5de0
Compare
0cf5de0
to
6773a79
Compare
6773a79
to
7befd57
Compare
@IceTDrinker if you could just validate the workflow/Makefile part of the last commit (I rebased so looking at the commit will be easier) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
If fast zk tests pass this si good for me
Closes: https://github.com/zama-ai/tfhe-rs-internal/issues/744
Adds conformance for zk proof and crs.
Proof conformance checks that the points are on the curve and in the correct subgroup.
Crs conformance also checks that the crs is valid for the parameters.