Struct DebugConstraintBuilder

pub struct DebugConstraintBuilder<'a, F: Field, EF: ExtensionField<F>> { /* private fields */ }

A builder for debugging constraints.

Trait Implementations

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

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

fn assert_bool<I: Into<Self::Expr>>(&mut self, x: I)

Assert that x is a boolean, i.e. either 0 or 1.

type F = F

type Expr = F

type Var = F

type M = VerticalPair<DenseMatrix<F, &'a [F]>, DenseMatrix<F, &'a [F]>>

fn is_first_row(&self) -> Self::Expr

fn is_last_row(&self) -> Self::Expr

fn is_transition_window(&self, size: usize) -> Self::Expr

fn main(&self) -> Self::M

fn assert_zero<I: Into<Self::Expr>>(&mut self, x: I)

fn assert_one<I: Into<Self::Expr>>(&mut self, x: I)

fn assert_eq<I1: Into<Self::Expr>, I2: Into<Self::Expr>>( &mut self, x: I1, y: I2, )

fn is_transition(&self) -> Self::Expr

fn when<I>(&mut self, condition: I) -> FilteredAirBuilder<'_, Self>

where I: Into<Self::Expr>,

Returns a sub-builder whose constraints are enforced only when condition is nonzero.

fn when_ne<I1, I2>(&mut self, x: I1, y: I2) -> FilteredAirBuilder<'_, Self>

where I1: Into<Self::Expr>, I2: Into<Self::Expr>,

Returns a sub-builder whose constraints are enforced only when x != y.

fn when_first_row(&mut self) -> FilteredAirBuilder<'_, Self>

Returns a sub-builder whose constraints are enforced only on the first row.

fn when_last_row(&mut self) -> FilteredAirBuilder<'_, Self>

Returns a sub-builder whose constraints are enforced only on the last row.

fn when_transition(&mut self) -> FilteredAirBuilder<'_, Self>

Returns a sub-builder whose constraints are enforced on all rows except the last.

fn when_transition_window( &mut self, size: usize, ) -> FilteredAirBuilder<'_, Self>

Returns a sub-builder whose constraints are enforced on all rows except the last size - 1.

impl<F: Field, EF: ExtensionField<F>> AirBuilderWithPublicValues for DebugConstraintBuilder<'_, F, EF>

type PublicVar = F

fn public_values(&self) -> &[Self::PublicVar]

impl<F, EF> ExtensionBuilder for DebugConstraintBuilder<'_, F, EF>

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

type EF = EF

type VarEF = EF

type ExprEF = EF

fn assert_zero_ext<I>(&mut self, x: I)

where I: Into<Self::ExprEF>,

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>,

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

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

type LocalSum = EF

The type of the local cumulative sum.

type GlobalSum = F

The type of the global cumulative sum;

fn local_cumulative_sum(&self) -> &'a Self::LocalSum

Returns the local cumulative sum of the permutation.

fn global_cumulative_sum(&self) -> &'a SepticDigest<Self::GlobalSum>

Returns the global cumulative sum of the permutation.

impl<F, EF> PairBuilder for DebugConstraintBuilder<'_, F, EF>

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

fn preprocessed(&self) -> Self::M

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

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

type MP = VerticalPair<DenseMatrix<EF, &'a [EF]>, DenseMatrix<EF, &'a [EF]>>

type RandomVar = EF

fn permutation(&self) -> Self::MP

fn permutation_randomness(&self) -> &[Self::EF]

impl<F: Field, EF: ExtensionField<F>> EmptyMessageBuilder for DebugConstraintBuilder<'_, F, EF>