diff --git a/CHANGELOG.md b/CHANGELOG.md
index 8a36eebbd..265403eab 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -11,6 +11,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 - Add verification for invalid jumps. [#36](https://github.com/0xPolygonZero/zk_evm/pull/36)
 - Refactor accessed lists as sorted linked lists ([#30](https://github.com/0xPolygonZero/zk_evm/pull/30))
 - Change visibility of `compact` mod ([#57](https://github.com/0xPolygonZero/zk_evm/pull/57))
+- Fix running doctests in release mode ([#60](https://github.com/0xPolygonZero/zk_evm/pull/60))
 - Fix block padding without withdrawals ([#63](https://github.com/0xPolygonZero/zk_evm/pull/63))
 - Change position of empty node encoding in RLP segment ([#62](https://github.com/0xPolygonZero/zk_evm/pull/62))
 
diff --git a/evm_arithmetization/src/prover.rs b/evm_arithmetization/src/prover.rs
index e1b0f15f8..5cd5d35d6 100644
--- a/evm_arithmetization/src/prover.rs
+++ b/evm_arithmetization/src/prover.rs
@@ -14,8 +14,6 @@ use plonky2::plonk::config::GenericConfig;
 use plonky2::timed;
 use plonky2::util::timing::TimingTree;
 use starky::config::StarkConfig;
-#[cfg(debug_assertions)]
-use starky::cross_table_lookup::debug_utils::check_ctls;
 use starky::cross_table_lookup::{get_ctl_data, CtlData};
 use starky::lookup::GrandProductChallengeSet;
 use starky::proof::{MultiProof, StarkProofWithMetadata};
@@ -27,8 +25,6 @@ use crate::cpu::kernel::aggregator::KERNEL;
 use crate::generation::{generate_traces, GenerationInputs};
 use crate::get_challenges::observe_public_values;
 use crate::proof::{AllProof, PublicValues};
-#[cfg(debug_assertions)]
-use crate::verifier::debug_utils::get_memory_extra_looking_values;
 
 /// Generate traces, then create all STARK proofs.
 pub fn prove<F, C, const D: usize>(
@@ -149,6 +145,10 @@ where
     // enabled.
     #[cfg(debug_assertions)]
     {
+        use starky::cross_table_lookup::debug_utils::check_ctls;
+
+        use crate::verifier::debug_utils::get_memory_extra_looking_values;
+
         let mut extra_values = HashMap::new();
         extra_values.insert(
             *Table::Memory,
diff --git a/evm_arithmetization/src/verifier.rs b/evm_arithmetization/src/verifier.rs
index 6b2995399..52fa5304f 100644
--- a/evm_arithmetization/src/verifier.rs
+++ b/evm_arithmetization/src/verifier.rs
@@ -282,7 +282,6 @@ where
     running_sum + challenge.combine(row.iter()).inverse()
 }
 
-#[cfg(debug_assertions)]
 pub(crate) mod debug_utils {
     use super::*;