A comment in the impl says:
|
// The points (X, Y, Z) and (X', Y', Z') |
|
// are equal when (X * Z^2) = (X' * Z'^2) |
|
// and (Y * Z^3) = (Y' * Z'^3). |
However, the impl seems to actually check this:
// The points (X, Y, Z) and (X', Y', Z')
// are equal when (X * Z'^2) = (X' * Z^2)
// and (Y * Z'^3) = (Y' * Z^3).
I think the comment is wrong and the implementation is correct. Either way, this should be fixed.
A comment in the impl says:
pairing/src/bls12_381/ec.rs
Lines 55 to 57 in 183a64b
However, the impl seems to actually check this:
I think the comment is wrong and the implementation is correct. Either way, this should be fixed.