Trait ark_r1cs_std::fields::cubic_extension::CubicExtVarConfig

pub trait CubicExtVarConfig<BF: FieldVar<Self::BaseField, Self::BasePrimeField>>: CubicExtConfigwhere
    for<'a> &'a BF: FieldOpsBounds<'a, Self::BaseField, BF>,{
    fn mul_base_field_vars_by_frob_coeff(c1: &mut BF, c2: &mut BF, power: usize);
}

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

Required Methods

fn mul_base_field_vars_by_frob_coeff(c1: &mut BF, c2: &mut BF, power: usize)

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

Implementations on Foreign Types

impl<P: Fp3Config> CubicExtVarConfig<FpVar<<P as Fp3Config>::Fp>> for Fp3ConfigWrapper<P>

fn mul_base_field_vars_by_frob_coeff(
    c1: &mut FpVar<P::Fp>,
    c2: &mut FpVar<P::Fp>,
    power: usize
)

impl<P: Fp6Config> CubicExtVarConfig<QuadExtVar<FpVar<<<P as Fp6Config>::Fp2Config as Fp2Config>::Fp>, Fp2ConfigWrapper<<P as Fp6Config>::Fp2Config>>> for Fp6ConfigWrapper<P>

fn mul_base_field_vars_by_frob_coeff(
    c1: &mut Fp2Var<P::Fp2Config>,
    c2: &mut Fp2Var<P::Fp2Config>,
    power: usize
)

Implementors