Struct InteractionBuilder

pub struct InteractionBuilder<F: Field> { /* private fields */ }

A builder for the lookup table interactions.

Implementations

impl<F: Field> InteractionBuilder<F>

pub fn new(preprocessed_width: usize, main_width: usize) -> Self

Creates a new InteractionBuilder with the given width.

pub fn interactions(self) -> (Vec<Interaction<F>>, Vec<Interaction<F>>)

Returns the sends and receives.

Trait Implementations

impl<F: Field> AirBuilder for InteractionBuilder<F>

type F = F

type Expr = SymbolicExpression<F>

type Var = SymbolicVariable<F>

type M = DenseMatrix<<InteractionBuilder<F> as AirBuilder>::Var>

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

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

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

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

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

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.

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

where I: Into<Self::Expr>,

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

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

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> AirBuilderWithPublicValues for InteractionBuilder<F>

type PublicVar = F

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

impl<F: Field> MessageBuilder<AirInteraction<SymbolicExpression<F>>> for InteractionBuilder<F>

fn send( &mut self, message: AirInteraction<SymbolicExpression<F>>, scope: InteractionScope, )

Sends a message.

fn receive( &mut self, message: AirInteraction<SymbolicExpression<F>>, scope: InteractionScope, )

Receives a message.

impl<F: Field> PairBuilder for InteractionBuilder<F>

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