Remove FRI PolyOps dependency

starkware-libs · Mar 7, 2024 · 98adf27 · 98adf27
1 parent 0182bdb
commit 98adf27
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 7 deletions.
diff --git a/src/core/air/evaluation.rs b/src/core/air/evaluation.rs
@@ -158,6 +158,8 @@ impl<B: Backend> DomainEvaluationAccumulator<B> {
     }
 }
 
+// TODO(spapini): Remove dependency on PolyOps<SecureField>.
+//   This will also remove the dependency on extend(), which is currently not efficient on AVX.
 impl DomainEvaluationAccumulator<CPUBackend> {
     /// Computes f(P) as coefficients.
     pub fn finalize(self) -> SecureCirclePoly {

diff --git a/src/core/backend/mod.rs b/src/core/backend/mod.rs
@@ -11,12 +11,6 @@ pub mod avx512;
 pub mod cpu;
 
 pub trait Backend:
-    Copy
-    + Clone
-    + Debug
-    + FieldOps<BaseField>
-    + FieldOps<SecureField>
-    + PolyOps<BaseField>
-    + PolyOps<SecureField>
+    Copy + Clone + Debug + FieldOps<BaseField> + FieldOps<SecureField> + PolyOps<BaseField>
 {
 }