pub trait _: Sized {
    // Required methods
    fn zero() -> Self;
    fn is_zero(&self) -> bool;
}

Required Methods§

fn zero() -> Self

fn is_zero(&self) -> bool

Implementations on Foreign Types§

§

impl<P> Zero for Projective<P>where P: TwistedEdwardsParameters,

§

fn zero() -> Projective<P>

§

fn is_zero(&self) -> bool

§

impl<P> Zero for Affine<P>where P: TwistedEdwardsParameters,

§

fn zero() -> Affine<P>

§

fn is_zero(&self) -> bool

§

impl<P> Zero for Projective<P>where P: ShortWeierstrassParameters,

§

fn zero() -> Projective<P>

§

fn is_zero(&self) -> bool

§

impl<P> Zero for Affine<P>where P: ShortWeierstrassParameters,

§

fn zero() -> Affine<P>

§

fn is_zero(&self) -> bool

Implementors§

§

impl<P> Zero for Fp2<P>where P: Fp2Parameters,

§

impl<P> Zero for Fp6<P>where P: Fp6Parameters,

§

impl<P> Zero for Fp12<P>where P: Fp12Parameters,

§

impl<P> Zero for Fp256<P>where P: Fp256Parameters,

§

impl<P> Zero for Fp384<P>where P: Fp384Parameters,

usize.html">usize = <Self::Parameters>::MODULUS_BITS as usize

Returns the field size in bits.

const SIZE_IN_DATA_BITS: usize = <Self::Parameters>::CAPACITY as usize

Returns the field capacity for data bits.

Required Methods§

fn from_bigint(repr: Self::BigInteger) -> Option<Self>

Constructs a PrimeField element given a human-readable Self::BigInteger.

fn to_bigint(&self) -> Self::BigInteger

Returns a human-readable Self::BigInteger in the range 0..(Self::MODULUS - 1).

fn decompose( &self, q1: &[u64; 4], q2: &[u64; 4], b1: Self, b2: Self, r128: Self, half_r: &[u64; 8] ) -> (Self, Self, bool, bool)

Returns the decomposition of the scalar.

Provided Methods§

fn size_in_bits() -> usize

Returns the field size in bits.

fn size_in_data_bits() -> usize

Returns the capacity size for data bits.

fn modulus() -> Self::BigInteger

Returns the modulus.

fn modulus_minus_one_div_two() -> Self::BigInteger

Returns the modulus minus one divided by two.

fn trace() -> Self::BigInteger

Returns the trace.

fn trace_minus_one_div_two() -> Self::BigInteger

Returns the trace minus one divided by two.

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

Reads bytes in big-endian, and converts them to a field element. If the bytes are larger than the modulus, it will reduce them.

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

Reads bytes in little-endian, and converts them to a field element. If the bytes are larger than the modulus, it will reduce them.

Implementors§

§

impl<P> PrimeField for Fp256<P>where P: Fp256Parameters,

§

impl<P> PrimeField for Fp384<P>where P: Fp384Parameters,