Function reduce_32 

pub fn reduce_32<SF: PrimeField32, TF: PrimeField>(vals: &[SF]) -> TF

Reduce a slice of 32-bit field elements into a single element of a larger field.

Uses base-$2^{32}$ decomposition:

\begin{equation}
    \text{reduce\_32}(vals) = \sum_{i=0}^{n-1} a_i \cdot 2^{32i}
\end{equation}