Struct oberon::inner_types::G2Projective

pub struct G2Projective { /* private fields */ }

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

Implementations

impl G2Projective

pub const COMPRESSED_BYTES: usize = 96usize

Bytes to represent this point compressed

pub const UNCOMPRESSED_BYTES: usize = 192usize

Bytes to represent this point uncompressed

pub const IDENTITY: G2Projective = Self{ x: Fp2::ZERO, y: Fp2::ONE, z: Fp2::ZERO,}

The identity of the group: the point at infinity.

pub fn identity() -> G2Projective

👎Deprecated since 0.5.5: Use IDENTITY instead.

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

pub const GENERATOR: G2Projective = Self{ x: Fp2{ c0: Fp::from_raw_unchecked([17722385409647053328, 12967546844987299354, 11648722842835150208, 10994581490347323113, 8027586497049998955, 396758299565931735]), c1: Fp::from_raw_unchecked([11937283898719073798, 12295044263989567683, 4301357764460312582, 1953074377943790439, 14030662337566180679, 1266120665323335155]),}, y: Fp2{ c0: Fp::from_raw_unchecked([5508758831087832138, 6448303779119275098, 16710190169160573786, 13542242618704742751, 563980702369916322, 37152010398653157]), c1: Fp::from_raw_unchecked([12520284671833321565, 1777275927576994268, 9704602344324656032, 8739618045342622522, 16651875250601773805, 804950956836789234]),}, z: Fp2::ONE,}

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

pub fn generator() -> G2Projective

👎Deprecated since 0.5.5: Use GENERATOR instead.

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

pub fn double(&self) -> G2Projective

Computes the doubling of this point.

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

Adds this point to another point.

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

Adds this point to another point in the affine model.

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

Converts a batch of G2Projective elements into G2Affine 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.

pub fn hash<X>(msg: &[u8], dst: &[u8]) -> G2Projectivewhere X: for<'a> ExpandMsg<'a>,

Use a random oracle to map a value to a curve point

pub fn encode<X>(msg: &[u8], dst: &[u8]) -> G2Projectivewhere X: for<'a> ExpandMsg<'a>,

Use injective encoding to map a value to a curve point

pub fn sum_of_products( points: &[G2Projective], scalars: &[Scalar] ) -> G2Projective

Use pippenger multi-exponentiation method to compute the sum of multiple points raise to scalars. This uses a fixed window of 4 to be constant time

pub fn sum_of_products_in_place( points: &[G2Projective], scalars: &mut [Scalar] ) -> G2Projective

Use pippenger multi-exponentiation method to compute the sum of multiple points raise to scalars. This uses a fixed window of 4 to be constant time The scalars are used as place holders for temporary computations

Trait Implementations

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<'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 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 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<'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 Add<G2Projective> for G2Affine

type Output = G2Projective

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<G2Projective> for G2Projective

type Output = G2Projective

The resulting type after applying the + operator.

fn add(self, rhs: G2Projective) -> 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 AddAssign<G2Projective> for G2Projective

fn add_assign(&mut self, rhs: G2Projective)

Performs the += operation.

impl Clone for G2Projective

fn clone(&self) -> G2Projective

Returns a copy of the value.

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

Performs copy-assignment from source.

impl CofactorGroup for G2Projective

fn clear_cofactor(&self) -> <G2Projective as CofactorGroup>::Subgroup

Clears the cofactor, using Budroni-Pintore. This is equivalent to multiplying by $h_\textrm{eff} = 3(z^2 - 1) \cdot h_2$, where $h_2$ is the cofactor of $\mathbb{G}_2$ and $z$ is the parameter of BLS12-381.

type Subgroup = G2Projective

The large prime-order subgroup in which cryptographic operations are performed. If Self implements PrimeGroup, then Self::Subgroup may be Self.

fn into_subgroup(self) -> CtOption<<G2Projective as CofactorGroup>::Subgroup>

Returns self if it is contained in the prime-order subgroup.

fn is_torsion_free(&self) -> Choice

Determines if this element is “torsion free”, i.e., is contained in the prime-order subgroup.

fn is_small_order(&self) -> Choice

Determines if this element is of small order.

impl ConditionallySelectable for G2Projective

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

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 G2Projective

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

Determine if two items are equal.

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

Determine if two items are NOT equal.

impl Curve for G2Projective

type AffineRepr = G2Affine

The affine representation for this elliptic curve.

fn batch_normalize( p: &[G2Projective], q: &mut [<G2Projective 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) -> <G2Projective as Curve>::AffineRepr

Converts this element into its affine representation.

impl Debug for G2Projective

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

Formats the value using the given formatter.

impl Default for G2Projective

fn default() -> G2Projective

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for G2Projective

fn deserialize<D>( deserializer: D ) -> Result<G2Projective, <D as Deserializer<'de>>::Error>where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for G2Projective

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

Formats the value using the given formatter.

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 Group for G2Projective

type Scalar = Scalar

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

fn random(rng: impl RngCore) -> G2Projective

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

fn identity() -> G2Projective

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

fn generator() -> G2Projective

Returns a fixed generator of the prime-order subgroup.

fn is_identity(&self) -> Choice

Determines if this point is the identity.

fn double(&self) -> G2Projective

Doubles this element.

impl GroupEncoding for G2Projective

type Repr = G2Compressed

The encoding of group elements.

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

Attempts to deserialize a group element from its encoding.

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

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

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

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

impl LowerHex for G2Projective

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

Formats the value using the given formatter.

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 ) -> <&'a Scalar as Mul<&'b G2Projective>>::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) -> <&'a G2Projective as Mul<&'b Scalar>>::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<G2Projective> for G2Projective

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PrimeCurve for G2Projective

type Affine = G2Affine

impl Serialize for G2Projective

fn serialize<S>( &self, s: S ) -> Result<<S as Serializer>::Ok, <S as Serializer>::Error>where S: Serializer,

Serialize this value into the given Serde serializer.

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<'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 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 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<'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 Sub<G2Projective> for G2Affine

type Output = G2Projective

The resulting type after applying the - operator.

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

Performs the - operation.

impl Sub<G2Projective> for G2Projective

type Output = G2Projective

The resulting type after applying the - operator.

fn sub(self, rhs: G2Projective) -> 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 SubAssign<G2Projective> for G2Projective

fn sub_assign(&mut self, rhs: G2Projective)

Performs the -= operation.

impl<T> Sum<T> for G2Projectivewhere T: Borrow<G2Projective>,

fn sum<I>(iter: I) -> G2Projectivewhere I: Iterator<Item = T>,

Method which takes an iterator and generates Self from the elements by “summing up” the items.

impl UpperHex for G2Projective

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

Formats the value using the given formatter.

impl WnafGroup for G2Projective

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 G2Projective

impl DefaultIsZeroes for G2Projective

impl Eq for G2Projective

impl PrimeGroup for G2Projective