Update EIP-2537: Update eip-2537.md

Merged by EIP-Bot.
blacksnow2 · Jul 21, 2024 · a1ec0e6 · a1ec0e6
1 parent b02ce8f
commit a1ec0e6
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/EIPS/eip-2537.md b/EIPS/eip-2537.md
@@ -333,6 +333,7 @@ Due to the large test parameters space, we first provide properties that various
 Required properties for basic ops (add/multiply):
 
 - Commutativity: `P + Q = Q + P`
+- Identity element: `P + 0 = P`
 - Additive negation: `P + (-P) = 0`
 - Doubling `P + P = 2*P`
 - Subgroup check: `group_order * P = 0`