pub fn fp2_pow(alpha: &Fp2, k: u64, p: &BigInt) -> Fp2
α^k in 𝔽_{p²} by square-and-multiply.
α^k
𝔽_{p²}