Struct AffinePoint

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

Fields

inner: C::SP1AffinePoint

Implementations

impl<C: ECDSACurve> AffinePoint<C>

pub fn from_field_elements_unchecked( x: FieldElement<C>, y: FieldElement<C>, ) -> Self

Create an affine point from the given field elements, without checking if the point is on the curve.

pub fn field_elements(&self) -> (FieldElement<C>, FieldElement<C>)

Get the x and y field elements of the point.

The returned elements are always normalized.

pub fn generator() -> Self

Get the generator point.

pub fn identity() -> Self

Get the identity 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<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> AddAssign<&AffinePoint<C>> for ProjectivePoint<C>

fn add_assign(&mut self, rhs: &AffinePoint<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> AffineCoordinates for AffinePoint<C>

type FieldRepr = GenericArray<u8, <C as Curve>::FieldBytesSize>

Field element representation.

fn x(&self) -> FieldBytes<C>

Get the affine x-coordinate as a serialized field element.

fn y_is_odd(&self) -> Choice

Is the affine y-coordinate odd?

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

where C::SP1AffinePoint: Clone,

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<C: ECDSACurve> ConditionallySelectable for AffinePoint<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 AffinePoint<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: Debug + ECDSACurve> Debug for AffinePoint<C>

where C::SP1AffinePoint: Debug,

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

Formats the value using the given formatter.

impl<C: ECDSACurve> DecompactPoint<C> for AffinePoint<C>

fn decompact(x_bytes: &FieldBytes<C>) -> CtOption<Self>

Attempt to decompact an elliptic curve point

impl<C: ECDSACurve> DecompressPoint<C> for AffinePoint<C>

fn decompress(x_bytes: &FieldBytes<C>, y_is_odd: Choice) -> CtOption<Self>

Attempt to decompress an elliptic curve point.

impl<C: ECDSACurve> Default for AffinePoint<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<&AffinePoint<C>> for SharedSecret<C>

fn from(affine: &AffinePoint<C>) -> SharedSecret<C>

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> FromEncodedPoint<C> for AffinePoint<C>

fn from_encoded_point(point: &EncodedPoint<C>) -> CtOption<Self>

Deserialize the type this trait is impl’d on from an EncodedPoint.

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

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> PartialEq for AffinePoint<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<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> SubAssign<&AffinePoint<C>> for ProjectivePoint<C>

fn sub_assign(&mut self, rhs: &AffinePoint<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> ToEncodedPoint<C> for AffinePoint<C>

fn to_encoded_point(&self, compress: bool) -> EncodedPoint<C>

Serialize this value as a SEC1 EncodedPoint, optionally applying point compression.

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

where C::SP1AffinePoint: Copy,

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

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