Remove Air::get_lagrange_kernel_transition_constraints

facebook · Mar 12, 2024 · d1bb2b7 · d1bb2b7
1 parent 881cf16
commit d1bb2b7
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 13 deletions.
diff --git a/air/src/air/mod.rs b/air/src/air/mod.rs
@@ -394,13 +394,6 @@ pub trait Air: Send + Sync {
         TransitionConstraints::new(self.context(), composition_coefficients)
     }
 
-    fn get_lagrange_kernel_transition_constraints<E: FieldElement<BaseField = Self::BaseField>>(
-        &self,
-        lagrange_constraint_coefficients: Vec<E>,
-    ) -> LagrangeKernelTransitionConstraints<E> {
-        LagrangeKernelTransitionConstraints::new(self.context(), lagrange_constraint_coefficients)
-    }
-
     /// Convert assertions returned from [get_assertions()](Air::get_assertions) and
     /// [get_aux_assertions()](Air::get_aux_assertions) methods into boundary constraints.
     ///

diff --git a/prover/src/constraints/evaluator/default.rs b/prover/src/constraints/evaluator/default.rs
@@ -154,7 +154,8 @@ where
 
         let lagrange_kernel_transition_constraints =
             air.context().lagrange_kernel_aux_column_idx().map(|_| {
-                air.get_lagrange_kernel_transition_constraints(
+                LagrangeKernelTransitionConstraints::new(
+                    air.context(),
                     composition_coefficients.lagrange_kernel_transition,
                 )
             });

diff --git a/verifier/src/evaluator.rs b/verifier/src/evaluator.rs
@@ -5,7 +5,7 @@
 
 use air::{
     Air, AuxTraceRandElements, ConstraintCompositionCoefficients, EvaluationFrame,
-    LagrangeKernelEvaluationFrame,
+    LagrangeKernelEvaluationFrame, LagrangeKernelTransitionConstraints,
 };
 use math::{polynom, FieldElement};
 use utils::collections::*;
@@ -92,10 +92,10 @@ pub fn evaluate_constraints<A: Air, E: FieldElement<BaseField = A::BaseField>>(
     // 3 ----- evaluate Lagrange kernel transition constraints ------------------------------------
 
     if let Some(lagrange_kernel_column_frame) = lagrange_kernel_column_frame {
-        let lagrange_kernel_transition_constraints = air
-            .get_lagrange_kernel_transition_constraints(
-                composition_coefficients.lagrange_kernel_transition,
-            );
+        let lagrange_kernel_transition_constraints = LagrangeKernelTransitionConstraints::new(
+            air.context(),
+            composition_coefficients.lagrange_kernel_transition,
+        );
         let lagrange_kernel_column_rand_elements =
             air.lagrange_kernel_rand_elements(aux_rand_elements.get_segment_elements(0));