Function sp1_recursion_circuit::challenger::reduce_32

pub fn reduce_32<C: Config>(
    builder: &mut Builder<C>,
    vals: &[Felt<C::F>],
) -> Var<C::N>