Trait pairing_ce::GenericCurveAffine

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>;

    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;
}

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

Required Associated Types

type Scalar: PrimeField

type Base: SqrtField

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

Required Methods

fn zero() -> Self

Returns the additive identity.

fn one() -> Self

Returns a fixed generator of unknown exponent.

fn is_zero(&self) -> bool

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

fn negate(&mut self)

Negates this element.

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

Performs scalar multiplication of this element with mixed addition.

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

Converts this element into its affine representation.

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

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

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

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

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

fn a_coeff() -> Self::Base

returns A coefficient for a short Weierstrass form

fn b_coeff() -> Self::Base

returns B coefficient for a short Weierstrass form

Implementors

impl<G: CurveAffine> GenericCurveAffine for G

type Scalar = <G as CurveAffine>::Scalar

type Base = <G as CurveAffine>::Base

type Projective = <G as CurveAffine>::Projective