From 98adf2744383cc03b50e075e9672899921c034df Mon Sep 17 00:00:00 2001
From: Shahar Papini <spapini@starkware.co>
Date: Sat, 24 Feb 2024 09:52:47 +0200
Subject: [PATCH] Remove FRI PolyOps dependency

---
 src/core/air/evaluation.rs | 2 ++
 src/core/backend/mod.rs    | 8 +-------
 2 files changed, 3 insertions(+), 7 deletions(-)

diff --git a/src/core/air/evaluation.rs b/src/core/air/evaluation.rs
index 2c9eab5a2..372002a87 100644
--- 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
index d01e3942f..ce783840d 100644
--- 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>
 {
 }