p3_air

Trait ExtensionBuilder

Source 
pub trait ExtensionBuilder: AirBuilder {
    type EF: ExtensionField<Self::F>;
    type ExprEF: AbstractExtensionField<Self::Expr, F = Self::EF>;
    type VarEF: Into<Self::ExprEF> + Copy + Send + Sync;

    // Required method
    fn assert_zero_ext<I>(&mut self, x: I)
       where I: Into<Self::ExprEF>;

    // Provided methods
    fn assert_eq_ext<I1, I2>(&mut self, x: I1, y: I2)
       where I1: Into<Self::ExprEF>,
             I2: Into<Self::ExprEF> { ... }
    fn assert_one_ext<I>(&mut self, x: I)
       where I: Into<Self::ExprEF> { ... }
}

Required Associated Types§

Source

type EF: ExtensionField<Self::F>

Source

type ExprEF: AbstractExtensionField<Self::Expr, F = Self::EF>

Source

type VarEF: Into<Self::ExprEF> + Copy + Send + Sync

Required Methods§

Source

fn assert_zero_ext<I>(&mut self, x: I)
where I: Into<Self::ExprEF>,

Provided Methods§

Source

fn assert_eq_ext<I1, I2>(&mut self, x: I1, y: I2)
where I1: Into<Self::ExprEF>, I2: Into<Self::ExprEF>,

Source

fn assert_one_ext<I>(&mut self, x: I)
where I: Into<Self::ExprEF>,

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§