INNER CODE UNIT · Rust

QuadraticBase

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

  QuadraticBase = 101 * 101,
  /// The size of the quadratic extension field over the [`PlutoPrime::Scalar`] field.
  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>>

View source record →