Struct PolyElement 

pub struct PolyElement {
    coeffs: [u32; 17],
    curve: Curve,
}

A field element in redundant polynomial form.

Each coefficient c[i] holds up to COEFF_BITS bits. The integer value is sum(c[i] * 2^(i * WORD_BITS)) for i in 0..NUM_COEFFS.

Fields

coeffs: [u32; 17]

curve: Curve

Implementations

impl PolyElement

pub fn from_coeffs(coeffs: [u32; 17], curve: Curve) -> Result<Self, Error>

Constructs a polynomial element from an array of coefficients.

Each coefficient must fit in COEFF_BITS bits.

Errors

Returns Error::OutOfRange if any coefficient exceeds the bit width.

pub fn from_field(fe: FieldElement) -> Self

Converts a FieldElement into polynomial form.

Extracts WORD_BITS-wide chunks from the integer representation.

pub fn to_field(self) -> Result<FieldElement, Error>

Converts back to a FieldElement.

Performs carry propagation and modular reduction.

Errors

Returns Error::OutOfRange if the polynomial’s value exceeds the modulus.

pub fn coeffs(&self) -> &[u32; 17]

Returns the coefficient array.

pub fn curve(&self) -> Curve

Returns the curve.

pub fn add_no_reduce(self, rhs: Self) -> Self

Coefficient-wise addition without carry propagation.

This is the hardware-friendly operation: coefficients may temporarily exceed WORD_BITS, using the redundant bit.

pub fn zero(curve: Curve) -> Self

Zero polynomial.

Trait Implementations

impl Clone for PolyElement

fn clone(&self) -> PolyElement

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PolyElement

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

Formats the value using the given formatter.

impl Hash for PolyElement

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, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for PolyElement

fn eq(&self, other: &PolyElement) -> 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 Copy for PolyElement

impl Eq for PolyElement

impl StructuralPartialEq for PolyElement