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 57656259..b5e8a034 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
@@ -47,7 +47,6 @@ bn254_input_check:
     %add_const(2)
     %load_fp254_4
     // stack:           Q_j, j, k, inp
-    %pop4
     %bn_check_twisted
     // stack:        valid?, j, k, inp
     %assert_nonzero
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 579ec212..b87828de 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
@@ -57,12 +57,11 @@
 
 %macro bn_check_twisted_curve
     // stack:                  range, X, Y
-    %stack (range, X: 2, Y: 2) -> (Y, Y, range, X)
+    %stack (range, X: 2, Y: 2) -> (Y, Y, range, X, Y)
     // stack:            Y, Y, range, X, Y
     %mul_fp254_2
     // stack:             Y^2, range, X, Y
-    PUSH @BN_TWISTED_IM
-    PUSH @BN_TWISTED_RE
+    %stack () -> (@BN_TWISTED_RE, @BN_TWISTED_IM)
     // stack:          A, Y^2, range, X, Y
     %stack (A: 2, Y2: 2, range, X: 2) -> (X, X, X, A, Y2, range, X)
     // stack: X, X, X, A, Y^2, range, X, Y
diff --git a/evm/src/cpu/kernel/tests/bn254.rs b/evm/src/cpu/kernel/tests/bn254.rs
index c22b114a..ecc1ed1d 100644
--- a/evm/src/cpu/kernel/tests/bn254.rs
+++ b/evm/src/cpu/kernel/tests/bn254.rs
@@ -282,7 +282,6 @@ fn test_miller() -> Result<()> {
 
 #[test]
 fn test_bn_pairing() -> Result<()> {
-    let acc: usize = 200;
     let out: usize = 212;
     let ptr: usize = 224;