diff --git a/evm_arithmetization/Cargo.toml b/evm_arithmetization/Cargo.toml
index 76c72debf..6c43f1cde 100644
--- a/evm_arithmetization/Cargo.toml
+++ b/evm_arithmetization/Cargo.toml
@@ -15,10 +15,10 @@ homepage.workspace = true
 keywords.workspace = true
 
 [dependencies]
-anyhow.workspace = true
 alloy.workspace = true
-alloy-serde.workspace = true
 alloy-primitives.workspace = true
+alloy-serde.workspace = true
+anyhow.workspace = true
 bytes.workspace = true
 env_logger.workspace = true
 ethereum-types.workspace = true
diff --git a/evm_arithmetization/src/cpu/kernel/interpreter.rs b/evm_arithmetization/src/cpu/kernel/interpreter.rs
index 4e1838933..e8d1f83f8 100644
--- a/evm_arithmetization/src/cpu/kernel/interpreter.rs
+++ b/evm_arithmetization/src/cpu/kernel/interpreter.rs
@@ -616,7 +616,10 @@ impl<F: RichField> State<F> for Interpreter<F> {
                 // Check stack.
                 if let Some(txn_stack) = cur_txn_struct_logs.stack {
                     let cur_stack = self.get_full_stack();
-                    let txn_stack = txn_stack.into_iter().map(U256::from).collect::<Vec<_>>();
+                    let txn_stack = txn_stack
+                        .into_iter()
+                        .map(|s| U256(*s.as_limbs()))
+                        .collect::<Vec<_>>();
 
                     if txn_stack != cur_stack {
                         log::warn!(