Struct curve25519_dalek::backend::serial::curve_models::CompletedPoint

[+] Show declaration

pub struct CompletedPoint {
    pub X: FieldElement51,
    pub Y: FieldElement51,
    pub Z: FieldElement51,
    pub T: FieldElement51,
}

[−] Expand description

A CompletedPoint is a point $((X:Z), (Y:T))$ on the $\mathbb P^1 \times \mathbb P^1$ model of the curve. A point (x,y) in the affine model corresponds to $((x:1),(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

T: FieldElement51

Methods

impl CompletedPoint[−]

pub fn to_projective(&self) -> ProjectivePoint[−]

Convert this point from the $\mathbb P^1 \times \mathbb P^1$ model to the $\mathbb P^2$ model.

This costs $3 \mathrm M$.

pub fn to_extended(&self) -> EdwardsPoint[−]

Convert this point from the $\mathbb P^1 \times \mathbb P^1$ model to the $\mathbb P^3$ model.

This costs $4 \mathrm M$.

Trait Implementations

impl Clone for CompletedPoint[+]

[+] Show hidden undocumented items

fn clone(&self) -> CompletedPoint[−]

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)[−]

Performs copy-assignment from source.

impl Copy for CompletedPoint

impl Debug for CompletedPoint[+]

[+] Show hidden undocumented items

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

Formats the value using the given formatter.