Struct G2Projective 

pub struct G2Projective { /* private fields */ }

G₂ projective point representation.

Implementations

impl G2Projective

pub fn identity() -> G2Projective

Point at infinity.

pub fn generator() -> G2Projective

Fixed generator.

pub fn multiply_secret_be_bytes(&self, secret: &[u8; 32]) -> Result<Self>

Multiply by a canonical, nonzero scalar encoded as a 32-byte big-endian secret key.

This path validates and consumes the borrowed big-endian bytes directly: it does not construct the generic Copy scalar type or materialize a second byte-order representation. Multiplication uses exactly 256 MSB-first rounds, always computes both the doubled and added candidate, and selects with a constant-time mask. Secret-derived point scratch is explicitly cleared after every round. Platform-specific compiler inspection is still required for a concrete side-channel claim.

pub fn random(rng: impl CryptoRng) -> Result<Self, RandomError>

Random non-identity element.

pub fn msm_vartime(points: &[G2Affine], scalars: &[Scalar]) -> Result<Self>

Multi-scalar multiplication using a variable-time Pippenger’s algorithm.

Every scalar passed to this low-level helper must be public. It contains input-dependent branches and does not provide secret-scratch ownership. Use Self::multiply_secret_be_bytes for secret scalar multiplication, or the high-level BLS APIs in dcrypt-sign.

Panics

Panics if points.len() != scalars.len().

pub fn double(&self) -> G2Projective

Point doubling.

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

Point addition.

pub fn add_mixed(&self, rhs: &G2Affine) -> G2Projective

Mixed addition with affine point.

pub fn clear_cofactor(&self) -> G2Projective

Clear cofactor.

pub fn batch_normalize(p: &[Self], q: &mut [G2Affine])

Batch conversion to affine.

pub fn is_identity(&self) -> Choice

Check if point at infinity.

pub fn is_on_curve(&self) -> Choice

Check if on curve y² = x³ + B.

pub fn from_bytes(bytes: &[u8; 96]) -> CtOption<Self>

Deserialize a standard compressed group element and enforce subgroup membership. The canonical identity encoding is accepted; protocols such as BLS that prohibit identity inputs should use Self::from_bytes_validated.

pub fn from_bytes_validated(bytes: &[u8]) -> Result<Self>

Deserialize a nonidentity standard compressed point from a byte slice, enforcing canonical field encodings, flag rules, curve membership, and subgroup membership.

pub fn to_bytes(&self) -> [u8; 96]

Serialize to compressed bytes.

impl G2Projective

pub fn hash_to_curve(msg: &[u8], dst: &[u8]) -> Result<Self>

Hash a message to a point on G2 using the hash-to-curve protocol.

Trait Implementations

impl Add for G2Projective

type Output = G2Projective

The resulting type after applying the + operator.

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

Performs the + operation.

impl<'a, 'b> Add<&'b G2Affine> for &'a G2Projective

type Output = G2Projective

The resulting type after applying the + operator.

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

Performs the + operation.

impl<'b> Add<&'b G2Affine> for G2Projective

type Output = G2Projective

The resulting type after applying the + operator.

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

Performs the + operation.

impl<'a, 'b> Add<&'b G2Projective> for &'a G2Affine

type Output = G2Projective

The resulting type after applying the + operator.

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

Performs the + operation.

impl<'b> Add<&'b G2Projective> for G2Affine

type Output = G2Projective

The resulting type after applying the + operator.

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

Performs the + operation.

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

type Output = G2Projective

The resulting type after applying the + operator.

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

Performs the + operation.

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

type Output = G2Projective

The resulting type after applying the + operator.

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

Performs the + operation.

impl<'a> Add<G2Affine> for &'a G2Projective

type Output = G2Projective

The resulting type after applying the + operator.

fn add(self, rhs: G2Affine) -> G2Projective

Performs the + operation.

impl Add<G2Affine> for G2Projective

type Output = G2Projective

The resulting type after applying the + operator.

fn add(self, rhs: G2Affine) -> G2Projective

Performs the + operation.

impl<'a> Add<G2Projective> for &'a G2Affine

type Output = G2Projective

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<G2Projective> for G2Affine

type Output = G2Projective

The resulting type after applying the + operator.

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

Performs the + operation.

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

type Output = G2Projective

The resulting type after applying the + operator.

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

Performs the + operation.

impl AddAssign for G2Projective

fn add_assign(&mut self, rhs: G2Projective)

Performs the += operation.

impl<'b> AddAssign<&'b G2Affine> for G2Projective

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

Performs the += operation.

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

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

Performs the += operation.

impl AddAssign<G2Affine> for G2Projective

fn add_assign(&mut self, rhs: G2Affine)

Performs the += operation.

impl Clone for G2Projective

