Struct twenty_first::shared_math::x_field_element::XFieldElement

pub struct XFieldElement {
    pub coefficients: [BFieldElement; 3],
}

Fields

coefficients: [BFieldElement; 3]

Implementations

impl XFieldElement

pub fn shah_polynomial() -> Polynomial<BFieldElement>

pub fn new(coefficients: [BFieldElement; 3]) -> Self

pub fn new_u64(coeffs: [u64; 3]) -> Self

pub fn new_const(element: BFieldElement) -> Self

pub fn unlift(&self) -> Option<BFieldElement>

pub fn xgcd(
    x: Polynomial<BFieldElement>,
    y: Polynomial<BFieldElement>
) -> (Polynomial<BFieldElement>, Polynomial<BFieldElement>, Polynomial<BFieldElement>)

pub fn increment(&mut self, index: usize)

pub fn decrement(&mut self, index: usize)

Trait Implementations

impl Add<XFieldElement> for XFieldElement

type Output = XFieldElement

The resulting type after applying the + operator.

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

Performs the + operation.

impl AddAssign<XFieldElement> for XFieldElement

fn add_assign(&mut self, rhs: Self)

Performs the += operation.

impl Clone for XFieldElement

fn clone(&self) -> XFieldElement

Returns a copy of the value.

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

Performs copy-assignment from source.

impl CyclicGroupGenerator for XFieldElement

fn get_cyclic_group_elements(&self, max: Option<usize>) -> Vec<Self>

impl Debug for XFieldElement

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

Formats the value using the given formatter.

impl Default for XFieldElement

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for XFieldElement

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
    __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for XFieldElement

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

Formats the value using the given formatter.

impl Div<XFieldElement> for XFieldElement

type Output = XFieldElement

The resulting type after applying the / operator.

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

Performs the / operation.

impl FiniteField for XFieldElement

fn batch_inversion(input: Vec<Self>) -> Vec<Self>

Montgomery Batch Inversion

fn square(self) -> Self

impl From<Polynomial<BFieldElement>> for XFieldElement

fn from(poly: Polynomial<BFieldElement>) -> Self

Converts to this type from the input type.

impl From<XFieldElement> for Polynomial<BFieldElement>

fn from(item: XFieldElement) -> Self

Converts to this type from the input type.

impl From<u32> for XFieldElement

fn from(value: u32) -> Self

Converts to this type from the input type.

impl FromVecu8 for XFieldElement

fn from_vecu8(bytes: Vec<u8>) -> Self

impl GetRandomElements for XFieldElement

fn random_elements<R: Rng>(length: usize, rng: &mut R) -> Vec<Self>

impl Hash for XFieldElement

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)where
    H: Hasher,

Feeds a slice of this type into the given Hasher.

impl Hashable<BFieldElement> for XFieldElement

fn to_sequence(&self) -> Vec<BFieldElement>

impl Hashable<u8> for XFieldElement

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

impl Inverse for XFieldElement

fn inverse(&self) -> Self

impl ModPowU32 for XFieldElement

fn mod_pow_u32(&self, exp: u32) -> Self

impl ModPowU64 for XFieldElement

fn mod_pow_u64(&self, exponent: u64) -> Self

impl Mul<XFieldElement> for XFieldElement

type Output = XFieldElement

The resulting type after applying the * operator.

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

Performs the * operation.

impl MulAssign<XFieldElement> for XFieldElement

fn mul_assign(&mut self, rhs: Self)

Performs the *= operation.

impl Neg for XFieldElement

type Output = XFieldElement

The resulting type after applying the - operator.

fn neg(self) -> Self

Performs the unary - operation.

impl New for XFieldElement

fn new_from_usize(&self, value: usize) -> Self

impl One for XFieldElement

fn one() -> Self

Returns the multiplicative identity element of Self, 1.

fn is_one(&self) -> bool

Returns true if self is equal to the multiplicative identity.

fn set_one(&mut self)

Sets self to the multiplicative identity element of Self, 1.

impl PartialEq<XFieldElement> for XFieldElement

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

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

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PrimitiveRootOfUnity for XFieldElement

fn primitive_root_of_unity(n: u64) -> Option<XFieldElement>

impl SamplableFrom<[BFieldElement; 5]> for XFieldElement

fn sample(digest: &[BFieldElement; 5]) -> Self

impl SamplableFrom<Vec<BFieldElement, Global>> for XFieldElement

fn sample(digest: &Vec<BFieldElement>) -> Self

impl SamplableFrom<Vec<u8, Global>> for XFieldElement

Sample pseudo-uniform XFieldElement from vector of uniform bytes. Statistical distance from uniform: ~2^{-192}.

fn sample(digest: &Vec<u8>) -> Self

impl Serialize for XFieldElement

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where
    __S: Serializer,

Serialize this value into the given Serde serializer.

impl Sub<XFieldElement> for XFieldElement

type Output = XFieldElement

The resulting type after applying the - operator.

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

Performs the - operation.

impl SubAssign<XFieldElement> for XFieldElement

fn sub_assign(&mut self, rhs: Self)

Performs the -= operation.

impl Sum<XFieldElement> for XFieldElement

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

Method which takes an iterator and generates Self from the elements by “summing up” the items.

impl Zero for XFieldElement

fn zero() -> Self

Returns the additive identity element of Self, 0.

fn is_zero(&self) -> bool

Returns true if self is equal to the additive identity.

fn set_zero(&mut self)

Sets self to the additive identity element of Self, 0.

impl Copy for XFieldElement

impl Eq for XFieldElement

impl StructuralEq for XFieldElement

impl StructuralPartialEq for XFieldElement