Struct QuadExtField

pub struct QuadExtField<F: Field> { /* private fields */ }

Implementations

impl<F: Field> QuadExtField<F>

pub const fn new(c0: F, c1: F) -> Self

pub const fn zero() -> Self

pub const fn one() -> Self

pub fn double(&self) -> Self

pub fn add(&self, other: &Self) -> Self

pub fn sub(&self, other: &Self) -> Self

pub fn neg(&self) -> Self

pub fn conjugate(&mut self)

impl<F: ExtField> QuadExtField<F>

where Self: QuadExtFieldArith<Base = F>,

pub fn mul(&self, rhs: &Self) -> Self

pub fn mul_assign(&mut self, rhs: &Self)

pub fn square(el: &Self) -> Self

pub fn square_assign(&mut self)

pub fn norm(&self) -> F

impl QuadExtField<CubicExtField<QuadExtField<Fq>>>

pub fn cyclotomic_square(&mut self)

impl QuadExtField<Fq>

pub const SIZE: usize = 96usize

impl QuadExtField<Fq>

pub fn from_bytes(bytes: &[u8; 96]) -> 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; 96]

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.

impl QuadExtField<CubicExtField<QuadExtField<Fq>>>

pub fn cyclotomic_square(&mut self)

impl QuadExtField<Fq>

pub const SIZE: usize = 64usize

impl QuadExtField<Fq>

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.

impl QuadExtField<CubicExtField<QuadExtField<Fp>>>

pub fn cyclotomic_square(&mut self)

impl QuadExtField<Fp>

pub const SIZE: usize = 112usize

impl QuadExtField<Fp>

pub fn from_bytes(bytes: &[u8; 112]) -> CtOption<QuadExtField<Fp>>

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; 112]

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<CubicExtField<QuadExtField<Fp>>>> for &'a QuadExtField<CubicExtField<QuadExtField<Fp>>>

type Output = QuadExtField<CubicExtField<QuadExtField<Fp>>>

The resulting type after applying the + operator.

