Trait HasCubicNonResidue

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

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

Required Methods

fn residue() -> FieldElement<F>

This function must return an element that is not a cube in Fp, that is, a cubic non-residue.

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 HasCubicNonResidue<Degree2ExtensionField> for lambdaworks_math::elliptic_curve::short_weierstrass::curves::bls12_377::field_extension::LevelTwoResidue

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

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