diff --git a/crates/prover/src/core/backend/cpu/lookups/gkr.rs b/crates/prover/src/core/backend/cpu/lookups/gkr.rs
new file mode 100644
index 000000000..53a14391f
--- /dev/null
+++ b/crates/prover/src/core/backend/cpu/lookups/gkr.rs
@@ -0,0 +1,72 @@
+use crate::core::backend::CpuBackend;
+use crate::core::fields::qm31::SecureField;
+use crate::core::lookups::gkr_prover::{GkrMultivariatePolyOracle, GkrOps, Layer};
+use crate::core::lookups::mle::Mle;
+
+impl GkrOps for CpuBackend {
+    fn gen_eq_evals(y: &[SecureField], v: SecureField) -> Mle<Self, SecureField> {
+        Mle::new(gen_eq_evals(y, v))
+    }
+
+    fn next_layer(_layer: &Layer<Self>) -> Layer<Self> {
+        todo!()
+    }
+
+    fn sum_as_poly_in_first_variable(
+        _h: &GkrMultivariatePolyOracle<'_, Self>,
+        _claim: SecureField,
+    ) -> crate::core::lookups::utils::UnivariatePoly<SecureField> {
+        todo!()
+    }
+}
+
+/// Returns evaluations `eq(x, y) * v` for all `x` in `{0, 1}^n`.
+///
+/// Evaluations are returned in bit-reversed order.
+fn gen_eq_evals(y: &[SecureField], v: SecureField) -> Vec<SecureField> {
+    let mut evals = Vec::with_capacity(1 << y.len());
+    evals.push(v);
+
+    for &y_i in y.iter().rev() {
+        for j in 0..evals.len() {
+            // `lhs[j] = eq(0, y_i) * c[i]`
+            // `rhs[j] = eq(1, y_i) * c[i]`
+            let tmp = evals[j] * y_i;
+            evals.push(tmp);
+            evals[j] -= tmp;
+        }
+    }
+
+    evals
+}
+
+#[cfg(test)]
+mod tests {
+    use num_traits::{One, Zero};
+
+    use crate::core::backend::CpuBackend;
+    use crate::core::fields::m31::BaseField;
+    use crate::core::fields::qm31::SecureField;
+    use crate::core::lookups::gkr_prover::GkrOps;
+    use crate::core::lookups::utils::eq;
+
+    #[test]
+    fn gen_eq_evals() {
+        let zero = SecureField::zero();
+        let one = SecureField::one();
+        let two = BaseField::from(2).into();
+        let y = [7, 3].map(|v| BaseField::from(v).into());
+
+        let eq_evals = CpuBackend::gen_eq_evals(&y, two);
+
+        assert_eq!(
+            **eq_evals,
+            [
+                eq(&[zero, zero], &y) * two,
+                eq(&[zero, one], &y) * two,
+                eq(&[one, zero], &y) * two,
+                eq(&[one, one], &y) * two,
+            ]
+        );
+    }
+}
diff --git a/crates/prover/src/core/backend/cpu/lookups/mod.rs b/crates/prover/src/core/backend/cpu/lookups/mod.rs
index 1c1a481ae..34395e985 100644
--- a/crates/prover/src/core/backend/cpu/lookups/mod.rs
+++ b/crates/prover/src/core/backend/cpu/lookups/mod.rs
@@ -1 +1,2 @@
+mod gkr;
 mod mle;