Struct ProjectivePoint

pub struct ProjectivePoint<C: ECDSACurve> {
    pub inner: AffinePoint<C>,
}

The SP1 accelerated projective point.

Fields

inner: AffinePoint<C>

The inner affine point.

SP1 uses affine arithmetic for all operations.

Implementations

impl<C: ECDSACurve> ProjectivePoint<C>

pub fn identity() -> Self

pub fn to_affine(self) -> AffinePoint<C>

Convert the projective point to an affine point.

pub fn is_identity(&self) -> Choice

Check if the point is the identity point.

Trait Implementations

impl<C: ECDSACurve> Add<&AffinePoint<C>> for ProjectivePoint<C>

type Output = ProjectivePoint<C>

The resulting type after applying the + operator.

fn add(self, rhs: &AffinePoint<C>) -> Self::Output

Performs the + operation.

impl<C: ECDSACurve> Add<&ProjectivePoint<C>> for ProjectivePoint<C>

type Output = ProjectivePoint<C>

The resulting type after applying the + operator.

fn add(self, rhs: &ProjectivePoint<C>) -> Self::Output

Performs the + operation.

impl<C: ECDSACurve> Add<AffinePoint<C>> for ProjectivePoint<C>

type Output = ProjectivePoint<C>

The resulting type after applying the + operator.

fn add(self, rhs: AffinePoint<C>) -> Self::Output

Performs the + operation.

impl<C: ECDSACurve> Add for ProjectivePoint<C>

type Output = ProjectivePoint<C>

The resulting type after applying the + operator.

fn add(self, rhs: ProjectivePoint<C>) -> Self::Output

Performs the + operation.

impl<C: ECDSACurve> AddAssign<&AffinePoint<C>> for ProjectivePoint<C>

fn add_assign(&mut self, rhs: &AffinePoint<C>)

Performs the += operation.

impl<C: ECDSACurve> AddAssign<&ProjectivePoint<C>> for ProjectivePoint<C>

fn add_assign(&mut self, rhs: &ProjectivePoint<C>)

Performs the += operation.

impl<C: ECDSACurve> AddAssign<AffinePoint<C>> for ProjectivePoint<C>

fn add_assign(&mut self, rhs: AffinePoint<C>)

Performs the += operation.

impl<C: ECDSACurve> AddAssign for ProjectivePoint<C>

fn add_assign(&mut self, rhs: ProjectivePoint<C>)

Performs the += operation.

impl<C: Clone + ECDSACurve> Clone for ProjectivePoint<C>

fn clone(&self) -> ProjectivePoint<C>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<C: ECDSACurve> CofactorGroup for ProjectivePoint<C>

where FieldBytes<C>: Copy, C::FieldBytesSize: ModulusSize, CompressedPoint<C>: Copy,

The scalar field has prime order, so the cofactor is 1.

type Subgroup = ProjectivePoint<C>

The large prime-order subgroup in which cryptographic operations are performed. If Self implements PrimeGroup, then Self::Subgroup may be Self.

fn clear_cofactor(&self) -> Self

Maps self to the prime-order subgroup by multiplying this element by some k-multiple of the cofactor.

fn into_subgroup(self) -> CtOption<Self>

Returns self if it is contained in the prime-order subgroup.

fn is_torsion_free(&self) -> Choice

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

fn is_small_order(&self) -> Choice

Determines if this element is of small order.

impl<C: ECDSACurve> ConditionallySelectable for ProjectivePoint<C>

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<C: ECDSACurve> ConstantTimeEq for ProjectivePoint<C>

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<C: ECDSACurve> Curve for ProjectivePoint<C>

type AffineRepr = AffinePoint<C>

The affine representation for this elliptic curve.

fn to_affine(&self) -> Self::AffineRepr

Converts this element into its affine representation.

fn batch_normalize(p: &[Self], q: &mut [Self::AffineRepr])

Converts a batch of projective elements into affine elements. This function will panic if p.len() != q.len().

impl<C: Debug + ECDSACurve> Debug for ProjectivePoint<C>

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

Formats the value using the given formatter.

impl<C: ECDSACurve> Default for ProjectivePoint<C>

fn default() -> Self

Returns the “default value” for a type.

impl<C: ECDSACurve> From<&AffinePoint<C>> for ProjectivePoint<C>

fn from(p: &AffinePoint<C>) -> Self

Converts to this type from the input type.

impl<C: ECDSACurve> From<&ProjectivePoint<C>> for AffinePoint<C>

fn from(p: &ProjectivePoint<C>) -> Self

Converts to this type from the input type.

impl<C: ECDSACurve> From<AffinePoint<C>> for ProjectivePoint<C>

fn from(p: AffinePoint<C>) -> Self

Converts to this type from the input type.

impl<C: ECDSACurve> From<ProjectivePoint<C>> for AffinePoint<C>

fn from(p: ProjectivePoint<C>) -> Self

Converts to this type from the input type.

impl<C: ECDSACurve> Group for ProjectivePoint<C>

type Scalar = <C as CurveArithmetic>::Scalar

Scalars modulo the order of this group’s scalar field.

