Type Alias G1Affine

pub type G1Affine = Bn254G1Affine;

Aliased Type

struct G1Affine { /* private fields */ }

Implementations

impl Bn254G1Affine

pub fn get_non_qr() -> &'static Bn254Fp

Trait Implementations

impl CyclicGroup for G1Affine

const GENERATOR: Self

const NEG_GENERATOR: Self

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) -> Option<Self>

Given x-coordinate,

fn hint_decompress( x: &Bn254Fp, rec_id: &u8, ) -> Option<DecompressionHint<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, hints a coordinate sqrt such that sqrt^2 = rhs * non_qr where rhs is the rhs of the curve equation and non_qr is the non-quadratic residue for this curve that was initialized in the setup function.

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) -> 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, 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_A: Bn254Fp = <Bn254Fp as openvm_algebra_guest::IntMod>::ZERO

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

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