Trait ark_r1cs_std::fields::cubic_extension::CubicExtVarParams

pub trait CubicExtVarParams<BF: FieldVar<Self::BaseField, Self::BasePrimeField>>: CubicExtParameters where
    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: Fp3Parameters> CubicExtVarParams<FpVar<<P as Fp3Parameters>::Fp>> for Fp3ParamsWrapper<P>

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

impl<P: Fp6Parameters> CubicExtVarParams<QuadExtVar<FpVar<<<P as Fp6Parameters>::Fp2Params as Fp2Parameters>::Fp>, Fp2ParamsWrapper<<P as Fp6Parameters>::Fp2Params>>> for Fp6ParamsWrapper<P>

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

Implementors