diff --git a/evm/src/cpu/kernel/asm/curve/bn254/field_arithmetic/inverse.asm b/evm/src/cpu/kernel/asm/curve/bn254/field_arithmetic/inverse.asm
index 8e821f82..6214f385 100644
--- a/evm/src/cpu/kernel/asm/curve/bn254/field_arithmetic/inverse.asm
+++ b/evm/src/cpu/kernel/asm/curve/bn254/field_arithmetic/inverse.asm
@@ -6,7 +6,10 @@
     MULFP254
 %endmacro
 
-// Non-deterministically provide the inverse modulo N.
+// Non-deterministically provide the inverse x^-1 of x modulo N.
+// If x === 0 mod N, this function panics.
+// Although the official prover provides the unique inverse <N
+// this macro only checks that x * x^-1 === 0 mod N
 %macro inv_fp254
     // stack:        x
     PROVER_INPUT(ff::bn254_base::inverse)