Struct BigLinearUair 

pub struct BigLinearUair<R, P>(/* private fields */);

Trait Implementations

impl<R: Clone, P: Clone> Clone for BigLinearUair<R, P>

fn clone(&self) -> BigLinearUair<R, P>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<R: Debug, P: Debug> Debug for BigLinearUair<R, P>

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

Formats the value using the given formatter.

impl<R, P> GenerateRandomTrace<32> for BigLinearUair<R, P>

where R: ConstSemiring + From<u32> + 'static, P: Semiring + 'static,

type PolyCoeff = R

type Int = R

fn generate_random_trace<G: Rng + ?Sized>( num_vars: usize, rng: &mut G, ) -> UairTrace<'static, R, R, 32, 32>

impl<R, P> Uair for BigLinearUair<R, P>

where R: ConstSemiring + From<u32> + 'static, P: Semiring + 'static,

type Ideal = RotationIdeal<R, 1>

The ideal type the AIR operates with. Since a ConstraintBuilder is “opaque” for a Uair a Uair has to have a means to create ideals so ideals are fixed by this associated types. At the constrain* methods a Uair is given a way to convert its own ideals into builder’s ideals via the FromRef trait.

type FqIdeal = ImpossibleIdeal

The ideal type for $F_{q_i}[X]$-constraints emitted via [ConstraintBuilder::assert_in_fq_ideal]. UAIRs that do not declare any primes should set this to [ideal::ImpossibleIdeal].

type Scalar = DensePolynomial<R, 32>

The type of scalars of the UAIR. For now, we assume they are of the type “arbitrary polynomials”.

type Prime = P

Type of primes defined in signature. Must be compatible with the field type we’re using.

fn signature() -> UairSignature<Self::Prime>

Signature of the UAIR.

fn constrain_general<C, B, FromR, MulByScalar, IFromR, IFqFromR>( b: &mut B, expr_cfg: &C, up: TraceRow<'_, C::Element>, down: TraceRow<'_, C::Element>, _from_ref: FromR, _mbs: MulByScalar, ideal_from_ref: IFromR, _fq_ideal_from_ref: IFqFromR, )

where C: SemiringConfig, B: ConstraintBuilder<Expr = C::Element>, FromR: Fn(&Self::Scalar) -> C::Element, MulByScalar: Fn(&C::Element, &Self::Scalar) -> Option<C::Element>, IFromR: Fn(&Self::Ideal) -> B::Ideal,

A general method for describing constraints.