ark_r1cs_std/fields/
fp2.rs

1use crate::fields::{fp::FpVar, quadratic_extension::*};
2use ark_ff::fields::{Fp2Config, Fp2ConfigWrapper, QuadExtConfig};
3
4/// A quadratic extension field constructed over a prime field.
5/// This is the R1CS equivalent of `ark_ff::Fp2<P>`.
6pub type Fp2Var<P> = QuadExtVar<FpVar<<P as Fp2Config>::Fp>, Fp2ConfigWrapper<P>>;
7
8impl<P: Fp2Config> QuadExtVarConfig<FpVar<P::Fp>> for Fp2ConfigWrapper<P> {
9    fn mul_base_field_var_by_frob_coeff(fe: &mut FpVar<P::Fp>, power: usize) {
10        *fe *= Self::FROBENIUS_COEFF_C1[power % Self::DEGREE_OVER_BASE_PRIME_FIELD];
11    }
12}