Trait ark_r1cs_std::fields::quadratic_extension::QuadExtVarConfig

pub trait QuadExtVarConfig<BF: FieldVar<Self::BaseField, Self::BasePrimeField>>: QuadExtConfigwhere
    for<'a> &'a BF: FieldOpsBounds<'a, Self::BaseField, BF>,{
    fn mul_base_field_var_by_frob_coeff(fe: &mut BF, power: usize);
}

This trait describes parameters that are used to implement arithmetic for QuadExtVar.

Required Methods

fn mul_base_field_var_by_frob_coeff(fe: &mut BF, power: usize)

Multiply the base field of the QuadExtVar by the appropriate Frobenius coefficient. This is equivalent to Self::mul_base_field_by_frob_coeff(power).

Implementations on Foreign Types

impl<P: Fp12Config> QuadExtVarConfig<CubicExtVar<QuadExtVar<FpVar<<<<P as Fp12Config>::Fp6Config as Fp6Config>::Fp2Config as Fp2Config>::Fp>, Fp2ConfigWrapper<<<P as Fp12Config>::Fp6Config as Fp6Config>::Fp2Config>>, Fp6ConfigWrapper<<P as Fp12Config>::Fp6Config>>> for Fp12ConfigWrapper<P>

fn mul_base_field_var_by_frob_coeff(fe: &mut Fp6Var<P::Fp6Config>, power: usize)

impl<P: Fp2Config> QuadExtVarConfig<FpVar<<P as Fp2Config>::Fp>> for Fp2ConfigWrapper<P>

fn mul_base_field_var_by_frob_coeff(fe: &mut FpVar<P::Fp>, power: usize)

impl<P: Fp4Config> QuadExtVarConfig<QuadExtVar<FpVar<<<P as Fp4Config>::Fp2Config as Fp2Config>::Fp>, Fp2ConfigWrapper<<P as Fp4Config>::Fp2Config>>> for Fp4ConfigWrapper<P>

fn mul_base_field_var_by_frob_coeff(fe: &mut Fp2Var<P::Fp2Config>, power: usize)

impl<P: Fp6Config> QuadExtVarConfig<CubicExtVar<FpVar<<<P as Fp6Config>::Fp3Config as Fp3Config>::Fp>, Fp3ConfigWrapper<<P as Fp6Config>::Fp3Config>>> for Fp6ConfigWrapper<P>

fn mul_base_field_var_by_frob_coeff(fe: &mut Fp3Var<P::Fp3Config>, power: usize)

Implementors