Trait sp1_lib::utils::AffinePoint

pub trait AffinePoint<const N: usize>: Clone + Sized {
    const GENERATOR: [u32; N];

    // Required methods
    fn new(limbs: [u32; N]) -> Self;
    fn limbs_ref(&self) -> &[u32; N];
    fn limbs_mut(&mut self) -> &mut [u32; N];
    fn add_assign(&mut self, other: &Self);
    fn double(&mut self);

    // Provided methods
    fn from(x: &[u8], y: &[u8]) -> Self { ... }
    fn from_le_bytes(bytes: &[u8]) -> Self { ... }
    fn to_le_bytes(&self) -> Vec<u8> { ... }
    fn mul_assign(&mut self, scalar: &[u32]) -> Result<(), MulAssignError> { ... }
    fn multi_scalar_multiplication(
        a_bits_le: &[bool],
        a: Self,
        b_bits_le: &[bool],
        b: Self,
    ) -> Option<Self> { ... }
}

Required Associated Constants

const GENERATOR: [u32; N]

The generator.

Required Methods

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

Creates a new AffinePoint from the given limbs.

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

Returns a reference to the limbs.

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

Returns a mutable reference to the limbs.

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

Adds the given AffinePoint to self.

fn double(&mut self)

Doubles self.

Provided Methods

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

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

The bytes are the concatenated little endian representations of the 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.

Object Safety

This trait is not object safe.

Implementors

impl AffinePoint<N> for Bls12381AffinePoint

const GENERATOR: [u32; 24] = _

impl AffinePoint<N> for Bn254AffinePoint

const GENERATOR: [u32; 16] = _

impl AffinePoint<N> for Ed25519AffinePoint

const GENERATOR: [u32; 16] = _

impl AffinePoint<N> for Secp256k1AffinePoint

const GENERATOR: [u32; 16] = _