Struct pairing_ce::bls12_381::G1Affine

pub struct G1Affine { /* private fields */ }

Trait Implementations

impl Clone for G1Affine

fn clone(&self) -> G1Affine

Returns a copy of the value.

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

Performs copy-assignment from source.

impl CurveAffine for G1Affine

type Engine = Bls12

type Scalar = Fr

type Base = Fq

type Prepared = G1Prepared

type Projective = G1

type Uncompressed = G1Uncompressed

type Compressed = G1Compressed

type Pair = G2Affine

type PairingResult = Fq12

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 mul<S: Into<<Self::Scalar as PrimeField>::Repr>>(&self, by: S) -> G1

Performs scalar multiplication of this element with mixed addition.

fn negate(&mut self)

Negates this element.

fn prepare(&self) -> Self::Prepared

Prepares this element for pairing purposes.

fn pairing_with(&self, other: &Self::Pair) -> Self::PairingResult

Perform a pairing

fn into_projective(&self) -> G1

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

fn into_compressed(&self) -> Self::Compressed

Converts this element into its compressed encoding, so long as it’s not the point at infinity.

fn into_uncompressed(&self) -> Self::Uncompressed

Converts this element into its uncompressed encoding, so long as it’s not the point at infinity.

impl Debug for G1Affine

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for G1Affine

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
    __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for G1Affine

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

Formats the value using the given formatter.

impl From<G1> for G1Affine

fn from(p: G1) -> G1Affine

Converts to this type from the input type.

impl From<G1Affine> for G1

fn from(p: G1Affine) -> G1

Converts to this type from the input type.

impl PartialEq<G1Affine> for G1Affine

fn eq(&self, other: &G1Affine) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl RawEncodable for G1Affine

fn into_raw_uncompressed_le(&self) -> Self::Uncompressed

Converts this element into its uncompressed encoding, so long as it’s not the point at infinity. Leaves coordinates in Montgommery form

fn from_raw_uncompressed_le_unchecked(
    encoded: &Self::Uncompressed,
    _infinity: bool
) -> Result<Self, GroupDecodingError>

Creates a point from raw encoded coordinates without checking on curve

fn from_raw_uncompressed_le(
    encoded: &Self::Uncompressed,
    _infinity: bool
) -> Result<Self, GroupDecodingError>

Creates a point from raw encoded coordinates

impl Serialize for G1Affine

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where
    __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for G1Affine

impl Eq for G1Affine

impl StructuralEq for G1Affine

impl StructuralPartialEq for G1Affine