sp1_lib::bls12381

Struct Bls12381Point

Source
#[repr(align(4))]
pub struct Bls12381Point(pub WeierstrassPoint<N>);
Expand description

A point on the BLS12-381 curve.

Tuple Fields§

§0: WeierstrassPoint<N>

Trait Implementations§

Source§

impl AffinePoint<N> for Bls12381Point

Source§

const GENERATOR: [u32; 24] = _

The generator was taken from “py_ecc” python library by the Ethereum Foundation:

https://github.com/ethereum/py_ecc/blob/7b9e1b3/py_ecc/bls12_381/bls12_381_curve.py#L38-L45

Source§

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

Creates a new AffinePoint from the given limbs.
Source§

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

Returns a reference to the limbs.
Source§

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

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

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.
Source§

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

Adds the given AffinePoint to self.
Source§

fn double(&mut self)

Doubles self.
Source§

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

Creates a new AffinePoint from the given x and y coordinates. Read more
Source§

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

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

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

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

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

Multiplies self by the given scalar.
Source§

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.
Source§

impl Clone for Bls12381Point

Source§

fn clone(&self) -> Bls12381Point

Returns a copy of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl WeierstrassAffinePoint<N> for Bls12381Point

Source§

fn infinity() -> Self

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

fn is_infinity(&self) -> bool

Returns true if the point is the infinity point.
Source§

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. Read more
Source§

impl Copy for Bls12381Point

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dst: *mut T)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dst. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.