Struct G1Projective 

pub struct G1Projective { /* private fields */ }

This is an element of $\mathbb{G}_1$ represented in the projective coordinate space.

Implementations

impl G1Projective

pub fn identity() -> G1Projective

Returns the identity of the group: the point at infinity.

pub fn generator() -> G1Projective

Returns a fixed generator of the group. See notes::design for how this generator is chosen.

pub fn double(&self) -> G1Projective

Computes the doubling of this point.

pub fn add(&self, rhs: &G1Projective) -> G1Projective

Adds this point to another point.

pub fn add_mixed(&self, rhs: &G1Affine) -> G1Projective

Adds this point to another point in the affine model.

pub fn clear_cofactor(&self) -> G1Projective

Multiplies by $(1 - z)$, where $z$ is the parameter of BLS12-381, which suffices to clear the cofactor and map elliptic curve points to elements of $\mathbb{G}_1$.

pub fn batch_normalize(p: &[G1Projective], q: &mut [G1Affine])

Converts a batch of G1Projective elements into G1Affine elements. This function will panic if p.len() != q.len().

pub fn is_identity(&self) -> Choice

Returns true if this element is the identity (the point at infinity).

pub fn is_on_curve(&self) -> Choice

Returns true if this point is on the curve. This should always return true unless an “unchecked” API was used.

Trait Implementations

impl<'a, 'b> Add<&'b G1Affine> for &'a G1Projective

type Output = G1Projective

The resulting type after applying the + operator.

