Trait pairing_ce::GenericCurveAffine[−][src]

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

Associated Types

type Scalar: PrimeField[src]

type Base: SqrtField[src]

type Projective: GenericCurveProjective<Affine = Self, Scalar = Self::Scalar>[src]

Loading content...

Required methods

fn zero() -> Self[src]

Returns the additive identity.

fn one() -> Self[src]

Returns a fixed generator of unknown exponent.

fn is_zero(&self) -> bool[src]

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

fn negate(&mut self)[src]

Negates this element.

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

Performs scalar multiplication of this element with mixed addition.

fn into_projective(&self) -> Self::Projective[src]

Converts this element into its affine representation.

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

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)[src]

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[src]

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>[src]

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[src]

returns A coefficient for a short Weierstrass form

fn b_coeff() -> Self::Base[src]

returns B coefficient for a short Weierstrass form

Loading content...

Implementors

impl<G: CurveAffine> GenericCurveAffine for G[src]

fn zero() -> Self[src]

Returns the additive identity.

fn one() -> Self[src]

Returns a fixed generator of unknown exponent.

fn is_zero(&self) -> bool[src]

Determines if this point is the point at infinity.

fn negate(&mut self)[src]

Negates this element.

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

Performs scalar multiplication of this element with mixed addition.

fn into_projective(&self) -> Self::Projective[src]

Converts this element into its affine representation.

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

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)[src]

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[src]

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>[src]

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[src]

returns A coefficient for a short Weierstrass form

fn b_coeff() -> Self::Base[src]

returns B coefficient for a short Weierstrass form

type Scalar = Self::Scalar

type Base = Self::Base

type Projective = Self::Projective

Loading content...