Allow clippy::many_single_char_names

It's math, it happens.

src/domain.rs

@@ -268,6 +268,7 @@ fn best_fft<S: PrimeField, T: Group<S>>(a: &mut [T], worker: &Worker, omega: &S,
     }
 }
 
+#[allow(clippy::many_single_char_names)]
 fn serial_fft<S: PrimeField, T: Group<S>>(a: &mut [T], omega: &S, log_n: u32) {
     fn bitreverse(mut n: u32, l: u32) -> u32 {
         let mut r = 0;

src/gadgets/blake2s.rs

@@ -79,6 +79,7 @@ const SIGMA: [[usize; 16]; 10] = [
        END FUNCTION.
 */
 
+#[allow(clippy::many_single_char_names)]
 fn mixing_g<Scalar: PrimeField, CS: ConstraintSystem<Scalar>, M>(
     mut cs: M,
     v: &mut [UInt32],
@@ -164,6 +165,7 @@ where
        END FUNCTION.
 */
 
+#[allow(clippy::many_single_char_names)]
 fn blake2s_compression<Scalar: PrimeField, CS: ConstraintSystem<Scalar>>(
     mut cs: CS,
     h: &mut [UInt32],

src/gadgets/sha256.rs

@@ -77,6 +77,7 @@ fn get_sha256_iv() -> Vec<UInt32> {
     IV.iter().map(|&v| UInt32::constant(v)).collect()
 }
 
+#[allow(clippy::many_single_char_names)]
 fn sha256_compression_function<Scalar, CS>(
     cs: CS,
     input: &[Boolean],

src/gadgets/uint32.rs

@@ -565,6 +565,7 @@ mod test {
     }
 
     #[test]
+    #[allow(clippy::many_single_char_names)]
     fn test_uint32_addmany() {
         let mut rng = XorShiftRng::from_seed([
             0x59, 0x62, 0xbe, 0x5d, 0x76, 0x3d, 0x31, 0x8d, 0x17, 0xdb, 0x37, 0x32, 0x54, 0x06,

src/groth16/prover.rs

@@ -174,6 +174,7 @@ where
     create_proof::<E, C, P>(circuit, params, r, s)
 }
 
+#[allow(clippy::many_single_char_names)]
 pub fn create_proof<E, C, P: ParameterSource<E>>(
     circuit: C,
     mut params: P,

src/groth16/tests/dummy_engine.rs

@@ -217,6 +217,7 @@ impl Field for Fr {
         }
     }
 
+    #[allow(clippy::many_single_char_names)]
     fn sqrt(&self) -> CtOption<Self> {
         // Tonelli-Shank's algorithm for q mod 16 = 1
         // https://eprint.iacr.org/2012/685.pdf (page 12, algorithm 5)