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);
}
Expand description
This trait describes parameters that are used to implement arithmetic for
QuadExtVar
.
Required Methods§
sourcefn mul_base_field_var_by_frob_coeff(fe: &mut BF, power: usize)
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)
.