Struct ValidationGroup 

pub struct ValidationGroup<'g> { /* private fields */ }

Trait Implementations

impl<'g> LookupGroup for ValidationGroup<'g>

type Expr = SymbolicExpr<BaseLeaf<Felt>>

Expression type over base-field elements. Pinned to LookupBuilder::Expr through the column. The PrimeCharacteristicRing bound keeps LookupMessage happy when authors pass messages through add / remove / insert.

type ExprEF = SymbolicExpr<ExtLeaf<Felt, BinomialExtensionField<Felt, 2>>>

Expression type over extension-field elements. Pinned to LookupBuilder::ExprEF through the column. The Algebra<Self::Expr> bound mirrors LookupColumn::ExprEF and lets LookupMessage::encode use ExprEF × Expr products.

type Batch<'b> = ValidationBatch<'b> where Self: 'b

Transient handle returned by batch. GAT so the batch can borrow from self (and therefore from the column and the outer builder) for the duration of the closure.

fn add<M>( &mut self, _name: &'static str, flag: SymbolicExpression<Felt>, msg: impl FnOnce() -> M, _deg: Deg, )

where M: LookupMessage<SymbolicExpression<Felt>, SymbolicExpressionExt<Felt, QuadFelt>>,

Add a single interaction with multiplicity +1, gated by flag.

fn remove<M>( &mut self, _name: &'static str, flag: SymbolicExpression<Felt>, msg: impl FnOnce() -> M, _deg: Deg, )

where M: LookupMessage<SymbolicExpression<Felt>, SymbolicExpressionExt<Felt, QuadFelt>>,

Add a single interaction with multiplicity -1, gated by flag.

fn insert<M>( &mut self, _name: &'static str, flag: SymbolicExpression<Felt>, multiplicity: SymbolicExpression<Felt>, msg: impl FnOnce() -> M, _deg: Deg, )

where M: LookupMessage<SymbolicExpression<Felt>, SymbolicExpressionExt<Felt, QuadFelt>>,

Add a single interaction with explicit signed multiplicity, gated by flag.

fn batch<'b>( &'b mut self, _name: &'static str, flag: SymbolicExpression<Felt>, build: impl FnOnce(&mut Self::Batch<'b>), _deg: Deg, )

Open a batch of simultaneous interactions that all share the single outer flag flag.

fn beta_powers(&self) -> &[SymbolicExpressionExt<Felt, QuadFelt>]

Precomputed powers [β⁰, β¹, …, β^(W-1)], where W = max_message_width from the enclosing LookupAir.

fn bus_prefix(&self, bus_id: usize) -> SymbolicExpressionExt<Felt, QuadFelt>

Look up the precomputed bus prefix bus_prefix[bus_id] = α + (bus_id + 1) · β^W for the given coarse bus ID.

fn insert_encoded( &mut self, _name: &'static str, flag: SymbolicExpression<Felt>, multiplicity: SymbolicExpression<Felt>, encoded: impl FnOnce() -> SymbolicExpressionExt<Felt, QuadFelt>, _deg: Deg, )

Add a flag-gated interaction whose denominator is already an extension-field expression.