Struct ExtendedPoint 

pub struct ExtendedPoint(pub(super) FieldElement2625x4);

A point on Curve25519, using parallel Edwards formulas for curve operations.

Invariant

The coefficients of an ExtendedPoint are bounded with \( b < 0.007 \).

Tuple Fields

0: FieldElement2625x4

Implementations

impl ExtendedPoint

pub fn double(&self) -> ExtendedPoint

Compute the double of this point.

pub fn mul_by_pow_2(&self, k: u32) -> ExtendedPoint

Trait Implementations

impl Add<&CachedPoint> for &ExtendedPoint

fn add(self, other: &CachedPoint) -> ExtendedPoint

Add an ExtendedPoint and a CachedPoint.

type Output = ExtendedPoint

The resulting type after applying the + operator.

impl Clone for ExtendedPoint

fn clone(&self) -> ExtendedPoint

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl ConditionallySelectable for ExtendedPoint

fn conditional_select(a: &Self, b: &Self, choice: Choice) -> Self

Select a or b according to choice.

fn conditional_assign(&mut self, other: &Self, choice: Choice)

Conditionally assign other to self, according to choice.

fn conditional_swap(a: &mut Self, b: &mut Self, choice: Choice)

Conditionally swap self and other if choice == 1; otherwise, reassign both unto themselves.

impl Debug for ExtendedPoint

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

Formats the value using the given formatter.

impl Default for ExtendedPoint

fn default() -> ExtendedPoint

Returns the “default value” for a type.

impl From<EdwardsPoint> for ExtendedPoint

fn from(P: EdwardsPoint) -> ExtendedPoint

Converts to this type from the input type.

impl From<ExtendedPoint> for CachedPoint

fn from(P: ExtendedPoint) -> CachedPoint

Converts to this type from the input type.

impl From<ExtendedPoint> for EdwardsPoint

fn from(P: ExtendedPoint) -> EdwardsPoint

Converts to this type from the input type.

impl Identity for ExtendedPoint

fn identity() -> ExtendedPoint

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

impl Sub<&CachedPoint> for &ExtendedPoint

fn sub(self, other: &CachedPoint) -> ExtendedPoint

Implement subtraction by negating the point and adding.

Empirically, this seems about the same cost as a custom subtraction impl (maybe because the benefit is cancelled by increased code size?)

type Output = ExtendedPoint

The resulting type after applying the - operator.

impl Copy for ExtendedPoint