Struct lambdaworks_math::elliptic_curve::montgomery::point::MontgomeryProjectivePoint

pub struct MontgomeryProjectivePoint<E: IsEllipticCurve>(/* private fields */);

Implementations

impl<E: IsEllipticCurve> MontgomeryProjectivePoint<E>

pub fn new(value: [FieldElement<E::BaseField>; 3]) -> Self

Creates an elliptic curve point giving the projective [x: y: z] coordinates.

pub fn x(&self) -> &FieldElement<E::BaseField>

Returns the x coordinate of the point.

pub fn y(&self) -> &FieldElement<E::BaseField>

Returns the y coordinate of the point.

pub fn z(&self) -> &FieldElement<E::BaseField>

Returns the z coordinate of the point.

pub fn coordinates(&self) -> &[FieldElement<E::BaseField>; 3]

Returns a tuple [x, y, z] with the coordinates of the point.

pub fn to_affine(&self) -> Self

Creates the same point in affine coordinates. That is, returns [x / z: y / z: 1] where self is [x: y: z]. Panics if self is the point at infinity.

Trait Implementations

impl<E: Clone + IsEllipticCurve> Clone for MontgomeryProjectivePoint<E>

fn clone(&self) -> MontgomeryProjectivePoint<E>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<E: Debug + IsEllipticCurve> Debug for MontgomeryProjectivePoint<E>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<E: IsMontgomery> FromAffine<<E as IsEllipticCurve>::BaseField> for MontgomeryProjectivePoint<E>

fn from_affine( x: FieldElement<E::BaseField>, y: FieldElement<E::BaseField>, ) -> Result<Self, EllipticCurveError>

impl<E: IsMontgomery> IsGroup for MontgomeryProjectivePoint<E>

fn neutral_element() -> Self

The point at infinity.

fn operate_with(&self, other: &Self) -> Self

Computes the addition of self and other. Taken from “Moonmath” (Definition 5.2.2.1, page 94)

fn neg(&self) -> Self

Returns the additive inverse of the projective point p

fn is_neutral_element(&self) -> bool

Check if an element the neutral element.

fn operate_with_self<T: IsUnsignedInteger>(&self, exponent: T) -> Self

Applies the group operation times times with itself The operation can be addition or multiplication depending on the notation of the particular group.

impl<E: IsEllipticCurve> PartialEq for MontgomeryProjectivePoint<E>

fn eq(&self, other: &Self) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<E: IsEllipticCurve> Eq for MontgomeryProjectivePoint<E>