fn add(self, rhs: &'b G1Affine) -> G1Projective

Performs the + operation.

impl<'b> Add<&'b G1Affine> for G1Projective

type Output = G1Projective

The resulting type after applying the + operator.

fn add(self, rhs: &'b G1Affine) -> G1Projective

Performs the + operation.

impl<'a, 'b> Add<&'b G1Projective> for &'a G1Affine

type Output = G1Projective

The resulting type after applying the + operator.

fn add(self, rhs: &'b G1Projective) -> G1Projective

Performs the + operation.

impl<'a, 'b> Add<&'b G1Projective> for &'a G1Projective

type Output = G1Projective

The resulting type after applying the + operator.

fn add(self, rhs: &'b G1Projective) -> G1Projective

Performs the + operation.

impl<'b> Add<&'b G1Projective> for G1Affine

type Output = G1Projective

The resulting type after applying the + operator.

fn add(self, rhs: &'b G1Projective) -> G1Projective

Performs the + operation.

impl<'b> Add<&'b G1Projective> for G1Projective

type Output = G1Projective

The resulting type after applying the + operator.

fn add(self, rhs: &'b G1Projective) -> G1Projective

Performs the + operation.

impl<'a> Add<G1Affine> for &'a G1Projective

type Output = G1Projective

The resulting type after applying the + operator.

fn add(self, rhs: G1Affine) -> G1Projective

Performs the + operation.

impl Add<G1Affine> for G1Projective

type Output = G1Projective

The resulting type after applying the + operator.

fn add(self, rhs: G1Affine) -> G1Projective

Performs the + operation.

impl<'a> Add<G1Projective> for &'a G1Affine

type Output = G1Projective

The resulting type after applying the + operator.

fn add(self, rhs: G1Projective) -> G1Projective

Performs the + operation.

impl<'a> Add<G1Projective> for &'a G1Projective

type Output = G1Projective

The resulting type after applying the + operator.

fn add(self, rhs: G1Projective) -> G1Projective

Performs the + operation.

impl Add<G1Projective> for G1Affine

type Output = G1Projective

The resulting type after applying the + operator.

fn add(self, rhs: G1Projective) -> G1Projective

Performs the + operation.

impl Add for G1Projective

type Output = G1Projective

The resulting type after applying the + operator.

fn add(self, rhs: G1Projective) -> G1Projective

Performs the + operation.

impl<'b> AddAssign<&'b G1Affine> for G1Projective

fn add_assign(&mut self, rhs: &'b G1Affine)

Performs the += operation.

impl<'b> AddAssign<&'b G1Projective> for G1Projective

fn add_assign(&mut self, rhs: &'b G1Projective)

Performs the += operation.

impl AddAssign<G1Affine> for G1Projective

fn add_assign(&mut self, rhs: G1Affine)

Performs the += operation.

impl AddAssign for G1Projective

fn add_assign(&mut self, rhs: G1Projective)

Performs the += operation.

impl Clone for G1Projective

fn clone(&self) -> G1Projective

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl ConditionallySelectable for G1Projective

fn conditional_select( a: &G1Projective, b: &G1Projective, choice: Choice, ) -> G1Projective

Select a or b according to choice.

fn conditional_assign(&mut self, other: &Self, choice: Choice)

Conditionally assign other to self, according to choice.

fn conditional_swap(a: &mut Self, b: &mut Self, choice: Choice)

Conditionally swap self and other if choice == 1; otherwise, reassign both unto themselves.

impl ConstantTimeEq for G1Projective

fn ct_eq(&self, other: &G1Projective) -> Choice

Determine if two items are equal.

fn ct_ne(&self, other: &Self) -> Choice

Determine if two items are NOT equal.

impl Curve for G1Projective

type AffineRepr = G1Affine

The affine representation for this elliptic curve.

fn batch_normalize( p: &[G1Projective], q: &mut [<G1Projective as Curve>::AffineRepr], )

Converts a batch of projective elements into affine elements. This function will panic if p.len() != q.len().

fn to_affine(&self) -> <G1Projective as Curve>::AffineRepr

Converts this element into its affine representation.

impl Debug for G1Projective

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

Formats the value using the given formatter.

impl Default for G1Projective

fn default() -> G1Projective

Returns the “default value” for a type.

impl Display for G1Projective

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

Formats the value using the given formatter.

impl<'a> From<&'a G1Affine> for G1Projective

fn from(p: &'a G1Affine) -> G1Projective

Converts to this type from the input type.

impl<'a> From<&'a G1Projective> for G1Affine

fn from(p: &'a G1Projective) -> G1Affine

Converts to this type from the input type.

impl From<G1Affine> for G1Projective

fn from(p: G1Affine) -> G1Projective

Converts to this type from the input type.

impl From<G1Projective> for G1Affine

fn from(p: G1Projective) -> G1Affine

Converts to this type from the input type.

impl Group for G1Projective

type Scalar = Scalar

Scalars modulo the order of this group’s scalar field.

fn random(rng: impl RngCore) -> G1Projective

Returns an element chosen uniformly at random from the non-identity elements of this group.

fn identity() -> G1Projective

Returns the additive identity, also known as the “neutral element”.

fn generator() -> G1Projective

Returns a fixed generator of the prime-order subgroup.

fn is_identity(&self) -> Choice

Determines if this point is the identity.

fn double(&self) -> G1Projective

Doubles this element.

impl GroupEncoding for G1Projective

type Repr = G1Compressed

The encoding of group elements.

fn from_bytes( bytes: &<G1Projective as GroupEncoding>::Repr, ) -> CtOption<G1Projective>

Attempts to deserialize a group element from its encoding.

fn from_bytes_unchecked( bytes: &<G1Projective as GroupEncoding>::Repr, ) -> CtOption<G1Projective>

Attempts to deserialize a group element, not checking if the element is valid.

fn to_bytes(&self) -> <G1Projective as GroupEncoding>::Repr

Converts this element into its byte encoding. This may or may not support encoding the identity.

impl MapToCurve for G1Projective

type Field = Fp

The field element type.

fn map_to_curve(u: &Fp) -> G1Projective

Maps an element of the finite field Self::Field to a point on the curve Self.

fn clear_h(&self) -> G1Projective

Clears the cofactor, sending a point on curve E to the target group (G1/G2).

impl<'a, 'b> Mul<&'b Scalar> for &'a G1Projective

type Output = G1Projective

The resulting type after applying the * operator.

fn mul(self, other: &'b Scalar) -> <&'a G1Projective as Mul<&'b Scalar>>::Output

Performs the * operation.

impl<'b> Mul<&'b Scalar> for G1Projective

type Output = G1Projective

The resulting type after applying the * operator.

fn mul(self, rhs: &'b Scalar) -> G1Projective

Performs the * operation.

impl<'a> Mul<Scalar> for &'a G1Projective

type Output = G1Projective

The resulting type after applying the * operator.

fn mul(self, rhs: Scalar) -> G1Projective

Performs the * operation.

impl Mul<Scalar> for G1Projective

type Output = G1Projective

The resulting type after applying the * operator.

fn mul(self, rhs: Scalar) -> G1Projective

Performs the * operation.

impl<'b> MulAssign<&'b Scalar> for G1Projective

fn mul_assign(&mut self, rhs: &'b Scalar)

Performs the *= operation.

impl MulAssign<Scalar> for G1Projective

fn mul_assign(&mut self, rhs: Scalar)

Performs the *= operation.

impl<'a> Neg for &'a G1Projective

type Output = G1Projective

The resulting type after applying the - operator.

fn neg(self) -> G1Projective

Performs the unary - operation.

impl Neg for G1Projective

type Output = G1Projective

The resulting type after applying the - operator.

fn neg(self) -> G1Projective

Performs the unary - operation.

impl PartialEq for G1Projective

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

type Affine = G1Affine

impl<'a, 'b> Sub<&'b G1Affine> for &'a G1Projective

type Output = G1Projective

The resulting type after applying the - operator.

fn sub(self, rhs: &'b G1Affine) -> G1Projective

Performs the - operation.

impl<'b> Sub<&'b G1Affine> for G1Projective

type Output = G1Projective

The resulting type after applying the - operator.

fn sub(self, rhs: &'b G1Affine) -> G1Projective

Performs the - operation.

impl<'a, 'b> Sub<&'b G1Projective> for &'a G1Affine

type Output = G1Projective

The resulting type after applying the - operator.

fn sub(self, rhs: &'b G1Projective) -> G1Projective

Performs the - operation.

impl<'a, 'b> Sub<&'b G1Projective> for &'a G1Projective

type Output = G1Projective

The resulting type after applying the - operator.

fn sub(self, rhs: &'b G1Projective) -> G1Projective

Performs the - operation.

impl<'b> Sub<&'b G1Projective> for G1Affine

type Output = G1Projective

The resulting type after applying the - operator.

fn sub(self, rhs: &'b G1Projective) -> G1Projective

Performs the - operation.

impl<'b> Sub<&'b G1Projective> for G1Projective

type Output = G1Projective

The resulting type after applying the - operator.

fn sub(self, rhs: &'b G1Projective) -> G1Projective

Performs the - operation.

impl<'a> Sub<G1Affine> for &'a G1Projective

type Output = G1Projective

The resulting type after applying the - operator.

fn sub(self, rhs: G1Affine) -> G1Projective

Performs the - operation.

impl Sub<G1Affine> for G1Projective

type Output = G1Projective

The resulting type after applying the - operator.

fn sub(self, rhs: G1Affine) -> G1Projective

Performs the - operation.

impl<'a> Sub<G1Projective> for &'a G1Affine

type Output = G1Projective

The resulting type after applying the - operator.

fn sub(self, rhs: G1Projective) -> G1Projective

Performs the - operation.

impl<'a> Sub<G1Projective> for &'a G1Projective

type Output = G1Projective

The resulting type after applying the - operator.

fn sub(self, rhs: G1Projective) -> G1Projective

Performs the - operation.

impl Sub<G1Projective> for G1Affine

type Output = G1Projective

The resulting type after applying the - operator.

fn sub(self, rhs: G1Projective) -> G1Projective

Performs the - operation.

impl Sub for G1Projective

type Output = G1Projective

The resulting type after applying the - operator.

fn sub(self, rhs: G1Projective) -> G1Projective

Performs the - operation.

impl<'b> SubAssign<&'b G1Affine> for G1Projective

fn sub_assign(&mut self, rhs: &'b G1Affine)

Performs the -= operation.

impl<'b> SubAssign<&'b G1Projective> for G1Projective

fn sub_assign(&mut self, rhs: &'b G1Projective)

Performs the -= operation.

impl SubAssign<G1Affine> for G1Projective

fn sub_assign(&mut self, rhs: G1Affine)

Performs the -= operation.

impl SubAssign for G1Projective

fn sub_assign(&mut self, rhs: G1Projective)

Performs the -= operation.

impl<T> Sum<T> for G1Projective

where T: Borrow<G1Projective>,

fn sum<I>(iter: I) -> G1Projective

where I: Iterator<Item = T>,

Takes an iterator and generates Self from the elements by “summing up” the items.

impl WnafGroup for G1Projective

Available on crate feature alloc only.

fn recommended_wnaf_for_num_scalars(num_scalars: usize) -> usize

Recommends a wNAF window size given the number of scalars you intend to multiply a base by. Always returns a number between 2 and 22, inclusive.

impl Copy for G1Projective

impl DefaultIsZeroes for G1Projective

Available on crate feature zeroize only.

impl Eq for G1Projective

impl PrimeGroup for G1Projective