Trait ark_r1cs_std::fields::quadratic_extension::QuadExtVarParams

pub trait QuadExtVarParams<BF: FieldVar<Self::BaseField, Self::BasePrimeField>>: QuadExtParameters where
    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: Fp12Parameters> QuadExtVarParams<CubicExtVar<QuadExtVar<FpVar<<<<P as Fp12Parameters>::Fp6Params as Fp6Parameters>::Fp2Params as Fp2Parameters>::Fp>, Fp2ParamsWrapper<<<P as Fp12Parameters>::Fp6Params as Fp6Parameters>::Fp2Params>>, Fp6ParamsWrapper<<P as Fp12Parameters>::Fp6Params>>> for Fp12ParamsWrapper<P>

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

impl<P: Fp2Parameters> QuadExtVarParams<FpVar<<P as Fp2Parameters>::Fp>> for Fp2ParamsWrapper<P>

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

impl<P: Fp4Parameters> QuadExtVarParams<QuadExtVar<FpVar<<<P as Fp4Parameters>::Fp2Params as Fp2Parameters>::Fp>, Fp2ParamsWrapper<<P as Fp4Parameters>::Fp2Params>>> for Fp4ParamsWrapper<P>

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

impl<P: Fp6Parameters> QuadExtVarParams<CubicExtVar<FpVar<<<P as Fp6Parameters>::Fp3Params as Fp3Parameters>::Fp>, Fp3ParamsWrapper<<P as Fp6Parameters>::Fp3Params>>> for Fp6ParamsWrapper<P>

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

Implementors