fn add( self, rhs: &'b QuadExtField<CubicExtField<QuadExtField<Fp>>>, ) -> QuadExtField<CubicExtField<QuadExtField<Fp>>>

Performs the + operation.

impl<'b> Add<&'b QuadExtField<CubicExtField<QuadExtField<Fp>>>> for QuadExtField<CubicExtField<QuadExtField<Fp>>>

type Output = QuadExtField<CubicExtField<QuadExtField<Fp>>>

The resulting type after applying the + operator.

fn add( self, rhs: &'b QuadExtField<CubicExtField<QuadExtField<Fp>>>, ) -> QuadExtField<CubicExtField<QuadExtField<Fp>>>

Performs the + operation.

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

type Output = QuadExtField<CubicExtField<QuadExtField<Fq>>>

The resulting type after applying the + operator.

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

Performs the + operation.

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

type Output = QuadExtField<CubicExtField<QuadExtField<Fq>>>

The resulting type after applying the + operator.

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

Performs the + operation.

impl<'b> Add<&'b QuadExtField<CubicExtField<QuadExtField<Fq>>>> for Fq12

type Output = QuadExtField<CubicExtField<QuadExtField<Fq>>>

The resulting type after applying the + operator.

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

Performs the + operation.

impl<'b> Add<&'b QuadExtField<CubicExtField<QuadExtField<Fq>>>> for Fq12

type Output = QuadExtField<CubicExtField<QuadExtField<Fq>>>

The resulting type after applying the + operator.

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

Performs the + operation.

impl<'a, 'b> Add<&'b QuadExtField<Fp>> for &'a QuadExtField<Fp>

type Output = QuadExtField<Fp>

The resulting type after applying the + operator.

fn add(self, rhs: &'b QuadExtField<Fp>) -> QuadExtField<Fp>

Performs the + operation.

impl<'b> Add<&'b QuadExtField<Fp>> for QuadExtField<Fp>

type Output = QuadExtField<Fp>

The resulting type after applying the + operator.

fn add(self, rhs: &'b QuadExtField<Fp>) -> QuadExtField<Fp>

Performs the + operation.

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<'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<'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<CubicExtField<QuadExtField<Fp>>>> for &'a QuadExtField<CubicExtField<QuadExtField<Fp>>>

type Output = QuadExtField<CubicExtField<QuadExtField<Fp>>>

The resulting type after applying the + operator.

fn add( self, rhs: QuadExtField<CubicExtField<QuadExtField<Fp>>>, ) -> QuadExtField<CubicExtField<QuadExtField<Fp>>>

Performs the + operation.

impl<'a> Add<QuadExtField<CubicExtField<QuadExtField<Fq>>>> for &'a Fq12

type Output = QuadExtField<CubicExtField<QuadExtField<Fq>>>

The resulting type after applying the + operator.

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

Performs the + operation.

impl<'a> Add<QuadExtField<CubicExtField<QuadExtField<Fq>>>> for &'a Fq12

type Output = QuadExtField<CubicExtField<QuadExtField<Fq>>>

The resulting type after applying the + operator.

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

Performs the + operation.

impl<'a> Add<QuadExtField<Fp>> for &'a QuadExtField<Fp>

type Output = QuadExtField<Fp>

The resulting type after applying the + operator.

fn add(self, rhs: QuadExtField<Fp>) -> QuadExtField<Fp>

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<'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 QuadExtField<CubicExtField<QuadExtField<Fp>>>

type Output = QuadExtField<CubicExtField<QuadExtField<Fp>>>

The resulting type after applying the + operator.

fn add( self, rhs: QuadExtField<CubicExtField<QuadExtField<Fp>>>, ) -> QuadExtField<CubicExtField<QuadExtField<Fp>>>

Performs the + operation.

impl Add for QuadExtField<Fp>

type Output = QuadExtField<Fp>

The resulting type after applying the + operator.

fn add(self, rhs: QuadExtField<Fp>) -> QuadExtField<Fp>

Performs the + operation.

impl<'b> AddAssign<&'b QuadExtField<CubicExtField<QuadExtField<Fp>>>> for QuadExtField<CubicExtField<QuadExtField<Fp>>>

fn add_assign(&mut self, rhs: &'b QuadExtField<CubicExtField<QuadExtField<Fp>>>)

Performs the += operation.

impl<'b> AddAssign<&'b QuadExtField<CubicExtField<QuadExtField<Fq>>>> for Fq12

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

Performs the += operation.

impl<'b> AddAssign<&'b QuadExtField<CubicExtField<QuadExtField<Fq>>>> for Fq12

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

Performs the += operation.

impl<'b> AddAssign<&'b QuadExtField<Fp>> for QuadExtField<Fp>

fn add_assign(&mut self, rhs: &'b QuadExtField<Fp>)

Performs the += operation.

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

fn add_assign(&mut self, rhs: &'b 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 QuadExtField<CubicExtField<QuadExtField<Fp>>>

fn add_assign(&mut self, rhs: QuadExtField<CubicExtField<QuadExtField<Fp>>>)

Performs the += operation.

impl AddAssign for QuadExtField<Fp>

fn add_assign(&mut self, rhs: QuadExtField<Fp>)

Performs the += operation.

impl<F: Clone + Field> Clone for QuadExtField<F>

fn clone(&self) -> QuadExtField<F>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F: Field> ConditionallySelectable for QuadExtField<F>

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<F: Field> ConstantTimeEq for QuadExtField<F>

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

Determine if two items are equal.

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

Determine if two items are NOT equal.

impl<F: Debug + Field> Debug for QuadExtField<F>

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

Formats the value using the given formatter.

impl<F: Default + Field> Default for QuadExtField<F>

fn default() -> QuadExtField<F>

Returns the “default value” for a type.

impl<'de, F> Deserialize<'de> for QuadExtField<F>

where F: Deserialize<'de> + Field,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl EndianRepr for QuadExtField<Fp>

const ENDIAN: Endian = Fq::ENDIAN

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

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

impl ExtField for QuadExtField<CubicExtField<QuadExtField<Fp>>>

const NON_RESIDUE: Self = _

fn frobenius_map(&mut self, power: usize)

fn mul_by_nonresidue(&self) -> Self

impl ExtField for QuadExtField<Fp>

const NON_RESIDUE: Self = _

fn frobenius_map(&mut self, power: usize)

fn mul_by_nonresidue(&self) -> Self

impl<F: ExtField> Field for QuadExtField<F>

where QuadExtField<F>: QuadExtFieldArith<Base = F> + ExtField,

const ZERO: Self = _

The zero element of the field, the additive identity.

const ONE: Self = _

The one element of the field, the multiplicative identity.

fn random(rng: impl RngCore) -> Self

Returns an element chosen uniformly at random using a user-provided RNG.

fn is_zero(&self) -> Choice

Returns true iff this element is zero.

fn square(&self) -> Self

Squares this element.

fn double(&self) -> Self

Doubles this element.

fn sqrt(&self) -> CtOption<Self>

Returns the square root of the field element, if it is quadratic residue.

fn sqrt_ratio(_: &Self, _: &Self) -> (Choice, Self)

Computes:

fn invert(&self) -> CtOption<Self>

Computes the multiplicative inverse of this element, failing if the element is zero.

fn is_zero_vartime(&self) -> bool

Returns true iff this element is zero.

fn cube(&self) -> Self

Cubes this element.

fn sqrt_alt(&self) -> (Choice, Self)

Equivalent to Self::sqrt_ratio(self, one()).

fn pow<S>(&self, exp: S) -> Self

where S: AsRef<[u64]>,

Exponentiates self by exp, where exp is a little-endian order integer exponent.

fn pow_vartime<S>(&self, exp: S) -> Self

where S: AsRef<[u64]>,

Exponentiates self by exp, where exp is a little-endian order integer exponent.

impl From<u64> for QuadExtField<Fp>

fn from(val: u64) -> Self

Converts to this type from the input type.

impl Legendre for QuadExtField<Fp>

fn legendre(&self) -> i64

fn ct_quadratic_non_residue(&self) -> Choice

fn ct_quadratic_residue(&self) -> Choice

impl MillerLoopResult for QuadExtField<CubicExtField<QuadExtField<Fp>>>

type Gt = Gt

The extension field that hosts the target group of the pairing.

fn final_exponentiation(&self) -> Gt

This performs a “final exponentiation” routine to convert the result of a Miller loop into an element of MillerLoopResult::Gt, so that it can be compared with other elements of Gt.

impl<'a, 'b> Mul<&'b QuadExtField<CubicExtField<QuadExtField<Fp>>>> for &'a QuadExtField<CubicExtField<QuadExtField<Fp>>>

type Output = QuadExtField<CubicExtField<QuadExtField<Fp>>>

The resulting type after applying the * operator.

fn mul( self, rhs: &'b QuadExtField<CubicExtField<QuadExtField<Fp>>>, ) -> QuadExtField<CubicExtField<QuadExtField<Fp>>>

Performs the * operation.

impl<'b> Mul<&'b QuadExtField<CubicExtField<QuadExtField<Fp>>>> for QuadExtField<CubicExtField<QuadExtField<Fp>>>

type Output = QuadExtField<CubicExtField<QuadExtField<Fp>>>

The resulting type after applying the * operator.

fn mul( self, rhs: &'b QuadExtField<CubicExtField<QuadExtField<Fp>>>, ) -> QuadExtField<CubicExtField<QuadExtField<Fp>>>

Performs the * operation.

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

type Output = QuadExtField<CubicExtField<QuadExtField<Fq>>>

The resulting type after applying the * operator.

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

Performs the * operation.

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

type Output = QuadExtField<CubicExtField<QuadExtField<Fq>>>

The resulting type after applying the * operator.

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

Performs the * operation.

impl<'b> Mul<&'b QuadExtField<CubicExtField<QuadExtField<Fq>>>> for Fq12

type Output = QuadExtField<CubicExtField<QuadExtField<Fq>>>

The resulting type after applying the * operator.

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

Performs the * operation.

impl<'b> Mul<&'b QuadExtField<CubicExtField<QuadExtField<Fq>>>> for Fq12

type Output = QuadExtField<CubicExtField<QuadExtField<Fq>>>

The resulting type after applying the * operator.

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

Performs the * operation.

impl<'a, 'b> Mul<&'b QuadExtField<Fp>> for &'a QuadExtField<Fp>

type Output = QuadExtField<Fp>

The resulting type after applying the * operator.

fn mul(self, rhs: &'b QuadExtField<Fp>) -> QuadExtField<Fp>

Performs the * operation.

impl<'b> Mul<&'b QuadExtField<Fp>> for QuadExtField<Fp>

type Output = QuadExtField<Fp>

The resulting type after applying the * operator.

fn mul(self, rhs: &'b QuadExtField<Fp>) -> QuadExtField<Fp>

Performs the * operation.

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<'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<'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<CubicExtField<QuadExtField<Fp>>>> for &'a QuadExtField<CubicExtField<QuadExtField<Fp>>>

type Output = QuadExtField<CubicExtField<QuadExtField<Fp>>>

The resulting type after applying the * operator.

fn mul( self, rhs: QuadExtField<CubicExtField<QuadExtField<Fp>>>, ) -> QuadExtField<CubicExtField<QuadExtField<Fp>>>

Performs the * operation.

impl<'a> Mul<QuadExtField<CubicExtField<QuadExtField<Fq>>>> for &'a Fq12

type Output = QuadExtField<CubicExtField<QuadExtField<Fq>>>

The resulting type after applying the * operator.

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

Performs the * operation.

impl<'a> Mul<QuadExtField<CubicExtField<QuadExtField<Fq>>>> for &'a Fq12

type Output = QuadExtField<CubicExtField<QuadExtField<Fq>>>

The resulting type after applying the * operator.

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

Performs the * operation.

impl<'a> Mul<QuadExtField<Fp>> for &'a QuadExtField<Fp>

type Output = QuadExtField<Fp>

The resulting type after applying the * operator.

fn mul(self, rhs: QuadExtField<Fp>) -> QuadExtField<Fp>

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<'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 QuadExtField<CubicExtField<QuadExtField<Fp>>>

type Output = QuadExtField<CubicExtField<QuadExtField<Fp>>>

The resulting type after applying the * operator.

fn mul( self, rhs: QuadExtField<CubicExtField<QuadExtField<Fp>>>, ) -> QuadExtField<CubicExtField<QuadExtField<Fp>>>

Performs the * operation.

impl Mul for QuadExtField<Fp>

type Output = QuadExtField<Fp>

The resulting type after applying the * operator.

fn mul(self, rhs: QuadExtField<Fp>) -> QuadExtField<Fp>

Performs the * operation.

impl<'b> MulAssign<&'b QuadExtField<CubicExtField<QuadExtField<Fp>>>> for QuadExtField<CubicExtField<QuadExtField<Fp>>>

fn mul_assign(&mut self, rhs: &'b QuadExtField<CubicExtField<QuadExtField<Fp>>>)

Performs the *= operation.

impl<'b> MulAssign<&'b QuadExtField<CubicExtField<QuadExtField<Fq>>>> for Fq12

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

Performs the *= operation.

impl<'b> MulAssign<&'b QuadExtField<CubicExtField<QuadExtField<Fq>>>> for Fq12

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

Performs the *= operation.

impl<'b> MulAssign<&'b QuadExtField<Fp>> for QuadExtField<Fp>

fn mul_assign(&mut self, rhs: &'b QuadExtField<Fp>)

Performs the *= operation.

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

fn mul_assign(&mut self, rhs: &'b 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 QuadExtField<CubicExtField<QuadExtField<Fp>>>

fn mul_assign(&mut self, rhs: QuadExtField<CubicExtField<QuadExtField<Fp>>>)

Performs the *= operation.

impl MulAssign for QuadExtField<Fp>

fn mul_assign(&mut self, rhs: QuadExtField<Fp>)

Performs the *= operation.

impl<'a> Neg for &'a QuadExtField<CubicExtField<QuadExtField<Fp>>>

type Output = QuadExtField<CubicExtField<QuadExtField<Fp>>>

The resulting type after applying the - operator.

fn neg(self) -> QuadExtField<CubicExtField<QuadExtField<Fp>>>

Performs the unary - operation.

impl<'a> Neg for &'a QuadExtField<Fp>

type Output = QuadExtField<Fp>

The resulting type after applying the - operator.

fn neg(self) -> QuadExtField<Fp>

Performs the unary - operation.

impl Neg for QuadExtField<CubicExtField<QuadExtField<Fp>>>

type Output = QuadExtField<CubicExtField<QuadExtField<Fp>>>

The resulting type after applying the - operator.

fn neg(self) -> QuadExtField<CubicExtField<QuadExtField<Fp>>>

Performs the unary - operation.

impl Neg for QuadExtField<Fp>

type Output = QuadExtField<Fp>

The resulting type after applying the - operator.

fn neg(self) -> QuadExtField<Fp>

Performs the unary - operation.

impl Ord for QuadExtField<Fp>

fn cmp(&self, other: &QuadExtField<Fp>) -> 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<F: PartialEq + Field> PartialEq for QuadExtField<F>

fn eq(&self, other: &QuadExtField<F>) -> 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 PartialOrd for QuadExtField<Fp>

fn partial_cmp(&self, other: &QuadExtField<Fp>) -> 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 QuadExtField<Fp>

const MODULUS: &'static str = <Fp 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 = 446u32

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

const CAPACITY: u32 = 446u32

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

const S: u32 = 32u32

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

const ROOT_OF_UNITY: Self = Fp2::ZERO

The 2^s root of unity.

const ROOT_OF_UNITY_INV: Self = Fp2::ZERO

Inverse of Self::ROOT_OF_UNITY.

const DELTA: Self = Fp2::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<QuadExtField<CubicExtField<QuadExtField<Fp>>>>> Product<T> for QuadExtField<CubicExtField<QuadExtField<Fp>>>

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

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

impl<T: Borrow<QuadExtField<Fp>>> Product<T> for QuadExtField<Fp>

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 QuadExtField<CubicExtField<QuadExtField<Fp>>>

type Base = CubicExtField<QuadExtField<Fp>>

const SQRT: SQRT<Self::Base> = SQRT::Unimplemented

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

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

impl QuadExtFieldArith for QuadExtField<Fp>

const SQRT: SQRT<Fp> = _

type Base = Fp

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

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

impl QuadSparseMul for QuadExtField<CubicExtField<QuadExtField<Fp>>>

type Base = QuadExtField<Fp>

fn mul_by_014( lhs: &mut QuadExtField<CubicExtField<Self::Base>>, c0: &Self::Base, c1: &Self::Base, c4: &Self::Base, )

where CubicExtField<Self::Base>: CubicSparseMul<Base = Self::Base> + ExtField,

fn mul_by_034( lhs: &mut QuadExtField<CubicExtField<Self::Base>>, c0: &Self::Base, c3: &Self::Base, c4: &Self::Base, )

where CubicExtField<Self::Base>: CubicSparseMul<Base = Self::Base> + ExtField,

impl SerdeObject for QuadExtField<Fp>

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<F> Serialize for QuadExtField<F>

where F: Serialize + Field,

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<&'b QuadExtField<CubicExtField<QuadExtField<Fp>>>> for &'a QuadExtField<CubicExtField<QuadExtField<Fp>>>

type Output = QuadExtField<CubicExtField<QuadExtField<Fp>>>

The resulting type after applying the - operator.

fn sub( self, rhs: &'b QuadExtField<CubicExtField<QuadExtField<Fp>>>, ) -> QuadExtField<CubicExtField<QuadExtField<Fp>>>

Performs the - operation.

impl<'b> Sub<&'b QuadExtField<CubicExtField<QuadExtField<Fp>>>> for QuadExtField<CubicExtField<QuadExtField<Fp>>>

type Output = QuadExtField<CubicExtField<QuadExtField<Fp>>>

The resulting type after applying the - operator.

fn sub( self, rhs: &'b QuadExtField<CubicExtField<QuadExtField<Fp>>>, ) -> QuadExtField<CubicExtField<QuadExtField<Fp>>>

Performs the - operation.

impl<'a, 'b> Sub<&'b QuadExtField<CubicExtField<QuadExtField<Fq>>>> for &'a Fq12

type Output = QuadExtField<CubicExtField<QuadExtField<Fq>>>

The resulting type after applying the - operator.

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

Performs the - operation.

impl<'a, 'b> Sub<&'b QuadExtField<CubicExtField<QuadExtField<Fq>>>> for &'a Fq12

type Output = QuadExtField<CubicExtField<QuadExtField<Fq>>>

The resulting type after applying the - operator.

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

Performs the - operation.

impl<'b> Sub<&'b QuadExtField<CubicExtField<QuadExtField<Fq>>>> for Fq12

type Output = QuadExtField<CubicExtField<QuadExtField<Fq>>>

The resulting type after applying the - operator.

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

Performs the - operation.

impl<'b> Sub<&'b QuadExtField<CubicExtField<QuadExtField<Fq>>>> for Fq12

type Output = QuadExtField<CubicExtField<QuadExtField<Fq>>>

The resulting type after applying the - operator.

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

Performs the - operation.

impl<'a, 'b> Sub<&'b QuadExtField<Fp>> for &'a QuadExtField<Fp>

type Output = QuadExtField<Fp>

The resulting type after applying the - operator.

fn sub(self, rhs: &'b QuadExtField<Fp>) -> QuadExtField<Fp>

Performs the - operation.

impl<'b> Sub<&'b QuadExtField<Fp>> for QuadExtField<Fp>

type Output = QuadExtField<Fp>

The resulting type after applying the - operator.

fn sub(self, rhs: &'b QuadExtField<Fp>) -> QuadExtField<Fp>

Performs the - operation.

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<'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<'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<CubicExtField<QuadExtField<Fp>>>> for &'a QuadExtField<CubicExtField<QuadExtField<Fp>>>

type Output = QuadExtField<CubicExtField<QuadExtField<Fp>>>

The resulting type after applying the - operator.

fn sub( self, rhs: QuadExtField<CubicExtField<QuadExtField<Fp>>>, ) -> QuadExtField<CubicExtField<QuadExtField<Fp>>>

Performs the - operation.

impl<'a> Sub<QuadExtField<CubicExtField<QuadExtField<Fq>>>> for &'a Fq12

type Output = QuadExtField<CubicExtField<QuadExtField<Fq>>>

The resulting type after applying the - operator.

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

Performs the - operation.

impl<'a> Sub<QuadExtField<CubicExtField<QuadExtField<Fq>>>> for &'a Fq12

type Output = QuadExtField<CubicExtField<QuadExtField<Fq>>>

The resulting type after applying the - operator.

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

Performs the - operation.

impl<'a> Sub<QuadExtField<Fp>> for &'a QuadExtField<Fp>

type Output = QuadExtField<Fp>

The resulting type after applying the - operator.

fn sub(self, rhs: QuadExtField<Fp>) -> QuadExtField<Fp>

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<'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 QuadExtField<CubicExtField<QuadExtField<Fp>>>

type Output = QuadExtField<CubicExtField<QuadExtField<Fp>>>

The resulting type after applying the - operator.

fn sub( self, rhs: QuadExtField<CubicExtField<QuadExtField<Fp>>>, ) -> QuadExtField<CubicExtField<QuadExtField<Fp>>>

Performs the - operation.

impl Sub for QuadExtField<Fp>

type Output = QuadExtField<Fp>

The resulting type after applying the - operator.

fn sub(self, rhs: QuadExtField<Fp>) -> QuadExtField<Fp>

Performs the - operation.

impl<'b> SubAssign<&'b QuadExtField<CubicExtField<QuadExtField<Fp>>>> for QuadExtField<CubicExtField<QuadExtField<Fp>>>

fn sub_assign(&mut self, rhs: &'b QuadExtField<CubicExtField<QuadExtField<Fp>>>)

Performs the -= operation.

impl<'b> SubAssign<&'b QuadExtField<CubicExtField<QuadExtField<Fq>>>> for Fq12

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

Performs the -= operation.

impl<'b> SubAssign<&'b QuadExtField<CubicExtField<QuadExtField<Fq>>>> for Fq12

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

Performs the -= operation.

impl<'b> SubAssign<&'b QuadExtField<Fp>> for QuadExtField<Fp>

fn sub_assign(&mut self, rhs: &'b QuadExtField<Fp>)

Performs the -= operation.

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

fn sub_assign(&mut self, rhs: &'b 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 QuadExtField<CubicExtField<QuadExtField<Fp>>>

fn sub_assign(&mut self, rhs: QuadExtField<CubicExtField<QuadExtField<Fp>>>)

Performs the -= operation.

impl SubAssign for QuadExtField<Fp>

fn sub_assign(&mut self, rhs: QuadExtField<Fp>)

Performs the -= operation.

impl<T: Borrow<QuadExtField<CubicExtField<QuadExtField<Fp>>>>> Sum<T> for QuadExtField<CubicExtField<QuadExtField<Fp>>>

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

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

impl<T: Borrow<QuadExtField<Fp>>> Sum<T> for QuadExtField<Fp>

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 QuadExtField<Fp>

const ZETA: Self = _

A field element of small multiplicative order $N$.

impl<F: Copy + Field> Copy for QuadExtField<F>

impl<F: Eq + Field> Eq for QuadExtField<F>

impl<F: Field> StructuralPartialEq for QuadExtField<F>