From 86abe0649f138816ea7586ac4a4213ac08e6f812 Mon Sep 17 00:00:00 2001
From: Antonio Sanso <antonio.sanso@gmail.com>
Date: Fri, 12 Apr 2024 18:01:46 +0200
Subject: [PATCH] Update EIP-2537: Update eip-2537.md - test for pairing
 operation

Merged by EIP-Bot.
---
 EIPS/eip-2537.md | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/EIPS/eip-2537.md b/EIPS/eip-2537.md
index 2bba479052f790..61fee317447b71 100644
--- 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).