Fix and finite field operations (isSquare, sqrt)#287

Merged

MartinMinkov merged 7 commits intomainfrom audit/field-curve-canon

Jul 31, 2024

+18-5

Commits on Jul 29, 2024

fix(finite-field): ensure isSquare and sqrt methods take input modulo p
MartinMinkov
committed
test(finite-field): add tests for non-canonical zero handling in sqrt and isSquare methods
MartinMinkov
committed

Commits on Jul 30, 2024

refactor(finite-field): simplify negate function to use mod(-x, p) instead of p - x for improved readability and consistency with other functions
MartinMinkov
committed
refactor(finite-field): improve sqrt and isSquare functions by modding input to ensure it's in the field
MartinMinkov
committed
test(finite-field): add test cases for non-canonical zero
MartinMinkov
committed
fix(finite-field): check for even number correctly by first reducing the number modulo p before checking the least significant bit
MartinMinkov
committed
docs(finite-field): add comment explaining the logic behind the equal method implementation
MartinMinkov
committed