@semaphore-protocol/contracts 3.3.0 → 3.5.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/base/Pairing.sol +2 -2
- package/package.json +1 -1
package/base/Pairing.sol
CHANGED
|
@@ -89,8 +89,8 @@ library Pairing {
|
|
|
89
89
|
/// @return r the product of a point on G1 and a scalar, i.e.
|
|
90
90
|
/// p == p.scalar_mul(1) and p.addition(p) == p.scalar_mul(2) for all points p.
|
|
91
91
|
function scalar_mul(G1Point memory p, uint256 s) public view returns (G1Point memory r) {
|
|
92
|
-
// By EIP-196 the values p.X and p.Y are verified to less than the BASE_MODULUS and
|
|
93
|
-
// form a valid point on the curve. But the scalar is not verified, so we do that
|
|
92
|
+
// By EIP-196 the values p.X and p.Y are verified to be less than the BASE_MODULUS and
|
|
93
|
+
// form a valid point on the curve. But the scalar is not verified, so we do that explicitly.
|
|
94
94
|
if (s >= SCALAR_MODULUS) {
|
|
95
95
|
revert InvalidProof();
|
|
96
96
|
}
|