diff --git a/evm/src/cpu/membus.rs b/evm/src/cpu/membus.rs
index 3ee75a65..bf7a03ae 100644
--- a/evm/src/cpu/membus.rs
+++ b/evm/src/cpu/membus.rs
@@ -34,7 +34,7 @@ pub mod channel_indices {
 pub const NUM_CHANNELS: usize = channel_indices::GP.end;
 
 /// Calculates `lv.stack_len_bounds_aux`. Note that this must be run after decode.
-pub fn generate<F: PrimeField64>(lv: &mut CpuColumnsView<F>) {
+pub fn generate<F: PrimeField64>(lv: &CpuColumnsView<F>) {
     let cycle_filter: F = COL_MAP.op.iter().map(|&col_i| lv[col_i]).sum();
     if cycle_filter != F::ZERO {
         assert!(lv.is_kernel_mode.to_canonical_u64() <= 1);
diff --git a/evm/src/witness/transition.rs b/evm/src/witness/transition.rs
index e9b8c09b..3ee8d4f5 100644
--- a/evm/src/witness/transition.rs
+++ b/evm/src/witness/transition.rs
@@ -281,7 +281,7 @@ fn try_perform_instruction<F: Field>(state: &mut GenerationState<F>) -> Result<(
     perform_op(state, op, row)
 }
 
-fn log_kernel_instruction<F: Field>(state: &mut GenerationState<F>, op: Operation) {
+fn log_kernel_instruction<F: Field>(state: &GenerationState<F>, op: Operation) {
     // The logic below is a bit costly, so skip it if debug logs aren't enabled.
     if !log_enabled!(log::Level::Debug) {
         return;
diff --git a/evm/src/witness/util.rs b/evm/src/witness/util.rs
index 7d32d5d3..0e2b3660 100644
--- a/evm/src/witness/util.rs
+++ b/evm/src/witness/util.rs
@@ -120,7 +120,7 @@ pub(crate) fn mem_read_gp_with_log_and_fill<F: Field>(
 pub(crate) fn mem_write_gp_log_and_fill<F: Field>(
     n: usize,
     address: MemoryAddress,
-    state: &mut GenerationState<F>,
+    state: &GenerationState<F>,
     row: &mut CpuColumnsView<F>,
     val: U256,
 ) -> MemoryOp {