zksync_pairing

Trait GenericCurveAffine

Source 
pub trait GenericCurveAffine:
    Copy
    + Clone
    + Sized
    + Send
    + Sync
    + Debug
    + Display
    + PartialEq
    + Eq
    + 'static {
    type Scalar: PrimeField;
    type Base: SqrtField;
    type Projective: GenericCurveProjective<Affine = Self, Scalar = Self::Scalar, Base = Self::Base>;

    // Required methods
    fn zero() -> Self;
    fn one() -> Self;
    fn is_zero(&self) -> bool;
    fn negate(&mut self);
    fn mul<S: Into<<Self::Scalar as PrimeField>::Repr>>(
        &self,
        other: S,
    ) -> Self::Projective;
    fn into_projective(&self) -> Self::Projective;
    fn as_xy(&self) -> (&Self::Base, &Self::Base);
    fn into_xy_unchecked(self) -> (Self::Base, Self::Base);
    fn from_xy_unchecked(x: Self::Base, y: Self::Base) -> Self;
    fn from_xy_checked(
        x: Self::Base,
        y: Self::Base,
    ) -> Result<Self, GroupDecodingError>;
    fn a_coeff() -> Self::Base;
    fn b_coeff() -> Self::Base;
}
Expand description

Affine representation of an elliptic curve point guaranteed to be in the correct prime order subgroup.

Required Associated Types§

Source

type Scalar: PrimeField

Source

type Base: SqrtField

Source

type Projective: GenericCurveProjective<Affine = Self, Scalar = Self::Scalar, Base = Self::Base>

Required Methods§

Source

fn zero() -> Self

Returns the additive identity.

Source

fn one() -> Self

Returns a fixed generator of unknown exponent.

Source

fn is_zero(&self) -> bool

Determines if this point represents the point at infinity; the additive identity.

Source

fn negate(&mut self)

Negates this element.

Source

fn mul<S: Into<<Self::Scalar as PrimeField>::Repr>>( &self, other: S, ) -> Self::Projective

Performs scalar multiplication of this element with mixed addition.

Source

fn into_projective(&self) -> Self::Projective

Converts this element into its affine representation.

Source

fn as_xy(&self) -> (&Self::Base, &Self::Base)

Returns references to underlying X and Y coordinates. Users should check for infinity outside of this call

Source

fn into_xy_unchecked(self) -> (Self::Base, Self::Base)

Returns underlying X and Y coordinates. Users should check for infinity outside of this call

Source

fn from_xy_unchecked(x: Self::Base, y: Self::Base) -> Self

Creates a point from raw X and Y coordinates. Point of infinity is encoded as (0,0) by default. On-curve check is NOT performed

Source

fn from_xy_checked( x: Self::Base, y: Self::Base, ) -> Result<Self, GroupDecodingError>

Creates a point from raw X and Y coordinates. Point of infinity is encoded as (0,0) by default. On-curve check is performed

Source

fn a_coeff() -> Self::Base

returns A coefficient for a short Weierstrass form

Source

fn b_coeff() -> Self::Base

returns B coefficient for a short Weierstrass form

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§