Trait sp1_core::air::ExtensionAirBuilder

pub trait ExtensionAirBuilder: BaseAirBuilder {
    // Provided methods
    fn assert_ext_eq<I: Into<Self::Expr>>(
        &mut self,
        left: BinomialExtension<I>,
        right: BinomialExtension<I>,
    ) { ... }
    fn assert_is_base_element<I: Into<Self::Expr> + Clone>(
        &mut self,
        element: BinomialExtension<I>,
    ) { ... }
    fn if_else_ext(
        &mut self,
        condition: impl Into<Self::Expr> + Clone,
        a: BinomialExtension<impl Into<Self::Expr> + Clone>,
        b: BinomialExtension<impl Into<Self::Expr> + Clone>,
    ) -> BinomialExtension<Self::Expr> { ... }
}

Provided Methods

fn assert_ext_eq<I: Into<Self::Expr>>( &mut self, left: BinomialExtension<I>, right: BinomialExtension<I>, )

Asserts that the two field extensions are equal.

fn assert_is_base_element<I: Into<Self::Expr> + Clone>( &mut self, element: BinomialExtension<I>, )

Checks if an extension element is a base element.

fn if_else_ext( &mut self, condition: impl Into<Self::Expr> + Clone, a: BinomialExtension<impl Into<Self::Expr> + Clone>, b: BinomialExtension<impl Into<Self::Expr> + Clone>, ) -> BinomialExtension<Self::Expr>

Performs an if else on extension elements.

Object Safety

This trait is not object safe.

Implementors

impl<AB: BaseAirBuilder> ExtensionAirBuilder for AB