Struct DoNothingBuilder 

pub struct DoNothingBuilder;

Trait Implementations

impl Clone for DoNothingBuilder

fn clone(&self) -> DoNothingBuilder

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl ConstraintBuilder for DoNothingBuilder

type Expr = DummySemiring

The expressions the constraint builder operates on. It is opaque from the PoV of an AIR: arithmetic operations on it are provided by the expression config passed to Uair::constrain_general alongside the builder.

type Ideal = ImpossibleIdeal

The type of ideals used by the constraint builder.

type FqIdeal = ImpossibleIdeal

Ideals living over $F_{q_i}[X]$ for the prime tuple declared by the surrounding UairSignature::primes. A single ConstraintBuilder shares one runtime type for all primes; the prime index is passed at the call site via ConstraintBuilder::assert_in_fq_ideal. Builders that don’t care about $F_q[X]$-constraints (counters, collectors, etc.) set this to ImpossibleIdeal.

fn assert_in_ideal(&mut self, _expr: Self::Expr, _ideal: &Self::Ideal)

Add a constraint saying that expr belongs to the ideal ideal.

fn assert_zero(&mut self, _expr: Self::Expr)

Add a constraint saying that expr is equal to zero which is the same as saying that expr belongs to the zero ideal.

fn assert_in_fq_ideal( &mut self, _prime_idx: usize, _expr: Self::Expr, _ideal: &Self::FqIdeal, )

Add a constraint saying that expr, after coefficient-wise reduction mod $q_{\text{prime_index}}$ (the paper’s $\phi_{q_i}$), belongs to the $F_{q_i}[X]$-ideal ideal.

impl Debug for DoNothingBuilder

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

Formats the value using the given formatter.

impl Default for DoNothingBuilder

fn default() -> DoNothingBuilder

Returns the “default value” for a type.

impl Copy for DoNothingBuilder