fn clone(&self) -> G2Projective

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl ConditionallySelectable for G2Projective

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

impl ConstantTimeEq for G2Projective

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

impl Copy for G2Projective

impl Debug for G2Projective

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

Formats the value using the given formatter.

impl Default for G2Projective

fn default() -> G2Projective

Returns the “default value” for a type.

impl Display for G2Projective

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

Formats the value using the given formatter.

impl Eq for G2Projective

impl<'a> From<&'a G2Affine> for G2Projective

fn from(p: &'a G2Affine) -> G2Projective

Converts to this type from the input type.

impl<'a> From<&'a G2Projective> for G2Affine

fn from(p: &'a G2Projective) -> G2Affine

Converts to this type from the input type.

impl From<G2Affine> for G2Projective

fn from(p: G2Affine) -> G2Projective

Converts to this type from the input type.

impl From<G2Projective> for G2Affine

fn from(p: G2Projective) -> G2Affine

Converts to this type from the input type.

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

type Output = G2Projective

The resulting type after applying the * operator.

fn mul(self, rhs: &'b G2Projective) -> Self::Output

Performs the * operation.

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

type Output = G2Projective

The resulting type after applying the * operator.

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

Performs the * operation.

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

type Output = G2Projective

The resulting type after applying the * operator.

fn mul(self, other: &'b Scalar) -> Self::Output

Performs the * operation.

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

type Output = G2Projective

The resulting type after applying the * operator.

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

Performs the * operation.

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

type Output = G2Projective

The resulting type after applying the * operator.

fn mul(self, rhs: G2Projective) -> G2Projective

Performs the * operation.

impl Mul<G2Projective> for Scalar

type Output = G2Projective

The resulting type after applying the * operator.

fn mul(self, rhs: G2Projective) -> G2Projective

Performs the * operation.

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

type Output = G2Projective

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul<Scalar> for G2Projective

type Output = G2Projective

The resulting type after applying the * operator.

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

Performs the * operation.

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

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

Performs the *= operation.

impl MulAssign<Scalar> for G2Projective

fn mul_assign(&mut self, rhs: Scalar)

Performs the *= operation.

impl<'a> Neg for &'a G2Projective

type Output = G2Projective

The resulting type after applying the - operator.

fn neg(self) -> G2Projective

Performs the unary - operation.

impl Neg for G2Projective

type Output = G2Projective

The resulting type after applying the - operator.

fn neg(self) -> G2Projective

Performs the unary - operation.

impl PartialEq for G2Projective

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Sub for G2Projective

type Output = G2Projective

The resulting type after applying the - operator.

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

Performs the - operation.

impl<'a, 'b> Sub<&'b G2Affine> for &'a G2Projective

type Output = G2Projective

The resulting type after applying the - operator.

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

Performs the - operation.

impl<'b> Sub<&'b G2Affine> for G2Projective

type Output = G2Projective

The resulting type after applying the - operator.

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

Performs the - operation.

impl<'a, 'b> Sub<&'b G2Projective> for &'a G2Affine

type Output = G2Projective

The resulting type after applying the - operator.

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

Performs the - operation.

impl<'b> Sub<&'b G2Projective> for G2Affine

type Output = G2Projective

The resulting type after applying the - operator.

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

Performs the - operation.

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

type Output = G2Projective

The resulting type after applying the - operator.

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

Performs the - operation.

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

type Output = G2Projective

The resulting type after applying the - operator.

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

Performs the - operation.

impl<'a> Sub<G2Affine> for &'a G2Projective

type Output = G2Projective

The resulting type after applying the - operator.

fn sub(self, rhs: G2Affine) -> G2Projective

Performs the - operation.

impl Sub<G2Affine> for G2Projective

type Output = G2Projective

The resulting type after applying the - operator.

fn sub(self, rhs: G2Affine) -> G2Projective

Performs the - operation.

impl<'a> Sub<G2Projective> for &'a G2Affine

type Output = G2Projective

The resulting type after applying the - operator.

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

Performs the - operation.

impl Sub<G2Projective> for G2Affine

type Output = G2Projective

The resulting type after applying the - operator.

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

Performs the - operation.

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

type Output = G2Projective

The resulting type after applying the - operator.

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

Performs the - operation.

impl SubAssign for G2Projective

fn sub_assign(&mut self, rhs: G2Projective)

Performs the -= operation.

impl<'b> SubAssign<&'b G2Affine> for G2Projective

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

Performs the -= operation.

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

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

Performs the -= operation.

impl SubAssign<G2Affine> for G2Projective

fn sub_assign(&mut self, rhs: G2Affine)

Performs the -= operation.

impl<T> Sum<T> for G2Projective

where T: Borrow<G2Projective>,

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

where I: Iterator<Item = T>,

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

impl Zeroize for G2Projective

fn zeroize(&mut self)