Struct curve25519_dalek::backend::serial::curve_models::ProjectivePoint

pub struct ProjectivePoint {
    pub X: FieldElement51,
    pub Y: FieldElement51,
    pub Z: FieldElement51,
}

A ProjectivePoint is a point \((X:Y:Z)\) on the \(\mathbb P^2\) model of the curve. A point \((x,y)\) in the affine model corresponds to \((x:y:1)\).

More details on the relationships between the different curve models can be found in the module-level documentation.

Fields

X: FieldElement51

Y: FieldElement51

Z: FieldElement51

Methods

impl ProjectivePoint

pub fn to_extended(&self) -> EdwardsPoint

Convert this point from the \( \mathbb P^2 \) model to the \( \mathbb P^3 \) model.

This costs \(3 \mathrm M + 1 \mathrm S\).

impl ProjectivePoint

pub fn double(&self) -> CompletedPoint

Double this point: return self + self

Trait Implementations

impl Clone for ProjectivePoint

fn clone(&self) -> ProjectivePoint

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for ProjectivePoint

impl Debug for ProjectivePoint

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

Formats the value using the given formatter.

impl Identity for ProjectivePoint

fn identity() -> ProjectivePoint

Returns the identity element of the curve. Can be used as a constructor.

impl ValidityCheck for ProjectivePoint

fn is_valid(&self) -> bool

Checks whether the point is on the curve. Not CT.