Struct ed448_goldilocks::curve::edwards::ExtendedPoint

pub struct ExtendedPoint { /* private fields */ }

Represent points on the (untwisted) edwards curve using Extended Homogenous Projective Co-ordinates (x, y) -> (X/Z, Y/Z, Z, T) a = 1, d = -39081 XXX: Make this more descriptive Should this be renamed to EdwardsPoint so that we are consistent with Dalek crypto? Necessary as ExtendedPoint is not regular lingo?

Implementations

impl ExtendedPoint

pub fn identity() -> ExtendedPoint

Identity point

pub const fn generator() -> ExtendedPoint

Generator for the prime subgroup

pub fn to_montgomery(&self) -> MontgomeryPoint

pub fn scalar_mul(&self, scalar: &Scalar) -> ExtendedPoint

Generic scalar multiplication to compute s*P

pub fn scalar_mod_four(&self, scalar: &Scalar) -> ExtendedPoint

Returns (scalar mod 4) * P in constant time

pub fn compress(&self) -> CompressedEdwardsY

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

pub fn double(&self) -> ExtendedPoint

pub fn to_affine(&self) -> AffinePoint

pub fn to_twisted(&self) -> TwistedExtendedPoint

pub fn negate(&self) -> ExtendedPoint

pub fn torque(&self) -> ExtendedPoint

pub fn is_torsion_free(&self) -> bool

Determine if this point is “torsion-free”, i.e., is contained in the prime-order subgroup.

Return

• true if self has zero torsion component and is in the prime-order subgroup;
• false if self has a nonzero torsion component and is not in the prime-order subgroup.

Trait Implementations

impl<'a, 'b> Add<&'b ExtendedPoint> for &'a ExtendedPoint

type Output = ExtendedPoint

The resulting type after applying the + operator.

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

Performs the + operation.

impl<'b> Add<&'b ExtendedPoint> for ExtendedPoint

type Output = ExtendedPoint

The resulting type after applying the + operator.

fn add(self, rhs: &'b ExtendedPoint) -> ExtendedPoint

Performs the + operation.

impl<'a> Add<ExtendedPoint> for &'a ExtendedPoint

type Output = ExtendedPoint

The resulting type after applying the + operator.

fn add(self, rhs: ExtendedPoint) -> ExtendedPoint

Performs the + operation.

impl Add<ExtendedPoint> for ExtendedPoint

type Output = ExtendedPoint

The resulting type after applying the + operator.

fn add(self, rhs: ExtendedPoint) -> ExtendedPoint

Performs the + operation.

impl<'b> AddAssign<&'b ExtendedPoint> for ExtendedPoint

fn add_assign(&mut self, _rhs: &'b ExtendedPoint)

Performs the += operation.

impl AddAssign<ExtendedPoint> for ExtendedPoint

fn add_assign(&mut self, rhs: ExtendedPoint)

Performs the += operation.

impl Clone for ExtendedPoint

fn clone(&self) -> ExtendedPoint

Returns a copy 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<'a, 'b> Mul<&'b ExtendedPoint> for &'a Scalar

fn mul(self, point: &'b ExtendedPoint) -> ExtendedPoint

Scalar multiplication: compute scalar * self.

type Output = ExtendedPoint

The resulting type after applying the * operator.

impl<'b> Mul<&'b ExtendedPoint> for Scalar

type Output = ExtendedPoint

The resulting type after applying the * operator.

fn mul(self, rhs: &'b ExtendedPoint) -> ExtendedPoint

Performs the * operation.

impl<'a, 'b> Mul<&'b Scalar> for &'a ExtendedPoint

fn mul(self, scalar: &'b Scalar) -> ExtendedPoint

Scalar multiplication: compute scalar * self.

type Output = ExtendedPoint

The resulting type after applying the * operator.

impl<'b> Mul<&'b Scalar> for ExtendedPoint

type Output = ExtendedPoint

The resulting type after applying the * operator.

fn mul(self, rhs: &'b Scalar) -> ExtendedPoint

Performs the * operation.

impl<'a> Mul<ExtendedPoint> for &'a Scalar

type Output = ExtendedPoint

The resulting type after applying the * operator.

fn mul(self, rhs: ExtendedPoint) -> ExtendedPoint

Performs the * operation.

impl Mul<ExtendedPoint> for Scalar

type Output = ExtendedPoint

The resulting type after applying the * operator.

fn mul(self, rhs: ExtendedPoint) -> ExtendedPoint

Performs the * operation.

impl<'a> Mul<Scalar> for &'a ExtendedPoint

type Output = ExtendedPoint

The resulting type after applying the * operator.

fn mul(self, rhs: Scalar) -> ExtendedPoint

Performs the * operation.

impl Mul<Scalar> for ExtendedPoint

type Output = ExtendedPoint

The resulting type after applying the * operator.

fn mul(self, rhs: Scalar) -> ExtendedPoint

Performs the * operation.

impl<'b> MulAssign<&'b Scalar> for ExtendedPoint

fn mul_assign(&mut self, scalar: &'b Scalar)

Performs the *= operation.

impl MulAssign<Scalar> for ExtendedPoint

fn mul_assign(&mut self, rhs: Scalar)

Performs the *= operation.

impl<'a> Neg for &'a ExtendedPoint

type Output = ExtendedPoint

The resulting type after applying the - operator.

fn neg(self) -> ExtendedPoint

Performs the unary - operation.

impl Neg for ExtendedPoint

type Output = ExtendedPoint

The resulting type after applying the - operator.

fn neg(self) -> ExtendedPoint

Performs the unary - operation.

impl PartialEq<ExtendedPoint> for ExtendedPoint

fn eq(&self, other: &ExtendedPoint) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'a, 'b> Sub<&'b ExtendedPoint> for &'a ExtendedPoint

type Output = ExtendedPoint

The resulting type after applying the - operator.

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

Performs the - operation.

impl<'b> Sub<&'b ExtendedPoint> for ExtendedPoint

type Output = ExtendedPoint

The resulting type after applying the - operator.

fn sub(self, rhs: &'b ExtendedPoint) -> ExtendedPoint

Performs the - operation.

impl<'a> Sub<ExtendedPoint> for &'a ExtendedPoint

type Output = ExtendedPoint

The resulting type after applying the - operator.

fn sub(self, rhs: ExtendedPoint) -> ExtendedPoint

Performs the - operation.

impl Sub<ExtendedPoint> for ExtendedPoint

type Output = ExtendedPoint

The resulting type after applying the - operator.

fn sub(self, rhs: ExtendedPoint) -> ExtendedPoint

Performs the - operation.

impl<'b> SubAssign<&'b ExtendedPoint> for ExtendedPoint

fn sub_assign(&mut self, _rhs: &'b ExtendedPoint)

Performs the -= operation.

impl SubAssign<ExtendedPoint> for ExtendedPoint

fn sub_assign(&mut self, rhs: ExtendedPoint)

Performs the -= operation.

impl<T> Sum<T> for ExtendedPointwhere T: Borrow<ExtendedPoint>,

fn sum<I>(iter: I) -> Selfwhere I: Iterator<Item = T>,

Method which takes an iterator and generates Self from the elements by “summing up” the items.

impl Copy for ExtendedPoint

impl Eq for ExtendedPoint