diff --git a/evm/src/cpu/kernel/asm/curve/bn254/curve_arithmetic/pairing.asm b/evm/src/cpu/kernel/asm/curve/bn254/curve_arithmetic/pairing.asm
index 4f3fca6b..00c03051 100644
--- a/evm/src/cpu/kernel/asm/curve/bn254/curve_arithmetic/pairing.asm
+++ b/evm/src/cpu/kernel/asm/curve/bn254/curve_arithmetic/pairing.asm
@@ -12,6 +12,7 @@
 
 global bn254_pairing:
     // stack:    k, inp, out, retdest
+    %jump(bn254_pairing_loop) // this short circuits the input checks
     DUP1
     // stack: k, k, inp, out, retdest
 
diff --git a/evm/src/cpu/kernel/asm/curve/bn254/curve_arithmetic/twisted_curve.asm b/evm/src/cpu/kernel/asm/curve/bn254/curve_arithmetic/twisted_curve.asm
index 508664db..5b331d68 100644
--- a/evm/src/cpu/kernel/asm/curve/bn254/curve_arithmetic/twisted_curve.asm
+++ b/evm/src/cpu/kernel/asm/curve/bn254/curve_arithmetic/twisted_curve.asm
@@ -1,9 +1,9 @@
 // Check if (X,Y) is a valid curve point.
-// Returns (range & curve) || is_identity
+// Returns (range & curve) || ident
 //   where
 //     range = (x < N) & (x_ < N) & (y < N) & (y_ < N)
 //     curve = Y^2 == X^3 + A
-//     ident = (x,y) == (0,0)
+//     ident = (X,Y) == (0,0)
 
 %macro bn_check_twisted
     // stack:                x, x_, y, y_