Struct Bn254Point

#[repr(align(4))]
pub struct Bn254Point(pub WeierstrassPoint<N>);

A point on the Bn254 curve.

Tuple Fields

0: WeierstrassPoint<N>

Trait Implementations

impl AffinePoint<N> for Bn254Point

const GENERATOR: [u32; 16] = _

The generator has been taken from py_pairing python library by the Ethereum Foundation:

https://github.com/ethereum/py_pairing/blob/5f609da/py_ecc/bn128/bn128_field_elements.py

fn new(limbs: [u32; 16]) -> Self

Creates a new AffinePoint from the given limbs.

fn limbs_ref(&self) -> &[u32; 16]

Returns a reference to the limbs.

fn limbs_mut(&mut self) -> &mut [u32; 16]

Returns a mutable reference to the limbs. If the point is the infinity point, this will panic.

fn complete_add_assign(&mut self, other: &Self)

Adds the given AffinePoint to self. Can be optionally overridden to use a different implementation of addition in multi-scalar multiplication, which is used in secp256k1 recovery.

fn add_assign(&mut self, other: &Self)

Adds the given AffinePoint to self.

fn double(&mut self)

Doubles self.

fn from(x: &[u8], y: &[u8]) -> Self

Creates a new AffinePoint from the given x and y coordinates.

fn from_le_bytes(bytes: &[u8]) -> Self

Creates a new AffinePoint from the given bytes in little endian.

fn to_le_bytes(&self) -> Vec<u8>

Creates a new AffinePoint from the given bytes in big endian.

fn mul_assign(&mut self, scalar: &[u32]) -> Result<(), MulAssignError>

Multiplies self by the given scalar.

fn multi_scalar_multiplication( a_bits_le: &[bool], a: Self, b_bits_le: &[bool], b: Self, ) -> Option<Self>

Performs multi-scalar multiplication (MSM) on slices of bit vectors and points. Note: a_bits_le and b_bits_le should be in little endian order.

impl Clone for Bn254Point

fn clone(&self) -> Bn254Point

Returns a copy of the value.

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

Performs copy-assignment from source.

impl WeierstrassAffinePoint<N> for Bn254Point

fn infinity() -> Self

The infinity point representation of the Weierstrass curve. Typically an enum variant.

fn is_infinity(&self) -> bool

Returns true if the point is the infinity point.

fn weierstrass_add_assign(&mut self, other: &Self)

Performs the complete addition of two AffinePoint’s on a Weierstrass curve. For an addition of two points P1 and P2, the cases are: 1. P1 is infinity 2. P2 is infinity 3. P1 equals P2 4. P1 is the negation of P2 5. Default addition.

impl Copy for Bn254Point