Struct zkp_primefield::FieldElement

pub struct FieldElement(_);

Methods

impl FieldElement

pub const GENERATOR: Self

pub const MODULUS: U256

Prime modulus of the field.

Equal to (1 << 59) | (1 << 4) | 1.

pub const NEGATIVE_ONE: Self

pub const ONE: Self

pub const ZERO: Self

pub const fn from_u256_const(n: &U256) -> Self

pub const fn from_montgomery(n: U256) -> Self

pub fn from_hex_str(s: &str) -> Self

pub fn as_montgomery(&self) -> &U256

pub fn is_zero(&self) -> bool

pub fn is_one(&self) -> bool

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

pub fn double(&self) -> Self

pub fn triple(&self) -> Self

pub fn square(&self) -> Self

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

pub fn neg_assign(&mut self)

pub fn pow<T: Into<U256>>(&self, exponent: T) -> Self

pub fn root<T: Into<U256>>(n: T) -> Option<Self>

impl FieldElement

pub fn to_u8(&self) -> u8

pub fn to_u16(&self) -> u16

pub fn to_u32(&self) -> u32

pub fn to_u64(&self) -> u64

pub fn to_u128(&self) -> u128

pub fn to_usize(&self) -> usize

pub fn to_i8(&self) -> i8

pub fn to_i16(&self) -> i16

pub fn to_i32(&self) -> i32

pub fn to_i64(&self) -> i64

pub fn to_i128(&self) -> i128

pub fn to_isize(&self) -> isize

Trait Implementations

impl Eq for FieldElement

impl Clone for FieldElement

fn clone(&self) -> FieldElement

Returns a copy of the value.

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

Performs copy-assignment from source.

impl PartialEq<FieldElement> for FieldElement

fn eq(&self, other: &FieldElement) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &FieldElement) -> bool

This method tests for !=.

impl From<u8> for FieldElement

fn from(n: u8) -> Self

Performs the conversion.

impl From<u16> for FieldElement

fn from(n: u16) -> Self

Performs the conversion.

impl From<u32> for FieldElement

fn from(n: u32) -> Self

Performs the conversion.

impl From<u64> for FieldElement

fn from(n: u64) -> Self

Performs the conversion.

impl From<u128> for FieldElement

fn from(n: u128) -> Self

Performs the conversion.

impl From<usize> for FieldElement

fn from(n: usize) -> Self

Performs the conversion.

impl From<i8> for FieldElement

fn from(n: i8) -> Self

Performs the conversion.

impl From<i16> for FieldElement

fn from(n: i16) -> Self

Performs the conversion.

impl From<i32> for FieldElement

fn from(n: i32) -> Self

Performs the conversion.

impl From<i64> for FieldElement

fn from(n: i64) -> Self

Performs the conversion.

impl From<i128> for FieldElement

fn from(n: i128) -> Self

Performs the conversion.

impl From<isize> for FieldElement

fn from(n: isize) -> Self

Performs the conversion.

impl From<U256> for FieldElement

fn from(n: U256) -> Self

Performs the conversion.

impl<'_> From<&'_ U256> for FieldElement

fn from(n: &U256) -> Self

Performs the conversion.

impl From<FieldElement> for U256

fn from(n: FieldElement) -> Self

Performs the conversion.

impl<'_> From<&'_ FieldElement> for U256

fn from(n: &FieldElement) -> Self

Performs the conversion.

impl Add<FieldElement> for FieldElement

type Output = Self

The resulting type after applying the + operator.

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

Performs the + operation.

impl<'_> Add<&'_ FieldElement> for FieldElement

type Output = Self

The resulting type after applying the + operator.

fn add(self, rhs: &Self) -> Self

Performs the + operation.

impl<'_> Add<FieldElement> for &'_ FieldElement

type Output = FieldElement

The resulting type after applying the + operator.

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

Performs the + operation.

impl<'_, '_> Add<&'_ FieldElement> for &'_ FieldElement

type Output = FieldElement

The resulting type after applying the + operator.

fn add(self, rhs: &FieldElement) -> FieldElement

Performs the + operation.

impl Sub<FieldElement> for FieldElement

type Output = Self

The resulting type after applying the - operator.

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

Performs the - operation.

impl<'_> Sub<&'_ FieldElement> for FieldElement

type Output = Self

The resulting type after applying the - operator.

fn sub(self, rhs: &Self) -> Self

Performs the - operation.

impl<'_> Sub<FieldElement> for &'_ FieldElement

type Output = FieldElement

The resulting type after applying the - operator.

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

Performs the - operation.

impl<'_, '_> Sub<&'_ FieldElement> for &'_ FieldElement

type Output = FieldElement

The resulting type after applying the - operator.

fn sub(self, rhs: &FieldElement) -> FieldElement

Performs the - operation.

impl Mul<FieldElement> for FieldElement

type Output = Self

The resulting type after applying the * operator.

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

Performs the * operation.

impl<'_> Mul<&'_ FieldElement> for FieldElement

type Output = Self

The resulting type after applying the * operator.

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

Performs the * operation.

impl<'_> Mul<FieldElement> for &'_ FieldElement

type Output = FieldElement

The resulting type after applying the * operator.

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

Performs the * operation.

impl<'_, '_> Mul<&'_ FieldElement> for &'_ FieldElement

type Output = FieldElement

The resulting type after applying the * operator.

fn mul(self, rhs: &FieldElement) -> FieldElement

Performs the * operation.

impl Div<FieldElement> for FieldElement

type Output = Self

The resulting type after applying the / operator.

fn div(self, rhs: Self) -> Self

Performs the / operation.

impl<'_> Div<&'_ FieldElement> for FieldElement

type Output = Self

The resulting type after applying the / operator.

fn div(self, rhs: &Self) -> Self

Performs the / operation.

impl<'_> Div<FieldElement> for &'_ FieldElement

type Output = FieldElement

The resulting type after applying the / operator.

fn div(self, rhs: FieldElement) -> FieldElement

Performs the / operation.

impl<'_, '_> Div<&'_ FieldElement> for &'_ FieldElement

type Output = FieldElement

The resulting type after applying the / operator.

fn div(self, rhs: &FieldElement) -> FieldElement

Performs the / operation.

impl<'_> Neg for &'_ FieldElement

type Output = FieldElement

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl<'_> AddAssign<&'_ FieldElement> for FieldElement

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

Performs the += operation.

impl AddAssign<FieldElement> for FieldElement

fn add_assign(&mut self, rhs: Self)

Performs the += operation.

impl<'_> SubAssign<&'_ FieldElement> for FieldElement

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

Performs the -= operation.

impl SubAssign<FieldElement> for FieldElement

fn sub_assign(&mut self, rhs: Self)

Performs the -= operation.

impl<'_> MulAssign<&'_ FieldElement> for FieldElement

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

Performs the *= operation.

impl MulAssign<FieldElement> for FieldElement

fn mul_assign(&mut self, rhs: Self)

Performs the *= operation.

impl<'_> DivAssign<&'_ FieldElement> for FieldElement

fn div_assign(&mut self, rhs: &Self)

Performs the /= operation.

impl DivAssign<FieldElement> for FieldElement

fn div_assign(&mut self, rhs: Self)

Performs the /= operation.

impl Debug for FieldElement

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

Formats the value using the given formatter.

impl Product<FieldElement> for FieldElement

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

Method which takes an iterator and generates Self from the elements by multiplying the items.