pub trait HasCubicNonResidue {
    type BaseField: IsField;

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

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

Required Associated Types§

Required Methods§

source

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

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

Implementors§