diff --git a/src/core/poly/circle.rs b/src/core/poly/circle.rs
index 4919a4e9c..b1b1d194f 100644
--- a/src/core/poly/circle.rs
+++ b/src/core/poly/circle.rs
@@ -1,7 +1,7 @@
 use std::fmt::Debug;
 use std::iter::Chain;
 use std::marker::PhantomData;
-use std::ops::Deref;
+use std::ops::{Deref, Index};
 
 use super::utils::fold;
 use super::{BitReversedOrder, NaturalOrder};
@@ -29,9 +29,7 @@ impl CircleDomain {
     /// Constructs a domain for constraint evaluation.
     pub fn constraint_evaluation_domain(log_size: u32) -> Self {
         assert!(log_size > 0);
-        Self {
-            half_coset: Coset::new(CirclePointIndex::generator(), log_size - 1),
-        }
+        CircleDomain::new(Coset::new(CirclePointIndex::generator(), log_size - 1))
     }
 
     pub fn iter(&self) -> CircleDomainIterator {
@@ -263,6 +261,25 @@ impl<F: ExtensionOf<BaseField>> CircleEvaluation<F> {
         CirclePoly::new(values)
     }
 
+    pub fn fetch_eval_on_coset(&self, coset: Coset) -> CosetSubEvaluation<'_, F> {
+        assert!(coset.log_size() <= self.domain.half_coset.log_size());
+        if let Some(offset) = self.domain.half_coset.find(coset.initial_index) {
+            return CosetSubEvaluation::new(
+                &self.values[..self.domain.half_coset.size()],
+                offset,
+                coset.step_size / self.domain.half_coset.step_size,
+            );
+        }
+        if let Some(offset) = self.domain.half_coset.conjugate().find(coset.initial_index) {
+            return CosetSubEvaluation::new(
+                &self.values[self.domain.half_coset.size()..],
+                offset,
+                (-coset.step_size) / self.domain.half_coset.step_size,
+            );
+        }
+        panic!("Coset not found in domain");
+    }
+
     pub fn get_at(&self, point_index: CirclePointIndex) -> F {
         self.values[self.domain.find(point_index).expect("Not in domain")]
     }
@@ -276,6 +293,42 @@ impl<F: ExtensionOf<BaseField>> CircleEvaluation<F> {
     }
 }
 
+/// A part of a [CircleEvaluation], for a specific coset that is a subset of the circle domain.
+pub struct CosetSubEvaluation<'a, F: ExtensionOf<BaseField>> {
+    evaluation: &'a [F],
+    offset: usize,
+    step: usize,
+}
+
+impl<'a, F: ExtensionOf<BaseField>> CosetSubEvaluation<'a, F> {
+    fn new(evaluation: &'a [F], offset: usize, step: usize) -> Self {
+        assert!(evaluation.len().is_power_of_two());
+        Self {
+            evaluation,
+            offset,
+            step,
+        }
+    }
+}
+
+impl<'a, F: ExtensionOf<BaseField>> Index<isize> for CosetSubEvaluation<'a, F> {
+    type Output = F;
+
+    fn index(&self, index: isize) -> &Self::Output {
+        let index = ((self.offset as isize) + index * (self.step as isize))
+            & ((self.evaluation.len() - 1) as isize);
+        &self.evaluation[index as usize]
+    }
+}
+
+impl<'a, F: ExtensionOf<BaseField>> Index<usize> for CosetSubEvaluation<'a, F> {
+    type Output = F;
+
+    fn index(&self, index: usize) -> &Self::Output {
+        &self[index as isize]
+    }
+}
+
 impl<F: ExtensionOf<BaseField>> CircleEvaluation<F, BitReversedOrder> {
     pub fn bit_reverse(self) -> CircleEvaluation<F, NaturalOrder> {
         CircleEvaluation {
@@ -340,6 +393,10 @@ impl<F: ExtensionOf<BaseField>> CirclePoly<F> {
         Self { log_size, coeffs }
     }
 
+    pub fn log_size(&self) -> u32 {
+        self.log_size
+    }
+
     /// Evaluates the polynomial at a single point.
     pub fn eval_at_point<E: ExtensionOf<F>>(&self, point: CirclePoint<E>) -> E {
         // TODO(Andrew): Allocation here expensive for small polynomials.
@@ -618,4 +675,16 @@ mod tests {
             extended.eval_at_point(random_point)
         );
     }
+
+    #[test]
+    fn test_sub_evaluation() {
+        let domain = CanonicCoset::new(7).circle_domain();
+        let values = (0..domain.size()).map(|i| m31!(i as u32)).collect();
+        let circle_evaluation = CircleEvaluation::<BaseField>::new(domain, values);
+        let coset = Coset::new(domain.index_at(17), 3);
+        let sub_eval = circle_evaluation.fetch_eval_on_coset(coset);
+        for i in 0..coset.size() {
+            assert_eq!(sub_eval[i], circle_evaluation.get_at(coset.index_at(i)));
+        }
+    }
 }