Update EIP-2537: Update eip-2537.md - test for pairing operation

Merged by EIP-Bot.
goodactive · Apr 12, 2024 · 86abe06 · 86abe06
1 parent c6692c8
commit 86abe06
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/EIPS/eip-2537.md b/EIPS/eip-2537.md
@@ -363,8 +363,11 @@ Required properties for basic ops (add/multiply):
 
 Required properties for pairing operation:
 
-- Degeneracy `e(P, 0*Q) = e(0*P, Q) = 1`
-- Bilinearity `e(a*P, b*Q) = e(a*b*P, Q) = e(P, a*b*Q)` (internal test, not visible through ABI)
+- Bilinearity `e(a*P, b*Q) = e(a*b*P, Q) = e(P, a*b*Q)`
+- Non-degeneracy `e(P, Q) != 1`
+- `e(P, 0*Q) = e(0*P, Q) = 1`
+- `e(P, -Q) = e(-P, Q)`
+
 
 Test vectors can be found [in the test vectors files](../assets/eip-2537/test-vectors.md).