Struct G2Affine

pub struct G2Affine(/* private fields */);

G2Affine is a point in the G2 group (subgroup defined over the quadratic extension field Fq2) of the BLS12-381 elliptic curve

Serialization:

• The 192 bytes represent the uncompressed encoding of a point in G2. The bytes consist of be_bytes(X_c1) || be_bytes(X_c0) || be_bytes(Y_c1) || be_bytes(Y_c0) (|| is concatenation), where ‘X’ and ‘Y’ are the two coordinates, each being an extension field element Fp2 and c0, c1 are components of Fp2 (each being Fp).
• The most significant three bits (bits 0-3) of the first byte are reserved for encoding flags:
  • compression_flag (bit 0): Must always be set (1), as only uncompressed points are supported.
  • infinity_flag (bit 1): Set if the point is the point at infinity (zero point), in which case all other bits must be zero.
  • sort_flag (bit 2): Must always be unset (0).

Implementations

impl G2Affine

pub fn from_bytes(bytes: BytesN<192>) -> Self

pub fn to_bytes(&self) -> BytesN<192>

pub fn as_bytes(&self) -> &BytesN<192>

pub fn to_array(&self) -> [u8; 192]

pub fn from_array(env: &Env, array: &[u8; 192]) -> Self

pub fn as_val(&self) -> &Val

pub fn to_val(&self) -> Val

pub fn as_object(&self) -> &BytesObject

pub fn to_object(&self) -> BytesObject

impl G2Affine

pub fn env(&self) -> &Env

pub fn is_in_subgroup(&self) -> bool

pub fn checked_add(&self, rhs: &Self) -> Option<Self>

Trait Implementations

impl Add for G2Affine

type Output = G2Affine

The resulting type after applying the + operator.

fn add(self, rhs: Self) -> Self::Output

Performs the + operation.

impl Clone for G2Affine

fn clone(&self) -> G2Affine

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for G2Affine

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

Formats the value using the given formatter.

impl From<G2Affine> for Bytes

fn from(v: G2Affine) -> Self

Converts to this type from the input type.

impl From<G2Affine> for BytesN<192>

fn from(v: G2Affine) -> Self

Converts to this type from the input type.

impl Into<[u8; 192]> for G2Affine

fn into(self) -> [u8; 192]

Converts this type into the (usually inferred) input type.

impl IntoVal<Env, BytesN<192>> for G2Affine

fn into_val(&self, _e: &Env) -> BytesN<192>

impl IntoVal<Env, Val> for G2Affine

fn into_val(&self, e: &Env) -> Val

impl Mul<Fr> for G2Affine

type Output = G2Affine

The resulting type after applying the * operator.

fn mul(self, rhs: Fr) -> Self::Output

Performs the * operation.

impl PartialEq for G2Affine

fn eq(&self, other: &Self) -> 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 TryFromVal<Env, Val> for G2Affine

type Error = ConversionError

fn try_from_val(env: &Env, val: &Val) -> Result<Self, Self::Error>

impl Eq for G2Affine