Add wide fib lookup step constraint.

crates/prover/src/core/backend/cpu/circle.rs

@@ -13,7 +13,7 @@ use crate::core::poly::circle::{
 use crate::core::poly::twiddles::TwiddleTree;
 use crate::core::poly::utils::{domain_line_twiddles_from_tree, fold};
 use crate::core::poly::BitReversedOrder;
-use crate::core::utils::bit_reverse;
+use crate::core::utils::{bit_reverse, coset_order_to_circle_domain_order};
 
 impl PolyOps for CpuBackend {
     type Twiddles = Vec<BaseField>;
@@ -24,14 +24,7 @@ impl PolyOps for CpuBackend {
     ) -> CircleEvaluation<Self, BaseField, BitReversedOrder> {
         let domain = coset.circle_domain();
         assert_eq!(values.len(), domain.size());
-        let mut new_values = Vec::with_capacity(values.len());
-        let half_len = 1 << (coset.log_size() - 1);
-        for i in 0..half_len {
-            new_values.push(values[i << 1]);
-        }
-        for i in 0..half_len {
-            new_values.push(values[domain.size() - 1 - (i << 1)]);
-        }
+        let mut new_values = coset_order_to_circle_domain_order(&values);
         CpuBackend::bit_reverse_column(&mut new_values);
         CircleEvaluation::new(domain, new_values)
     }

crates/prover/src/core/poly/circle/canonic.rs

@@ -63,6 +63,10 @@ impl CanonicCoset {
         self.coset.step_size
     }
 
+    pub fn step(&self) -> CirclePoint<BaseField> {
+        self.coset.step
+    }
+
     pub fn index_at(&self, index: usize) -> CirclePointIndex {
         self.coset.index_at(index)
     }

crates/prover/src/core/utils.rs

@@ -60,6 +60,42 @@ pub(crate) fn bit_reverse_index(i: usize, log_size: u32) -> usize {
     i.reverse_bits() >> (usize::BITS - log_size)
 }
 
+/// Returns the index of the previous element in a bit reversed
+/// [super::poly::circle::CircleEvaluation] relative to an domain which is half the size.
+pub(crate) fn previous_bit_reversed_circle_domain_index(i: usize, log_size: u32) -> usize {
+    let mut prev_index = bit_reverse_index(i, log_size);
+    let half_size = 1 << (log_size - 1);
+    if prev_index < half_size {
+        prev_index = (prev_index + half_size - 1) % half_size;
+    } else {
+        prev_index = ((prev_index + 1) % half_size) + half_size;
+    }
+    bit_reverse_index(prev_index, log_size)
+}
+
+pub(crate) fn circle_domain_order_to_coset_order(values: &[BaseField]) -> Vec<BaseField> {
+    let n = values.len();
+    let mut coset_order = vec![];
+    for i in 0..(n / 2) {
+        coset_order.push(values[i]);
+        coset_order.push(values[n - 1 - i]);
+    }
+    coset_order
+}
+
+pub(crate) fn coset_order_to_circle_domain_order(values: &[BaseField]) -> Vec<BaseField> {
+    let mut circle_domain_order = Vec::with_capacity(values.len());
+    let n = values.len();
+    let half_len = n / 2;
+    for i in 0..half_len {
+        circle_domain_order.push(values[i << 1]);
+    }
+    for i in 0..half_len {
+        circle_domain_order.push(values[n - 1 - (i << 1)]);
+    }
+    circle_domain_order
+}
+
 /// Performs a naive bit-reversal permutation inplace.
 ///
 /// # Panics
@@ -107,12 +143,16 @@ where
 
 #[cfg(test)]
 mod tests {
+    use itertools::Itertools;
     use num_traits::One;
 
+    use crate::core::backend::cpu::CpuCircleEvaluation;
     use crate::core::fields::qm31::SecureField;
     use crate::core::fields::FieldExpOps;
+    use crate::core::poly::circle::CanonicCoset;
+    use crate::core::poly::NaturalOrder;
     use crate::core::utils::bit_reverse;
-    use crate::qm31;
+    use crate::{m31, qm31};
 
     #[test]
     fn bit_reverse_works() {
@@ -150,4 +190,45 @@ mod tests {
 
         assert_eq!(powers, vec![]);
     }
+
+    #[test]
+    fn test_previous_bit_reversed_circle_domain_index() {
+        let log_size = 3;
+        let n = 1 << log_size;
+        let domain = CanonicCoset::new(log_size).circle_domain();
+        let values = (0..n).map(|i| m31!(i as u32)).collect_vec();
+        let evaluation = CpuCircleEvaluation::<_, NaturalOrder>::new(domain, values.clone());
+        let bit_reversed_evaluation = evaluation.clone().bit_reverse();
+
+        let neighbor_pairs = (0..n)
+            .map(|i| {
+                let prev_index = super::previous_bit_reversed_circle_domain_index(i, log_size);
+                (
+                    bit_reversed_evaluation[i],
+                    bit_reversed_evaluation[prev_index],
+                )
+            })
+            .sorted()
+            .collect_vec();
+        //    1 O 7
+        //  O       O
+        // 6         0
+        // O         O
+        // 2         4
+        //  O       O
+        //    5 O 3
+        let mut expected_neighbor_pairs = vec![
+            (m31!(0), m31!(3)),
+            (m31!(7), m31!(4)),
+            (m31!(1), m31!(0)),
+            (m31!(6), m31!(7)),
+            (m31!(2), m31!(1)),
+            (m31!(5), m31!(6)),
+            (m31!(3), m31!(2)),
+            (m31!(4), m31!(5)),
+        ];
+        expected_neighbor_pairs.sort();
+
+        assert_eq!(neighbor_pairs, expected_neighbor_pairs);
+    }
 }

crates/prover/src/examples/wide_fibonacci/component.rs

@@ -5,7 +5,7 @@ use crate::core::air::mask::fixed_mask_points;
 use crate::core::air::{Air, Component, ComponentTraceWriter};
 use crate::core::backend::CpuBackend;
 use crate::core::circle::CirclePoint;
-use crate::core::constraints::{coset_vanishing, point_vanishing};
+use crate::core::constraints::{coset_vanishing, point_excluder, point_vanishing};
 use crate::core::fields::m31::BaseField;
 use crate::core::fields::qm31::SecureField;
 use crate::core::fields::secure_column::{SecureColumn, SECURE_EXTENSION_DEGREE};
@@ -62,7 +62,7 @@ impl Air for WideFibAir {
 
 impl Component for WideFibComponent {
     fn n_constraints(&self) -> usize {
-        self.n_columns() - 1
+        self.n_columns()
     }
 
     fn max_constraint_log_degree_bound(&self) -> u32 {
@@ -84,9 +84,10 @@ impl Component for WideFibComponent {
         &self,
         point: CirclePoint<SecureField>,
     ) -> TreeVec<ColumnVec<Vec<CirclePoint<SecureField>>>> {
+        let domain = CanonicCoset::new(self.log_column_size());
         TreeVec::new(vec![
             fixed_mask_points(&vec![vec![0_usize]; self.n_columns()], point),
-            vec![vec![point]; SECURE_EXTENSION_DEGREE],
+            vec![vec![point, point - domain.step().into_ef()]; SECURE_EXTENSION_DEGREE],
         ])
     }
 
@@ -107,15 +108,29 @@ impl Component for WideFibComponent {
             SecureCirclePoly::<CpuBackend>::eval_from_partial_evals(std::array::from_fn(|i| {
                 mask[self.n_columns() + i][0]
             }));
-        let lookup_numerator = (lookup_value
+        let lookup_prev_value =
+            SecureCirclePoly::<CpuBackend>::eval_from_partial_evals(std::array::from_fn(|i| {
+                mask[self.n_columns() + i][1]
+            }));
+        let lookup_step_numerator = (lookup_value
+            * shifted_secure_combination(
+                &[mask[self.n_columns() - 2][0], mask[self.n_columns() - 1][0]],
+                alpha,
+                z,
+            ))
+            - (lookup_prev_value * shifted_secure_combination(&[mask[0][0], mask[1][0]], alpha, z));
+        let lookup_step_denom = coset_vanishing(constraint_zero_domain, point)
+            / point_excluder(constraint_zero_domain.at(0), point);
+        evaluation_accumulator.accumulate(lookup_step_numerator / lookup_step_denom);
+        let lookup_boundary_numerator = (lookup_value
             * shifted_secure_combination(
                 &[mask[self.n_columns() - 2][0], mask[self.n_columns() - 1][0]],
                 alpha,
                 z,
             ))
             - shifted_secure_combination(&[mask[0][0], mask[1][0]], alpha, z);
-        let lookup_denom = point_vanishing(constraint_zero_domain.at(0), point);
-        evaluation_accumulator.accumulate(lookup_numerator / lookup_denom);
+        let lookup_boundary_denom = point_vanishing(constraint_zero_domain.at(0), point);
+        evaluation_accumulator.accumulate(lookup_boundary_numerator / lookup_boundary_denom);
 
         let denom = coset_vanishing(constraint_zero_domain, point);
         let denom_inverse = denom.inverse();

crates/prover/src/examples/wide_fibonacci/constraint_eval.rs

@@ -10,10 +10,11 @@ use crate::core::air::{
     AirProver, AirTraceVerifier, AirTraceWriter, Component, ComponentProver, ComponentTrace,
     ComponentTraceWriter,
 };
+use crate::core::backend::cpu::CpuCircleEvaluation;
 use crate::core::backend::CpuBackend;
 use crate::core::channel::{Blake2sChannel, Channel};
 use crate::core::circle::Coset;
-use crate::core::constraints::{coset_vanishing, point_vanishing};
+use crate::core::constraints::{coset_vanishing, point_excluder, point_vanishing};
 use crate::core::fields::m31::BaseField;
 use crate::core::fields::qm31::SecureField;
 use crate::core::fields::FieldExpOps;
@@ -22,7 +23,9 @@ use crate::core::poly::circle::{
     CanonicCoset, CircleDomain, CircleEvaluation, CirclePoly, SecureCirclePoly,
 };
 use crate::core::poly::BitReversedOrder;
-use crate::core::utils::{bit_reverse, shifted_secure_combination};
+use crate::core::utils::{
+    bit_reverse, previous_bit_reversed_circle_domain_index, shifted_secure_combination,
+};
 use crate::core::{ColumnVec, InteractionElements};
 use crate::examples::wide_fibonacci::component::LOG_N_COLUMNS;
 
@@ -47,8 +50,8 @@ impl AirTraceWriter<CpuBackend> for WideFibAir {
             .into_iter()
             .flat_map(|eval| {
                 eval.values.columns.map(|c| {
-                    CircleEvaluation::<CpuBackend, BaseField, BitReversedOrder>::new(eval.domain, c)
-                        .interpolate()
+                    let coset = CanonicCoset::new(eval.domain.log_size());
+                    CpuCircleEvaluation::new_canonical_ordered(coset, c).interpolate()
                 })
             })
             .collect_vec()
@@ -141,6 +144,61 @@ impl WideFibComponent {
             accum.accumulate(i, *num * *denom_inverse);
         }
     }
+
+    fn evaluate_lookup_step_constraints(
+        &self,
+        trace_evals: &TreeVec<Vec<&CircleEvaluation<CpuBackend, BaseField, BitReversedOrder>>>,
+        trace_eval_domain: CircleDomain,
+        zero_domain: Coset,
+        accum: &mut ColumnAccumulator<'_, CpuBackend>,
+        interaction_elements: &InteractionElements,
+    ) {
+        let max_constraint_degree = self.max_constraint_log_degree_bound();
+        let mut denoms = vec![];
+        for point in trace_eval_domain.iter() {
+            denoms.push(
+                coset_vanishing(zero_domain, point) / point_excluder(zero_domain.at(0), point),
+            );
+        }
+        bit_reverse(&mut denoms);
+        let mut denom_inverses = vec![BaseField::zero(); 1 << (max_constraint_degree)];
+        BaseField::batch_inverse(&denoms, &mut denom_inverses);
+        let mut numerators = vec![SecureField::zero(); 1 << (max_constraint_degree)];
+        let (alpha, z) = (interaction_elements[ALPHA_ID], interaction_elements[Z_ID]);
+
+        #[allow(clippy::needless_range_loop)]
+        for i in 0..trace_eval_domain.size() {
+            let value =
+                SecureCirclePoly::<CpuBackend>::eval_from_partial_evals(std::array::from_fn(|j| {
+                    trace_evals[1][j][i].into()
+                }));
+            let prev_index =
+                previous_bit_reversed_circle_domain_index(i, trace_eval_domain.log_size());
+            let prev_value =
+                SecureCirclePoly::<CpuBackend>::eval_from_partial_evals(std::array::from_fn(|j| {
+                    trace_evals[1][j][prev_index].into()
+                }));
+            numerators[i] = accum.random_coeff_powers[self.n_columns() - 1]
+                * ((value
+                    * shifted_secure_combination(
+                        &[
+                            trace_evals[0][self.n_columns() - 2][i],
+                            trace_evals[0][self.n_columns() - 1][i],
+                        ],
+                        alpha,
+                        z,
+                    ))
+                    - (prev_value
+                        * shifted_secure_combination(
+                            &[trace_evals[0][0][i], trace_evals[0][1][i]],
+                            alpha,
+                            z,
+                        )));
+        }
+        for (i, (num, denom_inverse)) in numerators.iter().zip(denom_inverses.iter()).enumerate() {
+            accum.accumulate(i, *num * *denom_inverse);
+        }
+    }
 }
 
 impl ComponentProver<CpuBackend> for WideFibComponent {
@@ -170,6 +228,13 @@ impl ComponentProver<CpuBackend> for WideFibComponent {
             &mut accum,
             interaction_elements,
         );
+        self.evaluate_lookup_step_constraints(
+            trace_evals,
+            trace_eval_domain,
+            zero_domain,
+            &mut accum,
+            interaction_elements,
+        )
     }
 }