Struct DebugTraceGroup 

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

Trait Implementations

impl<'g> LookupGroup for DebugTraceGroup<'g>

type Expr = 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 = 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> = DebugTraceBatch<'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 insert<M>( &mut self, _name: &'static str, flag: Felt, multiplicity: Felt, msg: impl FnOnce() -> M, _deg: Deg, )

where M: LookupMessage<Felt, QuadFelt>,

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

fn batch<'b>( &'b mut self, _name: &'static str, flag: 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) -> &[QuadFelt]

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

fn bus_prefix(&self, bus_id: usize) -> 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: Felt, multiplicity: Felt, encoded: impl FnOnce() -> QuadFelt, _deg: Deg, )

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

fn add<M>( &mut self, name: &'static str, flag: Self::Expr, msg: impl FnOnce() -> M, deg: Deg, )

where M: LookupMessage<Self::Expr, Self::ExprEF>,

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

fn remove<M>( &mut self, name: &'static str, flag: Self::Expr, msg: impl FnOnce() -> M, deg: Deg, )

where M: LookupMessage<Self::Expr, Self::ExprEF>,

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