Trait lambdaworks_math::field::extensions::quadratic::HasQuadraticNonResidue

pub trait HasQuadraticNonResidue<F: IsField> {
    // Required method
    fn residue() -> FieldElement<F>;
}

Trait to fix a quadratic non residue. Used to construct a quadratic extension field by adding a square root of residue().

Required Methods

fn residue() -> FieldElement<F>

Object Safety

This trait is not object safe.

Implementors

impl HasQuadraticNonResidue<Mersenne31Complex> for Mersenne31Complex

impl HasQuadraticNonResidue<MontgomeryBackendPrimeField<BN254FieldModulus, 4>> for BN254Residue

impl HasQuadraticNonResidue<MontgomeryBackendPrimeField<TestCurve2Modulus, 6>> for TestCurve2QuadraticNonResidue

impl HasQuadraticNonResidue<MontgomeryBackendPrimeField<MontgomeryConfigBabybear31PrimeField, 1>> for Babybear31PrimeField

impl HasQuadraticNonResidue<Goldilocks64Field> for Goldilocks64Field

impl HasQuadraticNonResidue<U64PrimeField<TEST_CURVE_1_PRIME_FIELD_ORDER>> for TestCurveQuadraticNonResidue

impl HasQuadraticNonResidue<U64Field<18446744069414584321>> for TestNonResidue

impl HasQuadraticNonResidue<CubicExtensionField<Degree2ExtensionField, LevelTwoResidue>> for lambdaworks_math::elliptic_curve::short_weierstrass::curves::bls12_381::field_extension::LevelThreeResidue

impl HasQuadraticNonResidue<CubicExtensionField<QuadraticExtensionField<MontgomeryBackendPrimeField<BN254FieldModulus, 4>, BN254Residue>, LevelTwoResidue>> for lambdaworks_math::elliptic_curve::short_weierstrass::curves::bn_254::field_extension::LevelThreeResidue