diff --git a/evm/src/arithmetic/modular.rs b/evm/src/arithmetic/modular.rs
index 2335d029..4e540cb6 100644
--- a/evm/src/arithmetic/modular.rs
+++ b/evm/src/arithmetic/modular.rs
@@ -210,7 +210,7 @@ fn bigint_to_columns<const N: usize>(num: &BigInt) -> [i64; N] {
 /// NB: `operation` can set the higher order elements in its result to
 /// zero if they are not used.
 pub(crate) fn generate_modular_op<F: PrimeField64>(
-    lv: &mut [F],
+    lv: &[F],
     nv: &mut [F],
     filter: usize,
     pol_input: [i64; 2 * N_LIMBS - 1],
diff --git a/evm/src/witness/util.rs b/evm/src/witness/util.rs
index 755981e5..7d32d5d3 100644
--- a/evm/src/witness/util.rs
+++ b/evm/src/witness/util.rs
@@ -68,7 +68,7 @@ pub(crate) fn mem_read_with_log<F: Field>(
 pub(crate) fn mem_write_log<F: Field>(
     channel: MemoryChannel,
     address: MemoryAddress,
-    state: &mut GenerationState<F>,
+    state: &GenerationState<F>,
     val: U256,
 ) -> MemoryOp {
     MemoryOp::new(
@@ -96,7 +96,7 @@ pub(crate) fn mem_read_code_with_log_and_fill<F: Field>(
 pub(crate) fn mem_read_gp_with_log_and_fill<F: Field>(
     n: usize,
     address: MemoryAddress,
-    state: &mut GenerationState<F>,
+    state: &GenerationState<F>,
     row: &mut CpuColumnsView<F>,
 ) -> (U256, MemoryOp) {
     let (val, op) = mem_read_with_log(MemoryChannel::GeneralPurpose(n), address, state);