Trait CubicExtVarConfig

pub trait CubicExtVarConfig<BF: FieldVar<Self::BaseField, Self::BasePrimeField>>: CubicExtConfig
where
    for<'a> &'a BF: FieldOpsBounds<'a, Self::BaseField, BF>,
{
    // Required method
    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).

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

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