Struct lambdaworks_math::elliptic_curve::point::ProjectivePoint

pub struct ProjectivePoint<E: IsEllipticCurve> {
    pub value: [FieldElement<E::BaseField>; 3],
}

Represents an elliptic curve point using the projective short Weierstrass form: y^2 * z = x^3 + a * x * z^2 + b * z^3, where x, y and z variables are field elements.

Fields

value: [FieldElement<E::BaseField>; 3]

Implementations

impl<E: IsEllipticCurve> ProjectivePoint<E>

pub const 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 ProjectivePoint<E>

where E::BaseField: Clone,

fn clone(&self) -> ProjectivePoint<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 ProjectivePoint<E>

where E::BaseField: Debug,

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

Formats the value using the given formatter.

impl<E: IsEllipticCurve> PartialEq for ProjectivePoint<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 ProjectivePoint<E>