Struct halo2curves::bn256::G2Affine

pub struct G2Affine {
    pub x: Fq2,
    pub y: Fq2,
}

Fields

x: Fq2

y: Fq2

Implementations

impl G2Affine

pub fn generator() -> Self

pub fn random(rng: impl RngCore) -> Self

Trait Implementations

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

type Output = G2

The resulting type after applying the + operator.

fn add(self, rhs: &'a G2) -> G2

Performs the + operation.

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

type Output = G2

The resulting type after applying the + operator.

fn add(self, rhs: &'a G2Affine) -> G2

Performs the + operation.

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

type Output = G2

The resulting type after applying the + operator.

fn add(self, rhs: &'a G2Affine) -> G2

Performs the + operation.

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

type Output = G2

The resulting type after applying the + operator.

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

Performs the + operation.

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

type Output = G2

The resulting type after applying the + operator.

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

Performs the + operation.

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

type Output = G2

The resulting type after applying the + operator.

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

Performs the + operation.

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

type Output = G2

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<G2> for G2Affine

type Output = G2

The resulting type after applying the + operator.

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

Performs the + operation.

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

type Output = G2

The resulting type after applying the + operator.

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

Performs the + operation.

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

type Output = G2

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<G2Affine> for G2

type Output = G2

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<G2Affine> for G2Affine

type Output = G2

The resulting type after applying the + operator.

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

Performs the + operation.

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

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

Performs the += operation.

impl AddAssign<G2Affine> for G2

fn add_assign(&mut self, rhs: G2Affine)

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 CofactorCurveAffine for G2Affine

type Curve = G2

type Scalar = Fr

fn identity() -> Self

Returns the additive identity.

fn generator() -> Self

Returns a fixed generator of unknown exponent.

fn is_identity(&self) -> Choice

Determines if this point represents the point at infinity; the additive identity.

fn to_curve(&self) -> Self::Curve

Converts this element to its curve representation.

impl ConditionallySelectable for G2Affine

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

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 G2Affine

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

Determine if two items are equal.

impl CurveAffine for G2Affine

type ScalarExt = Fr

The scalar field of this elliptic curve.

type Base = Fq2

The base field over which this elliptic curve is constructed.

type CurveExt = G2

The projective form of the curve

fn is_on_curve(&self) -> Choice

Returns whether or not this element is on the curve; should always be true unless an “unchecked” API was used.

fn coordinates(&self) -> CtOption<Coordinates<Self>>

Gets the coordinates of this point.

fn from_xy(x: Self::Base, y: Self::Base) -> CtOption<Self>

Obtains a point given $(x, y)$, failing if it is not on the curve.

fn a() -> Self::Base

Returns the curve constant $a$.

fn b() -> Self::Base

Returns the curve constant $b$.

impl CurveAffineExt for G2Affine

fn batch_add<const COMPLETE: bool, const LOAD_POINTS: bool>(
    points: &mut [Self],
    output_indices: &[u32],
    num_points: usize,
    offset: usize,
    bases: &[Self],
    base_positions: &[u32]
)

fn into_coordinates(self) -> (Self::Base, Self::Base)

Unlike the Coordinates trait, this just returns the raw affine coordinates without checking is_on_curve

impl Debug for G2Affine

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

Formats the value using the given formatter.

impl Default for G2Affine

fn default() -> G2Affine

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for G2Affine

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
    __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

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

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

Converts to this type from the input type.

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

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

Converts to this type from the input type.

impl From<G2> for G2Affine

fn from(p: G2) -> G2Affine

Converts to this type from the input type.

impl From<G2Affine> for G2

fn from(p: G2Affine) -> G2

Converts to this type from the input type.

impl From<G2Affine> for G2Prepared

fn from(q: G2Affine) -> G2Prepared

Converts to this type from the input type.

impl GroupEncoding for G2Affine

type Repr = G2Compressed

The encoding of group elements.

fn from_bytes(bytes: &Self::Repr) -> CtOption<Self>

Attempts to deserialize a group element from its encoding.

fn from_bytes_unchecked(bytes: &Self::Repr) -> CtOption<Self>

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

fn to_bytes(&self) -> Self::Repr

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

impl Hash for G2Affine

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)where
    H: Hasher,
    Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<'a, 'b> Mul<&'b Fr> for &'a G2Affine

type Output = G2

The resulting type after applying the * operator.

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

Performs the * operation.

impl<'b> Mul<&'b Fr> for G2Affine

type Output = G2

The resulting type after applying the * operator.

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

Performs the * operation.

impl<'a> Mul<Fr> for &'a G2Affine

type Output = G2

The resulting type after applying the * operator.

fn mul(self, rhs: Fr) -> G2

Performs the * operation.

impl Mul<Fr> for G2Affine

type Output = G2

The resulting type after applying the * operator.

fn mul(self, rhs: Fr) -> G2

Performs the * operation.

impl<'a> Neg for &'a G2Affine

type Output = G2Affine

The resulting type after applying the - operator.

fn neg(self) -> G2Affine

Performs the unary - operation.

impl Neg for G2Affine

type Output = G2Affine

The resulting type after applying the - operator.

fn neg(self) -> G2Affine

Performs the unary - operation.

impl PairingCurveAffine for G2Affine

type Pair = G1Affine

type PairingResult = Gt

fn pairing_with(&self, other: &Self::Pair) -> Self::PairingResult

Perform a pairing

impl PartialEq<G2Affine> for G2Affine

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

type Curve = G2

type Scalar = Fr

fn generator() -> Self

Returns a fixed generator of unknown exponent.

fn identity() -> Self

Returns the additive identity.

fn is_identity(&self) -> Choice

Determines if this point represents the point at infinity; the additive identity.

fn to_curve(&self) -> Self::Curve

Converts this element to its curve representation.

impl SerdeObject for G2Affine

fn from_raw_bytes_unchecked(bytes: &[u8]) -> Self

The purpose of unchecked functions is to read the internal memory representation of a type from bytes as quickly as possible. No sanitization checks are performed to ensure the bytes represent a valid object. As such this function should only be used internally as an extension of machine memory. It should not be used to deserialize externally provided data.

fn from_raw_bytes(bytes: &[u8]) -> Option<Self>

fn to_raw_bytes(&self) -> Vec<u8>

fn read_raw_unchecked<R: Read>(reader: &mut R) -> Self

The purpose of unchecked functions is to read the internal memory representation of a type from disk as quickly as possible. No sanitization checks are performed to ensure the bytes represent a valid object. This function should only be used internally when some machine state cannot be kept in memory (e.g., between runs) and needs to be reloaded as quickly as possible.

fn read_raw<R: Read>(reader: &mut R) -> Result<Self>

fn write_raw<W: Write>(&self, writer: &mut W) -> Result<()>

impl Serialize for G2Affine

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where
    __S: Serializer,

Serialize this value into the given Serde serializer.

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

type Output = G2

The resulting type after applying the - operator.

fn sub(self, other: &'a G2) -> G2

Performs the - operation.

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

type Output = G2

The resulting type after applying the - operator.

fn sub(self, other: &'a G2Affine) -> G2

Performs the - operation.

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

type Output = G2

The resulting type after applying the - operator.

fn sub(self, other: &'a G2Affine) -> G2

Performs the - operation.

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

type Output = G2

The resulting type after applying the - operator.

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

Performs the - operation.

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

type Output = G2

The resulting type after applying the - operator.

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

Performs the - operation.

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

type Output = G2

The resulting type after applying the - operator.

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

Performs the - operation.

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

type Output = G2

The resulting type after applying the - operator.

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

Performs the - operation.

impl Sub<G2> for G2Affine

type Output = G2

The resulting type after applying the - operator.

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

Performs the - operation.

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

type Output = G2

The resulting type after applying the - operator.

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

Performs the - operation.

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

type Output = G2

The resulting type after applying the - operator.

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

Performs the - operation.

impl Sub<G2Affine> for G2

type Output = G2

The resulting type after applying the - operator.

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

Performs the - operation.

impl Sub<G2Affine> for G2Affine

type Output = G2

The resulting type after applying the - operator.

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

Performs the - operation.

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

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

Performs the -= operation.

impl SubAssign<G2Affine> for G2

fn sub_assign(&mut self, rhs: G2Affine)

Performs the -= operation.

impl UncompressedEncoding for G2Affine

type Uncompressed = G2Compressed

fn from_uncompressed(_: &Self::Uncompressed) -> CtOption<Self>

Attempts to deserialize an element from its uncompressed encoding.

fn from_uncompressed_unchecked(_: &Self::Uncompressed) -> CtOption<Self>

Attempts to deserialize an uncompressed element, not checking if the element is in the correct subgroup.

fn to_uncompressed(&self) -> Self::Uncompressed

Converts this element into its uncompressed encoding, so long as it’s not the point at infinity.

impl Copy for G2Affine

impl Eq for G2Affine

impl StructuralPartialEq for G2Affine