Struct Bn254G1Affine

#[repr(C)]
pub struct Bn254G1Affine {
    pub x: Bn254Fp,
    pub y: Bn254Fp,
}

Fields

x: Bn254Fp

y: Bn254Fp

Trait Implementations

impl Add<&Bn254G1Affine> for &Bn254G1Affine

type Output = Bn254G1Affine

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<&Bn254G1Affine> for Bn254G1Affine

type Output = Bn254G1Affine

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add for Bn254G1Affine

type Output = Bn254G1Affine

The resulting type after applying the + operator.

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

Performs the + operation.

impl AddAssign<&Bn254G1Affine> for Bn254G1Affine

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

Performs the += operation.

impl AddAssign for Bn254G1Affine

fn add_assign(&mut self, rhs: Self)

Performs the += operation.

impl Clone for Bn254G1Affine

fn clone(&self) -> Bn254G1Affine

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Bn254G1Affine

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Bn254G1Affine

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl FromCompressed<Bn254Fp> for Bn254G1Affine

fn decompress(x: Bn254Fp, rec_id: &u8) -> Self

Given x-coordinate,

fn hint_decompress(x: &Bn254Fp, rec_id: &u8) -> Bn254Fp

If it exists, hints the unique y coordinate that is less than Coordinate::MODULUS such that (x, y) is a point on the curve and y has parity equal to rec_id. If such y does not exist, undefined behavior.

impl Group for Bn254G1Affine

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

type SelfRef<'a> = &'a Bn254G1Affine

fn double(&self) -> Self

fn double_assign(&mut self)

fn is_identity(&self) -> bool

impl Neg for &Bn254G1Affine

type Output = Bn254G1Affine

The resulting type after applying the - operator.

fn neg(self) -> Bn254G1Affine

Performs the unary - operation.

impl Neg for Bn254G1Affine

type Output = Bn254G1Affine

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl PartialEq for Bn254G1Affine

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

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Sub<&Bn254G1Affine> for &Bn254G1Affine

type Output = Bn254G1Affine

The resulting type after applying the - operator.

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

Performs the - operation.

impl Sub<&Bn254G1Affine> for Bn254G1Affine

type Output = Bn254G1Affine

The resulting type after applying the - operator.

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

Performs the - operation.

impl Sub for Bn254G1Affine

type Output = Bn254G1Affine

The resulting type after applying the - operator.

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

Performs the - operation.

impl SubAssign<&Bn254G1Affine> for Bn254G1Affine

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

Performs the -= operation.

impl SubAssign for Bn254G1Affine

fn sub_assign(&mut self, rhs: Self)

Performs the -= operation.

impl WeierstrassPoint for Bn254G1Affine

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

SAFETY: assumes that #intmod_type has a memory representation such that with repr(C), two coordinates are packed contiguously.

const CURVE_B: Bn254Fp = CURVE_B

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

const IDENTITY: Self = _

type Coordinate = Bn254Fp

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

Raw constructor without asserting point is on the curve.

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 into_coords(self) -> (Self::Coordinate, Self::Coordinate)

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

impl StructuralPartialEq for Bn254G1Affine