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