Struct DebugConstraintBuilderWithLookups 

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

A builder that runs constraint assertions during testing.

Used in conjunction with [check_constraints] to simulate an execution trace and verify that the AIR logic enforces all constraints.

Trait Implementations

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

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

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

Panics

This function panics if size is not 2.

type F = F

Underlying field type.

type Expr = F

Serves as the output type for an AIR constraint evaluation.

type Var = F

The type of the variable appearing in the trace matrix.

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

Matrix type holding variables.

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

Return the matrix representing the main (primary) trace registers.

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

Expression evaluating to 1 on the first row, 0 elsewhere.

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

Expression evaluating to 1 on the last row, 0 elsewhere.

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

Assert that the given element is zero.

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

Assert that the given elements are equal.

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

Expression evaluating to 1 on all transition rows (not last row), 0 on last row.

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.

fn assert_zeros<const N: usize, I>(&mut self, array: [I; N])

where I: Into<Self::Expr>,

Assert that every element of a given array is 0.

fn assert_bools<const N: usize, I>(&mut self, array: [I; N])

where I: Into<Self::Expr>,

Assert that a given array consists of only boolean values.

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

where I: Into<Self::Expr>,

Assert that x element is equal to 1.

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

where I: Into<Self::Expr>,

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

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

type PublicVar = <DebugConstraintBuilderWithLookups<'_, F, EF> as AirBuilder>::F

Type representing a public variable.

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

Return the list of public variables.

impl<'a, F: Debug + Field, EF: Debug + ExtensionField<F>> Debug for DebugConstraintBuilderWithLookups<'a, F, EF>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'a, F: Field, EF: ExtensionField<F>> ExtensionBuilder for DebugConstraintBuilderWithLookups<'a, F, EF>

type EF = EF

Extension field type.

type ExprEF = EF

Expression type over extension field elements.

type VarEF = EF

Variable type over extension field elements.

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

where I: Into<Self::ExprEF>,

Assert that an extension field expression is zero.

fn assert_eq_ext<I1, I2>(&mut self, x: I1, y: I2)

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

Assert that two extension field expressions are equal.

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

where I: Into<Self::ExprEF>,

Assert that an extension field expression is equal to one.

impl<'a, F: Field, EF: ExtensionField<F>> PairBuilder for DebugConstraintBuilderWithLookups<'a, F, EF>

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

Return a matrix of preprocessed registers.

impl<'a, F: Field, EF: ExtensionField<F>> PermutationAirBuilder for DebugConstraintBuilderWithLookups<'a, F, EF>

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

Matrix type over extension field variables representing a permutation.

type RandomVar = EF

Randomness variable type used in permutation commitments.

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

Return the matrix representing permutation registers.

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

Return the list of randomness values for permutation argument.