Skip to content

Conversation

@shramee
Copy link

@shramee shramee commented Jan 18, 2024

  • Added mul_by_nonresidue() on impl Fq
  • mul_by_nonresidue() returns additive inverse
    • (q - 1) is a quadratic nonresidue in Fq
    • q - 1 ≡ - 1 and hence the additive inverse
  • Replaced <Fq> * fq_non_residue() calls by <Fq>.mul_by_nonresidue()
  • This basically replaces an M cost with an S (SubNC) cost.

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.

1 participant