Comments

src/gates/reducing.rs

@@ -10,6 +10,7 @@ use crate::target::Target;
 use crate::vars::{EvaluationTargets, EvaluationVars, EvaluationVarsBase};
 use crate::witness::PartialWitness;
 
+/// Computes `sum alpha^i c_i` for a vector `c_i` of `num_coeffs` elements of the base field.
 #[derive(Debug, Clone)]
 pub struct ReducingGate<const D: usize> {
     pub num_coeffs: usize,

src/util/reducing.rs

@@ -92,6 +92,7 @@ impl<const D: usize> ReducingFactorTarget<D> {
         Self { base, count: 0 }
     }
 
+    /// Reduces a length `n` vector of `Target`s using `n/21` `ReducingGate`s (with 33 routed wires and 126 wires).
     pub fn reduce_base<F>(
         &mut self,
         terms: &[Target],