-
Notifications
You must be signed in to change notification settings - Fork 44
Special square, pow u in final exponentiation #36
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
base: master
Are you sure you want to change the base?
Conversation
| func (e *gfP12) SpecialSquare(a *gfP12) *gfP12 { | ||
| tmp := &gfP12{} | ||
|
|
||
| f02 := &tmp.y.x |
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.
Let' make clear what is the isomorphism.
gfp12.go
Outdated
| // easy part of the final exponentiation. Used in the hard part | ||
| // of the final exponentiation. Function uses formulas in | ||
| // Granger/Scott (PKC2010). | ||
| func (e *gfP12) SpecialSquare(a *gfP12) *gfP12 { |
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.
it can be renamed to SquareCyclotomic or something more shorter. Similarly for the exponentiation by u
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.
renamed to SquareCyclo6
gfp12_test.go
Outdated
| got := &gfP12{} | ||
| expected := &gfP12{} | ||
|
|
||
| got.SpecialSquare(in) |
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.
add some warning, since this test assume the input is in the cyclotomic subgroup.
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.
added requirement for input
|
Thanks for this. For ease of review, could you add more explicitly to each function what it does; what it assumes; and why it works. |
for details, pls refer #35