Struct JacobianPoint 

pub struct JacobianPoint<const LIMBS: usize> {
    pub x: FieldElement<LIMBS>,
    pub y: FieldElement<LIMBS>,
    pub z: FieldElement<LIMBS>,
}

A point on a short Weierstrass curve in Jacobian projective coordinates (X, Y, Z).

The corresponding affine point is (X / Z^2, Y / Z^3). The point at infinity is represented by Z == 0. Working in projective coordinates lets the point doubling and addition formulas avoid the field inversion that the affine forms would need on every operation; only Self::to_affine performs an inversion (once, at the boundary back to the user-visible representation).

Fields

x: FieldElement<LIMBS>

Projective X coordinate.

y: FieldElement<LIMBS>

Projective Y coordinate.

z: FieldElement<LIMBS>

Projective Z coordinate. Z == 0 encodes the point at infinity.

Implementations

impl<const LIMBS: usize> JacobianPoint<LIMBS>

pub fn infinity() -> Self

The point at infinity (identity element).

pub fn from_affine(x: FieldElement<LIMBS>, y: FieldElement<LIMBS>) -> Self

Create a point from affine coordinates (x, y). Z = 1.

pub fn is_infinity(&self) -> bool

Returns true if this point is the point at infinity (Z == 0).

pub fn to_affine( &self, p: &[u64; LIMBS], ) -> Option<(FieldElement<LIMBS>, FieldElement<LIMBS>)>

Convert to affine coordinates (x, y). Returns None for point at infinity.

Trait Implementations

impl<const LIMBS: usize> Clone for JacobianPoint<LIMBS>

fn clone(&self) -> JacobianPoint<LIMBS>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<const LIMBS: usize> Debug for JacobianPoint<LIMBS>

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

Formats the value using the given formatter.

impl<const LIMBS: usize> Copy for JacobianPoint<LIMBS>