Struct G2Affine

pub struct G2Affine(/* private fields */);

A newtype wrapper for AffinePoint that implements elliptic curve operations by using the underlying field operations according to the formulas for short Weierstrass curves.

Implementations

impl G2Affine

pub const fn new(x: Fp2, y: Fp2) -> Self

Trait Implementations

impl Add<&G2Affine> for &G2Affine

type Output = G2Affine

The resulting type after applying the + operator.

fn add(self, p2: &G2Affine) -> Self::Output

Performs the + operation.

impl Add<&G2Affine> for G2Affine

type Output = G2Affine

The resulting type after applying the + operator.

fn add(self, p2: &G2Affine) -> Self::Output

Performs the + operation.

impl Add for G2Affine

type Output = G2Affine

The resulting type after applying the + operator.

fn add(self, rhs: Self) -> Self::Output

Performs the + operation.

impl AddAssign<&G2Affine> for G2Affine

fn add_assign(&mut self, p2: &G2Affine)

Performs the += operation.

impl AddAssign for G2Affine

fn add_assign(&mut self, rhs: Self)

Performs the += operation.

impl Clone for G2Affine

fn clone(&self) -> G2Affine

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for G2Affine

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for G2Affine

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<AffinePoint<Bn254Fp2>> for G2Affine

fn from(value: AffinePoint<Fp2>) -> Self

Converts to this type from the input type.

impl From<G2Affine> for AffinePoint<Fp2>

fn from(value: G2Affine) -> Self

Converts to this type from the input type.

impl Group for G2Affine

const IDENTITY: Self = <Self as WeierstrassPoint>::IDENTITY

type SelfRef<'a> = &'a G2Affine

fn double(&self) -> Self

fn double_assign(&mut self)

fn is_identity(&self) -> bool

impl Neg for &G2Affine

type Output = G2Affine

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl Neg for G2Affine

type Output = G2Affine

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl PartialEq for G2Affine

fn eq(&self, other: &G2Affine) -> 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 Serialize for G2Affine

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Sub<&G2Affine> for &G2Affine

type Output = G2Affine

The resulting type after applying the - operator.

fn sub(self, p2: &G2Affine) -> Self::Output

Performs the - operation.

impl Sub<&G2Affine> for G2Affine

type Output = G2Affine

The resulting type after applying the - operator.

fn sub(self, rhs: &G2Affine) -> Self::Output

Performs the - operation.

impl Sub for G2Affine

type Output = G2Affine

The resulting type after applying the - operator.

fn sub(self, rhs: Self) -> Self::Output

Performs the - operation.

impl SubAssign<&G2Affine> for G2Affine

fn sub_assign(&mut self, p2: &G2Affine)

Performs the -= operation.

impl SubAssign for G2Affine

fn sub_assign(&mut self, rhs: Self)

Performs the -= operation.

impl WeierstrassPoint for G2Affine

fn as_le_bytes(&self) -> &[u8]

SAFETY: assumes that [$field] has internal representation in little-endian.

const CURVE_A: Fp2 = Fp2::ZERO

The a coefficient in the Weierstrass curve equation y^2 = x^3 + a x + b.

const CURVE_B: Fp2 = B

The b coefficient in the Weierstrass curve equation y^2 = x^3 + a x + b.

const IDENTITY: Self = _

type Coordinate = Bn254Fp2

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

Raw constructor without asserting point is on the curve.

fn into_coords(self) -> (Self::Coordinate, Self::Coordinate)

fn x(&self) -> &Self::Coordinate

fn y(&self) -> &Self::Coordinate

fn x_mut(&mut self) -> &mut Self::Coordinate

fn y_mut(&mut self) -> &mut Self::Coordinate

fn double_nonidentity(&self) -> Self

Hazmat: Assumes self != identity and 2 * self != identity.

fn double_assign_nonidentity(&mut self)

Hazmat: Assumes self != identity and 2 * self != identity.

fn add_ne_nonidentity(&self, p2: &Self) -> Self

Hazmat: Assumes self != +- p2 and self != identity and p2 != identity.

fn add_ne_assign_nonidentity(&mut self, p2: &Self)

Hazmat: Assumes self != +- p2 and self != identity and p2 != identity.

fn sub_ne_nonidentity(&self, p2: &Self) -> Self

Hazmat: Assumes self != +- p2 and self != identity and p2 != identity.

fn sub_ne_assign_nonidentity(&mut self, p2: &Self)

Hazmat: Assumes self != +- p2 and self != identity and p2 != identity.

fn from_xy(x: Self::Coordinate, y: Self::Coordinate) -> Option<Self>

where &'a Self::Coordinate: for<'a> Mul<Output = Self::Coordinate>,

fn from_xy_nonidentity(x: Self::Coordinate, y: Self::Coordinate) -> Option<Self>

where &'a Self::Coordinate: for<'a> Mul<Output = Self::Coordinate>,

impl Eq for G2Affine

impl StructuralPartialEq for G2Affine