pub fn mul_norm_kernel(
_cr: ClockReset,
c: [b43; 15],
q: MulNormQ,
) -> ([b17; 15], MulNormD)Expand description
State transition for MulNorm: three lazy carry passes (column 14
wraps with a factor of 19), then a limb-serial carry-propagate and
canonical result.