Unite impls of DomainEvaluationAccumulator

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>,