Trait pairing_ce::Field

pub trait Field: 'static + Eq + Copy + Clone + Send + Sync + Debug + Display + Rand + Hash {
    pub fn zero() -> Self;
    pub fn one() -> Self;
    pub fn is_zero(&self) -> bool;
    pub fn square(&mut self);
    pub fn double(&mut self);
    pub fn negate(&mut self);
    pub fn add_assign(&mut self, other: &Self);
    pub fn sub_assign(&mut self, other: &Self);
    pub fn mul_assign(&mut self, other: &Self);
    pub fn inverse(&self) -> Option<Self>;
    pub fn frobenius_map(&mut self, power: usize);

    pub fn pow<S>(&self, exp: S) -> Self
    where
        S: AsRef<[u64]>,
    { ... }
}

This trait represents an element of a field.

Required methods

pub fn zero() -> Self

Returns the zero element of the field, the additive identity.

pub fn one() -> Self

Returns the one element of the field, the multiplicative identity.

pub fn is_zero(&self) -> bool

Returns true iff this element is zero.

pub fn square(&mut self)

Squares this element.

pub fn double(&mut self)

Doubles this element.

pub fn negate(&mut self)

Negates this element.

pub fn add_assign(&mut self, other: &Self)

Adds another element to this element.

pub fn sub_assign(&mut self, other: &Self)

Subtracts another element from this element.

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

Multiplies another element by this element.

pub fn inverse(&self) -> Option<Self>

Computes the multiplicative inverse of this element, if nonzero.

pub fn frobenius_map(&mut self, power: usize)

Exponentiates this element by a power of the base prime modulus via the Frobenius automorphism.

Loading content...

Provided methods

pub fn pow<S>(&self, exp: S) -> Self where
    S: AsRef<[u64]>, 

Exponentiates this element by a number represented with u64 limbs, least significant digit first.

Loading content...

Implementors

impl Field for pairing_ce::bls12_381::Fq2

fn zero() -> Self

fn one() -> Self

fn is_zero(&self) -> bool

fn square(&mut self)

fn double(&mut self)

fn negate(&mut self)

fn add_assign(&mut self, other: &Self)

fn sub_assign(&mut self, other: &Self)

fn mul_assign(&mut self, other: &Self)

fn inverse(&self) -> Option<Self>

fn frobenius_map(&mut self, power: usize)

impl Field for pairing_ce::bls12_381::Fq6

fn zero() -> Self

fn one() -> Self

fn is_zero(&self) -> bool

fn double(&mut self)

fn negate(&mut self)

fn add_assign(&mut self, other: &Self)

fn sub_assign(&mut self, other: &Self)

fn frobenius_map(&mut self, power: usize)

fn square(&mut self)

fn mul_assign(&mut self, other: &Self)

fn inverse(&self) -> Option<Self>

impl Field for pairing_ce::bls12_381::Fq12

fn zero() -> Self

fn one() -> Self

fn is_zero(&self) -> bool

fn double(&mut self)

fn negate(&mut self)

fn add_assign(&mut self, other: &Self)

fn sub_assign(&mut self, other: &Self)

fn frobenius_map(&mut self, power: usize)

fn square(&mut self)

fn mul_assign(&mut self, other: &Self)

fn inverse(&self) -> Option<Self>

impl Field for pairing_ce::bls12_381::Fq

fn zero() -> Self

fn one() -> Self

fn is_zero(&self) -> bool

fn add_assign(&mut self, other: &Fq)

fn double(&mut self)

fn sub_assign(&mut self, other: &Fq)

fn negate(&mut self)

fn inverse(&self) -> Option<Self>

fn frobenius_map(&mut self, _: usize)

fn mul_assign(&mut self, other: &Fq)

fn square(&mut self)

impl Field for pairing_ce::bls12_381::Fr

fn zero() -> Self

fn one() -> Self

fn is_zero(&self) -> bool

fn add_assign(&mut self, other: &Fr)

fn double(&mut self)

fn sub_assign(&mut self, other: &Fr)

fn negate(&mut self)

fn inverse(&self) -> Option<Self>

fn frobenius_map(&mut self, _: usize)

fn mul_assign(&mut self, other: &Fr)

fn square(&mut self)

impl Field for pairing_ce::bn256::Fq2

fn zero() -> Self

fn one() -> Self

fn is_zero(&self) -> bool

fn square(&mut self)

fn double(&mut self)

fn negate(&mut self)

