1 2 3 4 5 6
// TODO: // how to check for general pair of `modulus and `a`? // find square root? // if so, tonelli-shanks can be used or other algorithm? // still I don't know. // pub fn is_quadratic_residue(modulus: u64, a: u64) -> bool {}