-
Notifications
You must be signed in to change notification settings - Fork 17
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
Endo #128
Endo #128
Conversation
… the branch sage_scripts_params there are new checks regarding endo_mul in check_curve_parameters.sage
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.
In my opinion now, at least from a mathematical point of view, everything is fine: endo_mul needs 3.5 constraints per bit. I checked also the consistency of the new parameters ENDO_COEFF and ENDO_SCALAR.
I do not know what is the reason of the failing check (https://github.com/HorizenOfficial/ginger-lib/runs/3851741018).
r1cs/gadgets/std/src/groups/curves/short_weierstrass/short_weierstrass_jacobian.rs
Show resolved
Hide resolved
…. Now the lattice test is necessary and sufficient for the injectivity.
…. Now the lattice test is necessary and sufficient for the injectivity.
…. Now the lattice test is necessary and sufficient for the injectivity.
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.
Ok for me, must rebase on top of dev and fix CI
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.
Besides that some conflicts in the parameter testing script need to be resolved, everything is fine.
We could further reduce code duplication by giving a default implementation of the EndoMulCurve
trait. Not knowing of any other endomorphism-based algorithm in our scope of work, I believe that this would not conflict a generic attitude.
Endomorphism implementation for native algebra end gadget