fn add_assign(&mut self, other: &Self)

fn sub_assign(&mut self, other: &Self)

fn mul_assign(&mut self, other: &Self)

fn inverse(&self) -> Option<Self>

fn frobenius_map(&mut self, power: usize)

impl Field for pairing_ce::bn256::Fq6

fn zero() -> Self

fn one() -> Self

fn is_zero(&self) -> bool

fn double(&mut self)

fn negate(&mut self)

fn add_assign(&mut self, other: &Self)

fn sub_assign(&mut self, other: &Self)

fn frobenius_map(&mut self, power: usize)

fn square(&mut self)

fn mul_assign(&mut self, other: &Self)

fn inverse(&self) -> Option<Self>

impl Field for pairing_ce::bn256::Fq12

fn zero() -> Self

fn one() -> Self

fn is_zero(&self) -> bool

fn double(&mut self)

fn negate(&mut self)

fn add_assign(&mut self, other: &Self)

fn sub_assign(&mut self, other: &Self)

fn frobenius_map(&mut self, power: usize)

fn square(&mut self)

fn mul_assign(&mut self, other: &Self)

fn inverse(&self) -> Option<Self>

impl Field for pairing_ce::bn256::Fq

fn zero() -> Self

fn one() -> Self

fn is_zero(&self) -> bool

fn add_assign(&mut self, other: &Fq)

fn double(&mut self)

fn sub_assign(&mut self, other: &Fq)

fn negate(&mut self)

fn inverse(&self) -> Option<Self>

fn frobenius_map(&mut self, _: usize)

fn mul_assign(&mut self, other: &Fq)

fn square(&mut self)

impl Field for pairing_ce::bn256::Fr

fn zero() -> Self

fn one() -> Self

fn is_zero(&self) -> bool

fn add_assign(&mut self, other: &Fr)

fn double(&mut self)

fn sub_assign(&mut self, other: &Fr)

fn negate(&mut self)

fn inverse(&self) -> Option<Self>

fn frobenius_map(&mut self, _: usize)

fn mul_assign(&mut self, other: &Fr)

fn square(&mut self)

impl Field for pairing_ce::compact_bn256::Fq2

fn zero() -> Self

fn one() -> Self

fn is_zero(&self) -> bool

fn square(&mut self)

fn double(&mut self)

fn negate(&mut self)

fn add_assign(&mut self, other: &Self)

fn sub_assign(&mut self, other: &Self)

fn mul_assign(&mut self, other: &Self)

fn inverse(&self) -> Option<Self>

fn frobenius_map(&mut self, power: usize)

impl Field for pairing_ce::compact_bn256::Fq6

fn zero() -> Self

fn one() -> Self

fn is_zero(&self) -> bool

fn double(&mut self)

fn negate(&mut self)

fn add_assign(&mut self, other: &Self)

fn sub_assign(&mut self, other: &Self)

fn frobenius_map(&mut self, power: usize)

fn square(&mut self)

fn mul_assign(&mut self, other: &Self)

fn inverse(&self) -> Option<Self>

impl Field for pairing_ce::compact_bn256::Fq12

fn zero() -> Self

fn one() -> Self

fn is_zero(&self) -> bool

fn double(&mut self)

fn negate(&mut self)

fn add_assign(&mut self, other: &Self)

fn sub_assign(&mut self, other: &Self)

fn frobenius_map(&mut self, power: usize)

fn square(&mut self)

fn mul_assign(&mut self, other: &Self)

fn inverse(&self) -> Option<Self>

impl Field for pairing_ce::compact_bn256::Fq

fn zero() -> Self

fn one() -> Self

fn is_zero(&self) -> bool

fn add_assign(&mut self, other: &Fq)

fn double(&mut self)

fn sub_assign(&mut self, other: &Fq)

fn negate(&mut self)

fn inverse(&self) -> Option<Self>

fn frobenius_map(&mut self, _: usize)

fn mul_assign(&mut self, other: &Fq)

fn square(&mut self)

impl Field for pairing_ce::compact_bn256::Fr

fn zero() -> Self

fn one() -> Self

fn is_zero(&self) -> bool

fn add_assign(&mut self, other: &Fr)

fn double(&mut self)

fn sub_assign(&mut self, other: &Fr)

fn negate(&mut self)

fn inverse(&self) -> Option<Self>

fn frobenius_map(&mut self, _: usize)

fn mul_assign(&mut self, other: &Fr)

fn square(&mut self)

Loading content...