From 4d376857445ce9c3af8864bc8253771db2dbae97 Mon Sep 17 00:00:00 2001
From: wborgeaud <williamborgeaud@gmail.com>
Date: Tue, 5 Jul 2022 11:12:56 +0200
Subject: [PATCH] Comment

---
 evm/src/cpu/kernel/asm/curve_add.asm | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/evm/src/cpu/kernel/asm/curve_add.asm b/evm/src/cpu/kernel/asm/curve_add.asm
index f2a57277..271c556c 100644
--- a/evm/src/cpu/kernel/asm/curve_add.asm
+++ b/evm/src/cpu/kernel/asm/curve_add.asm
@@ -210,6 +210,8 @@ global ec_double:
     // stack: ec_add_equal_points, x0, y0, x0, y0, retdest
     JUMP
 
+// Assumption: x, y < N and 2N < 2^256.
+// Note: Doesn't hold for Secp256k1 base field.
 %macro submod
     JUMPDEST
     // stack: x, y