From 5df95d031fbb727108a3f4850e778ae2164a72c3 Mon Sep 17 00:00:00 2001
From: Gali Michlevich <gali@starkware.co>
Date: Tue, 17 Dec 2024 10:21:17 +0200
Subject: [PATCH] Unite impls of DomainEvaluationAccumulator

---
 crates/prover/src/core/air/accumulation.rs | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/crates/prover/src/core/air/accumulation.rs b/crates/prover/src/core/air/accumulation.rs
index d02235a5f4..1589a3eec6 100644
--- a/crates/prover/src/core/air/accumulation.rs
+++ b/crates/prover/src/core/air/accumulation.rs
@@ -159,6 +159,13 @@ impl<B: Backend> DomainEvaluationAccumulator<B> {
     }
 }
 
+pub trait AccumulationOps: FieldOps<BaseField> + Sized {
+    /// Accumulates other into column:
+    ///   column = column + other.
+    fn accumulate(column: &mut SecureColumnByCoords<Self>, other: &SecureColumnByCoords<Self>);
+    fn generate_secure_powers(felt: SecureField, n_powers: usize) -> Vec<SecureField>;
+}
+
 /// A domain accumulator for polynomials of a single size.
 pub struct ColumnAccumulator<'a, B: Backend> {
     pub random_coeff_powers: Vec<SecureField>,