fn identity() -> Self

Returns the additive identity, also known as the “neutral element”.

fn random(rng: impl RngCore) -> Self

Returns an element chosen uniformly at random from the non-identity elements of this group.

fn double(&self) -> Self

Doubles this element.

fn generator() -> Self

Returns a fixed generator of the prime-order subgroup.

fn is_identity(&self) -> Choice

Determines if this point is the identity.

impl<C: ECDSACurve> GroupEncoding for ProjectivePoint<C>

where FieldBytes<C>: Copy, C::FieldBytesSize: ModulusSize, CompressedPoint<C>: Copy,

type Repr = GenericArray<u8, <<C as Curve>::FieldBytesSize as ModulusSize>::CompressedPointSize>

The encoding of group elements.

fn from_bytes(bytes: &Self::Repr) -> CtOption<Self>

Attempts to deserialize a group element from its encoding.

fn from_bytes_unchecked(bytes: &Self::Repr) -> CtOption<Self>

Attempts to deserialize a group element, not checking if the element is valid.

fn to_bytes(&self) -> Self::Repr

Converts this element into its byte encoding. This may or may not support encoding the identity.

impl<C: ECDSACurve> LinearCombination for ProjectivePoint<C>

fn lincomb(x: &Self, k: &Self::Scalar, y: &Self, l: &Self::Scalar) -> Self

Calculates x * k + y * l.

impl<C: ECDSACurve, T: Borrow<C::Scalar>> Mul<T> for ProjectivePoint<C>

type Output = ProjectivePoint<C>

The resulting type after applying the * operator.

fn mul(self, rhs: T) -> Self::Output

Performs the * operation.

impl<C: ECDSACurve, T: Borrow<C::Scalar>> MulAssign<T> for ProjectivePoint<C>

fn mul_assign(&mut self, rhs: T)

Performs the *= operation.

impl<C: ECDSACurve> MulByGenerator for ProjectivePoint<C>

fn mul_by_generator(scalar: &Self::Scalar) -> Self

Multiply by the generator of the prime-order subgroup.

impl<C: ECDSACurve> Neg for ProjectivePoint<C>

type Output = ProjectivePoint<C>

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl<C: ECDSACurve> PartialEq for ProjectivePoint<C>

fn eq(&self, other: &Self) -> 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<C: ECDSACurve> Sub<&AffinePoint<C>> for ProjectivePoint<C>

type Output = ProjectivePoint<C>

The resulting type after applying the - operator.

fn sub(self, rhs: &AffinePoint<C>) -> Self::Output

Performs the - operation.

impl<C: ECDSACurve> Sub<&ProjectivePoint<C>> for ProjectivePoint<C>

type Output = ProjectivePoint<C>

The resulting type after applying the - operator.

fn sub(self, rhs: &ProjectivePoint<C>) -> Self::Output

Performs the - operation.

impl<C: ECDSACurve> Sub<AffinePoint<C>> for ProjectivePoint<C>

type Output = ProjectivePoint<C>

The resulting type after applying the - operator.

fn sub(self, rhs: AffinePoint<C>) -> Self::Output

Performs the - operation.

impl<C: ECDSACurve> Sub for ProjectivePoint<C>

type Output = ProjectivePoint<C>

The resulting type after applying the - operator.

fn sub(self, rhs: ProjectivePoint<C>) -> Self::Output

Performs the - operation.

impl<C: ECDSACurve> SubAssign<&AffinePoint<C>> for ProjectivePoint<C>

fn sub_assign(&mut self, rhs: &AffinePoint<C>)

Performs the -= operation.

impl<C: ECDSACurve> SubAssign<&ProjectivePoint<C>> for ProjectivePoint<C>

fn sub_assign(&mut self, rhs: &ProjectivePoint<C>)

Performs the -= operation.

impl<C: ECDSACurve> SubAssign<AffinePoint<C>> for ProjectivePoint<C>

fn sub_assign(&mut self, rhs: AffinePoint<C>)

Performs the -= operation.

impl<C: ECDSACurve> SubAssign for ProjectivePoint<C>

fn sub_assign(&mut self, rhs: ProjectivePoint<C>)

Performs the -= operation.

impl<'a, C: ECDSACurve> Sum<&'a ProjectivePoint<C>> for ProjectivePoint<C>

fn sum<I: Iterator<Item = &'a ProjectivePoint<C>>>(iter: I) -> Self

Takes an iterator and generates Self from the elements by “summing up” the items.

impl<C: ECDSACurve> Sum for ProjectivePoint<C>

fn sum<I: Iterator<Item = Self>>(iter: I) -> Self

Takes an iterator and generates Self from the elements by “summing up” the items.

impl<C: Copy + ECDSACurve> Copy for ProjectivePoint<C>

impl<C: ECDSACurve> DefaultIsZeroes for ProjectivePoint<C>

impl<C: ECDSACurve> Eq for ProjectivePoint<C>

impl<C: ECDSACurve> PrimeGroup for ProjectivePoint<C>

where FieldBytes<C>: Copy, C::FieldBytesSize: ModulusSize, CompressedPoint<C>: Copy,