Trait lambdaworks_math::elliptic_curve::montgomery::traits::IsMontgomery

pub trait IsMontgomery:
    IsEllipticCurve
    + Clone
    + Debug {
    // Required methods
    fn a() -> FieldElement<Self::BaseField>;
    fn b() -> FieldElement<Self::BaseField>;

    // Provided method
    fn defining_equation(
        x: &FieldElement<Self::BaseField>,
        y: &FieldElement<Self::BaseField>,
    ) -> FieldElement<Self::BaseField> { ... }
}

Trait to add elliptic curves behaviour to a struct.

Required Methods

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

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

Provided Methods

fn defining_equation( x: &FieldElement<Self::BaseField>, y: &FieldElement<Self::BaseField>, ) -> FieldElement<Self::BaseField>

Evaluates the short Weierstrass equation at (x, y z). Used for checking if [x: y: z] belongs to the elliptic curve.

Object Safety

This trait is not object safe.

Implementors

impl IsMontgomery for TinyJubJubMontgomery