Skip to content

Conversation

@dot-asm
Copy link
Collaborator

@dot-asm dot-asm commented Jan 31, 2022

See #101 for details.

Copy link
Contributor

@mratsim mratsim left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I still think it's better to use the canonical representation instead of assuming Fp2 -> Fp6 -> Fp12 towering.

I found a paper mentioning it as well:

chapter 6.4

  • Multiplication and Squaring on Pairing-Friendly Fields
    Augusto Jun Devegili and Colm Ó hÉigeartaigh and Michael Scott and Ricardo Dahab, 2006
    https://eprint.iacr.org/2006/471

image

@dot-asm
Copy link
Collaborator Author

dot-asm commented Feb 15, 2022

I still think it's better to use the canonical representation instead of assuming Fp2 -> Fp6 -> Fp12 towering.

And that's what I aimed for. What did I miss? Note that loops are in "inverse" order. I mean for non-canonical representation the outer loop would have 2 iterations...

Copy link

@MariusVanDerWijden MariusVanDerWijden left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@MariusVanDerWijden
Copy link

Friendly bump.
We would love to add BLST to our differential fuzzer that runs on oss-fuzz and the only thing missing is this PR

@dot-asm
Copy link
Collaborator Author

dot-asm commented May 26, 2022

Committed. Thanks for the feedback! And the bump ;-)

@dot-asm dot-asm closed this May 26, 2022
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

Successfully merging this pull request may close these issues.

3 participants