-
Notifications
You must be signed in to change notification settings - Fork 35
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
Curve whispering #54
Curve whispering #54
Conversation
simply unmatched. I think i'ma ronk with ya'll tomorrow. |
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.
nice!
# irreducible element: t^2-2 | ||
P = Ft(t ^ 2 - 2) | ||
# irreducible element: t^2 + 2 | ||
P = Ft(t ^ 2 + 2) |
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.
magical u polynomial. someday i want to learn how to find this irreducible element.
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.
There are some algorithms to do it! Essentially an irreducible element here means that it cannot be factored in our base field. Wheres x^ + 1 = (x+ 10)(x - 10) in our base field. That is a counter example!
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.
Galois tells us how
# irreducible element: t^2-2 | ||
P = Ft(t ^ 2 - 2) | ||
# irreducible element: t^2 + 2 | ||
P = Ft(t ^ 2 + 2) |
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.
Galois tells us how
This PR finished the g2 curve interface.
It starts on the setup part of KZG to generate the SRS. The last thing we need to do for this is to support a
from
for biguints.