Type Alias Fq2

pub type Fq2 = QuadExtField<Fq>;

Aliased Type

struct Fq2 { /* private fields */ }

Implementations

impl Fq2

pub const SIZE: usize = 64usize

impl Fq2

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

Attempts to convert a little-endian byte representation of a scalar into a $base, failing if the input is not canonical.

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

Converts an element of $base into a byte representation in little-endian byte order.

pub fn lexicographically_largest(&self) -> Choice

Returns whether or not this element is strictly lexicographically larger than its negation.

Trait Implementations

impl<'a, 'b> Add<&'b QuadExtField<Fq>> for &'a Fq2

type Output = QuadExtField<Fq>

The resulting type after applying the + operator.

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

Performs the + operation.

impl<'b> Add<&'b QuadExtField<Fq>> for Fq2

type Output = QuadExtField<Fq>

The resulting type after applying the + operator.

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

Performs the + operation.

impl<'a> Add<QuadExtField<Fq>> for &'a Fq2

type Output = QuadExtField<Fq>

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add for Fq2

type Output = QuadExtField<Fq>

The resulting type after applying the + operator.

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

Performs the + operation.

impl<'b> AddAssign<&'b QuadExtField<Fq>> for Fq2

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

Performs the += operation.

impl AddAssign for Fq2

fn add_assign(&mut self, rhs: Fq2)

Performs the += operation.

impl EndianRepr for Fq2

const ENDIAN: Endian = Fq::ENDIAN

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

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

impl ExtField for Fq2

const NON_RESIDUE: Self = _

fn mul_by_nonresidue(&self) -> Self

fn frobenius_map(&mut self, power: usize)

impl From<u64> for Fq2

fn from(val: u64) -> Self

Converts to this type from the input type.

impl FromUniformBytes<96> for Fq2

fn from_uniform_bytes(bytes: &[u8; 96]) -> Self

Returns a field element that is congruent to the provided little endian unsigned byte representation of an integer.

impl Legendre for Fq2

fn legendre(&self) -> i64

fn ct_quadratic_non_residue(&self) -> Choice

fn ct_quadratic_residue(&self) -> Choice

impl<'a, 'b> Mul<&'b QuadExtField<Fq>> for &'a Fq2

type Output = QuadExtField<Fq>

The resulting type after applying the * operator.

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

Performs the * operation.

impl<'b> Mul<&'b QuadExtField<Fq>> for Fq2

type Output = QuadExtField<Fq>

The resulting type after applying the * operator.

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

Performs the * operation.

impl<'a> Mul<QuadExtField<Fq>> for &'a Fq2

type Output = QuadExtField<Fq>

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul for Fq2

type Output = QuadExtField<Fq>

The resulting type after applying the * operator.

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

Performs the * operation.

impl<'b> MulAssign<&'b QuadExtField<Fq>> for Fq2

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

Performs the *= operation.

impl MulAssign for Fq2

fn mul_assign(&mut self, rhs: Fq2)

Performs the *= operation.

impl<'a> Neg for &'a Fq2

type Output = QuadExtField<Fq>

The resulting type after applying the - operator.

fn neg(self) -> Fq2

Performs the unary - operation.

impl Neg for Fq2

type Output = QuadExtField<Fq>

The resulting type after applying the - operator.

fn neg(self) -> Fq2

Performs the unary - operation.

impl Ord for Fq2

fn cmp(&self, other: &Fq2) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialOrd for Fq2

fn partial_cmp(&self, other: &Fq2) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl PrimeField for Fq2

const MODULUS: &'static str = <Fq as PrimeField>::MODULUS

Modulus of the field written as a string for debugging purposes.

const MULTIPLICATIVE_GENERATOR: Self = _

A fixed multiplicative generator of modulus - 1 order. This element must also be a quadratic nonresidue.

const NUM_BITS: u32 = 254u32

How many bits are needed to represent an element of this field.

const CAPACITY: u32 = 254u32

How many bits of information can be reliably stored in the field element.

const S: u32 = 1u32

An integer s satisfying the equation 2^s * t = modulus - 1 with t odd.

const ROOT_OF_UNITY: Self = Fq2::ZERO

The 2^s root of unity.

const ROOT_OF_UNITY_INV: Self = Fq2::ZERO

Inverse of Self::ROOT_OF_UNITY.

const DELTA: Self = Fq2::ZERO

Generator of the t-order multiplicative subgroup.

const TWO_INV: Self = _

Inverse of $2$ in the field.

type Repr = Repr<{ $base::SIZE * 2 }>

The prime field can be converted back and forth into this binary representation.

fn from_repr(repr: Self::Repr) -> CtOption<Self>

Attempts to convert a byte representation of a field element into an element of this prime field, failing if the input is not canonical (is not smaller than the field’s modulus).

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

Converts an element of the prime field into the standard byte representation for this field.

fn is_odd(&self) -> Choice

Returns true iff this element is odd.

fn from_str_vartime(s: &str) -> Option<Self>

Interpret a string of numbers as a (congruent) prime field element. Does not accept unnecessary leading zeroes or a blank string.

fn from_u128(v: u128) -> Self

Obtains a field element congruent to the integer v.

fn from_repr_vartime(repr: Self::Repr) -> Option<Self>

Attempts to convert a byte representation of a field element into an element of this prime field, failing if the input is not canonical (is not smaller than the field’s modulus).

fn is_even(&self) -> Choice

Returns true iff this element is even.

impl<T: Borrow<Fq2>> Product<T> for Fq2

fn product<I: Iterator<Item = T>>(iter: I) -> Self

Takes an iterator and generates Self from the elements by multiplying the items.

impl QuadExtFieldArith for Fq2

const SQRT: SQRT<Fq> = _

type Base = Fq

fn square_assign(el: &mut QuadExtField<Self::Base>)

fn mul_assign( lhs: &mut QuadExtField<Self::Base>, rhs: &QuadExtField<Self::Base>, )

impl SerdeObject for Fq2

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<'a, 'b> Sub<&'b QuadExtField<Fq>> for &'a Fq2

type Output = QuadExtField<Fq>

The resulting type after applying the - operator.

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

Performs the - operation.

impl<'b> Sub<&'b QuadExtField<Fq>> for Fq2

type Output = QuadExtField<Fq>

The resulting type after applying the - operator.

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

Performs the - operation.

impl<'a> Sub<QuadExtField<Fq>> for &'a Fq2

type Output = QuadExtField<Fq>

The resulting type after applying the - operator.

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

Performs the - operation.

impl Sub for Fq2

type Output = QuadExtField<Fq>

The resulting type after applying the - operator.

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

Performs the - operation.

impl<'b> SubAssign<&'b QuadExtField<Fq>> for Fq2

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

Performs the -= operation.

impl SubAssign for Fq2

fn sub_assign(&mut self, rhs: Fq2)

Performs the -= operation.

impl<T: Borrow<Fq2>> Sum<T> for Fq2

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

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

impl WithSmallOrderMulGroup<3> for Fq2

const ZETA: Self = _

A field element of small multiplicative order $N$.