Struct ark_bls12_381_ext::Fq2Config
source · pub struct Fq2Config;
Trait Implementations§
source§impl Fp2Config for Fq2Config
impl Fp2Config for Fq2Config
source§const NONRESIDUE: Fp<MontBackend<FqConfig, 6>, 6> = _
const NONRESIDUE: Fp<MontBackend<FqConfig, 6>, 6> = _
NONRESIDUE = -1
source§const FROBENIUS_COEFF_FP2_C1: &'static [Fp<MontBackend<FqConfig, 6>, 6>] = _
const FROBENIUS_COEFF_FP2_C1: &'static [Fp<MontBackend<FqConfig, 6>, 6>] = _
Coefficients for the Frobenius automorphism.
§type Fp = Fp<MontBackend<FqConfig, 6>, 6>
type Fp = Fp<MontBackend<FqConfig, 6>, 6>
Base prime field underlying this extension.
source§fn mul_fp_by_nonresidue_in_place(
fp: &mut <Fq2Config as Fp2Config>::Fp
) -> &mut <Fq2Config as Fp2Config>::Fp
fn mul_fp_by_nonresidue_in_place( fp: &mut <Fq2Config as Fp2Config>::Fp ) -> &mut <Fq2Config as Fp2Config>::Fp
Return
fe * Self::NONRESIDUE
.
Intended for specialization when Self::NONRESIDUE
has a special
structure that can speed up multiplicationsource§fn sub_and_mul_fp_by_nonresidue(
y: &mut <Fq2Config as Fp2Config>::Fp,
x: &<Fq2Config as Fp2Config>::Fp
)
fn sub_and_mul_fp_by_nonresidue( y: &mut <Fq2Config as Fp2Config>::Fp, x: &<Fq2Config as Fp2Config>::Fp )
A specializable method for computing x - mul_fp_by_nonresidue(y)
This allows for optimizations when the non-residue is
canonically negative in the field.
Auto Trait Implementations§
impl RefUnwindSafe for Fq2Config
impl Send for Fq2Config
impl Sync for Fq2Config
impl Unpin for Fq2Config
impl UnwindSafe for Fq2Config
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more