INNER CODE UNIT · Rust

QuadraticScalar

pluto/ronkathon · src/algebra/field/extension/mod.rs:38

  QuadraticScalar = 17 * 17,
}

/// A field extension is a field that contains the original field and additional elements that are
/// not in the original field. The extension field is constructed by adjoining the roots of a
/// polynomial to the original field.
#[const_trait]
pub trait ExtensionField<const N: usize, const P: usize>:
  Field
  + From<PrimeField<P>>
  + Add<PrimeField<P>, Output = Self>
  + AddAssign<PrimeField<P>>
  + Sub<PrimeField<P>, Output = Self>
  + SubAssign<PrimeField<P>>
  + Mul<PrimeField<P>, Output = Self>
  + MulAssign<PrimeField<P>>
where [PrimeField<P>; N + 1]: {
  /// The coefficients of the irreducible polynomial used to reduce field polynomials to the

View source record →