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

pub trait HasQuadraticNonResidue {
    type BaseField: IsField;

    // Required method
    fn residue() -> FieldElement<Self::BaseField>;
}

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

Required Associated Types

type BaseField: IsField

Required Methods

fn residue() -> FieldElement<Self::BaseField>

Implementors

impl HasQuadraticNonResidue for LevelThreeResidue

type BaseField = CubicExtensionField<LevelTwoResidue>

impl HasQuadraticNonResidue for TestCurveQuadraticNonResidue

type BaseField = U64PrimeField<TEST_CURVE_1_PRIME_FIELD_ORDER>

impl HasQuadraticNonResidue for TestCurve2QuadraticNonResidue

type BaseField = MontgomeryBackendPrimeField<TestCurve2Modulus, 6>