Struct ExtendedPoint 

pub struct ExtendedPoint {
    pub(crate) X: FieldElement,
    pub(crate) Y: FieldElement,
    pub(crate) Z: FieldElement,
    pub(crate) T: FieldElement,
}

Fields

X: FieldElement

Y: FieldElement

Z: FieldElement

T: FieldElement

Implementations

impl ExtendedPoint

pub const GENERATOR: ExtendedPoint

Generator for the prime subgroup

pub const IDENTITY: ExtendedPoint

Identity point

pub fn add_extended(&self, other: &ExtendedPoint) -> ExtensiblePoint

Adds an extensible point to an extended point Returns an extensible point (3.1) https://iacr.org/archive/asiacrypt2008/53500329/53500329.pdf

pub fn sub_extended(&self, other: &ExtendedPoint) -> ExtensiblePoint

Subtracts an extensible point from an extended point Returns an extensible point This is a direct modification of the addition formula to the negation of other

pub fn add_affine_niels(&self, other: AffineNielsPoint) -> ExtensiblePoint

Adds an extensible point to an AffineNiels point Returns an Extensible point

pub fn add_projective_niels( &self, other: &ProjectiveNielsPoint, ) -> ExtensiblePoint

Adds an extensible point to a ProjectiveNiels point Returns an extensible point (3.1)[Last set of formulas] https://iacr.org/archive/asiacrypt2008/53500329/53500329.pdf This differs from the formula above by a factor of 2. Saving 1 Double Cost 8M

pub fn to_extensible(self) -> ExtensiblePoint

Converts an ExtendedPoint to an ExtensiblePoint

pub fn to_untwisted(self) -> EdwardsExtendedPoint

Uses a 2-isogeny to map the point to the Ed448-Goldilocks

pub fn to_projective_niels(self) -> ProjectiveNielsPoint

Converts an Extensible point to a ProjectiveNiels Point

pub(crate) fn is_on_curve(&self) -> Choice

Checks if the point is on the curve

pub fn negate(&self) -> ExtendedPoint

Negates a point

pub fn torque(&self) -> ExtendedPoint

Torques a point

Trait Implementations

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 ConstantTimeEq for ExtendedPoint

fn ct_eq(&self, other: &Self) -> Choice

Determine if two items are equal.

fn ct_ne(&self, other: &Self) -> Choice

Determine if two items are NOT equal.

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<&ExtendedPoint> for LookupTable

Precomputes odd multiples of the point passed in

fn from(P: &ExtendedPoint) -> LookupTable

Converts to this type from the input type.

impl PartialEq<ExtendedPoint> for ExtensiblePoint

fn eq(&self, other: &ExtendedPoint) -> 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 PartialEq<ExtensiblePoint> for ExtendedPoint

fn eq(&self, other: &ExtensiblePoint) -> 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 PartialEq for ExtendedPoint

fn eq(&self, other: &ExtendedPoint) -> 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 Copy for ExtendedPoint

impl DefaultIsZeroes for ExtendedPoint

impl Eq for ExtendedPoint