1use crate::fields::{cubic_extension::*, fp::FpVar};
 2use ark_ff::fields::{CubicExtConfig, Fp3ConfigWrapper};
 3use ark_ff::Fp3Config;
 4
 5/// A cubic extension field constructed over a prime field.
 6/// This is the R1CS equivalent of `ark_ff::Fp3<P>`.
 7pub type Fp3Var<P> = CubicExtVar<FpVar<<P as Fp3Config>::Fp>, Fp3ConfigWrapper<P>>;
 8
 9impl<P: Fp3Config> CubicExtVarConfig<FpVar<P::Fp>> for Fp3ConfigWrapper<P> {
10    fn mul_base_field_vars_by_frob_coeff(
11        c1: &mut FpVar<P::Fp>,
12        c2: &mut FpVar<P::Fp>,
13        power: usize,
14    ) {
15        *c1 *= Self::FROBENIUS_COEFF_C1[power % Self::DEGREE_OVER_BASE_PRIME_FIELD];
16        *c2 *= Self::FROBENIUS_COEFF_C2[power % Self::DEGREE_OVER_BASE_PRIME_FIELD];
17    }
18}