pub fn half_rounds<F: Field, SC: SpongeConstants>( params: &ArithmeticSpongeParams<F>, state: &mut [F], )