fn full_round<F: FieldWitness>(
state: &mut [F; 3],
r: usize,
params: &SpongeParams<F>,
w: &mut Witness<F>,
)fn full_round<F: FieldWitness>(
state: &mut [F; 3],
r: usize,
params: &SpongeParams<F>,
w: &mut Witness<F>,
)