Trait sp1_core::air::MultiTableAirBuilder

pub trait MultiTableAirBuilder: PermutationAirBuilder {
    type Sum: Into<Self::ExprEF>;

    // Required method
    fn cumulative_sum(&self) -> Self::Sum;
}

Required Associated Types

type Sum: Into<Self::ExprEF>

Required Methods

fn cumulative_sum(&self) -> Self::Sum

Object Safety

This trait is not object safe.

Implementors

impl<'a, F, EF> MultiTableAirBuilder for DebugConstraintBuilder<'a, F, EF>

where F: Field, EF: ExtensionField<F>,

type Sum = EF

impl<'a, F, EF, PubVar, Var, Expr> MultiTableAirBuilder for GenericVerifierConstraintFolder<'a, F, EF, PubVar, Var, Expr>

where F: Field, EF: ExtensionField<F>, Expr: AbstractField<F = EF> + From<F> + Add<Var, Output = Expr> + Add<F, Output = Expr> + Sub<Var, Output = Expr> + Sub<F, Output = Expr> + Mul<Var, Output = Expr> + Mul<F, Output = Expr> + MulAssign<EF>, Var: Into<Expr> + Copy + Add<F, Output = Expr> + Add<Var, Output = Expr> + Add<Expr, Output = Expr> + Sub<F, Output = Expr> + Sub<Var, Output = Expr> + Sub<Expr, Output = Expr> + Mul<F, Output = Expr> + Mul<Var, Output = Expr> + Mul<Expr, Output = Expr> + Send + Sync, PubVar: Into<Expr> + Copy,

type Sum = Var

impl<'a, SC: StarkGenericConfig> MultiTableAirBuilder for ProverConstraintFolder<'a, SC>

type Sum = <<SC as StarkGenericConfig>::Challenge as ExtensionField<<<<SC as StarkGenericConfig>::Pcs as Pcs<<SC as StarkGenericConfig>::Challenge, <SC as StarkGenericConfig>::Challenger>>::Domain as PolynomialSpace>::Val>>::ExtensionPacking