Trait 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>

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

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

impl HasQuadraticNonResidue<Degree2ExtensionField> for lambdaworks_math::elliptic_curve::short_weierstrass::curves::bn_254::field_extension::LevelTwoResidue

impl HasQuadraticNonResidue<MontgomeryBackendPrimeField<BLS12377FieldModulus, 6>> for BLS12377Residue

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_377::field_extension::LevelThreeResidue

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

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