Struct BigLinearUairWithPublicInput 

pub struct BigLinearUairWithPublicInput<R>(/* private fields */);

Trait Implementations

impl<R: Clone> Clone for BigLinearUairWithPublicInput<R>

fn clone(&self) -> BigLinearUairWithPublicInput<R>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<R: Debug> Debug for BigLinearUairWithPublicInput<R>

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

Formats the value using the given formatter.

impl<R> GenerateRandomTrace<32> for BigLinearUairWithPublicInput<R>

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

type PolyCoeff = <BigLinearUair<R> as GenerateRandomTrace<32>>::PolyCoeff

type Int = <BigLinearUair<R> as GenerateRandomTrace<32>>::Int

fn generate_random_trace<Rng: RngCore + ?Sized>( num_vars: usize, rng: &mut Rng, ) -> UairTrace<'static, Self::PolyCoeff, Self::Int, 32>

impl<R> Uair for BigLinearUairWithPublicInput<R>

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

type Ideal = <BigLinearUair<R> as Uair>::Ideal

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 Scalar = <BigLinearUair<R> as Uair>::Scalar

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

fn signature() -> UairSignature

Signature of the UAIR.

fn constrain_general<B, FromR, MulByScalar, IFromR>( b: &mut B, up: TraceRow<'_, B::Expr>, down: TraceRow<'_, B::Expr>, from_ref: FromR, mbs: MulByScalar, ideal_from_ref: IFromR, )

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

A general method for describing constraints.

fn constrain<B>( b: &mut B, up: TraceRow<'_, <B as ConstraintBuilder>::Expr>, down: TraceRow<'_, <B as ConstraintBuilder>::Expr>, )

where B: ConstraintBuilder, <B as ConstraintBuilder>::Expr: FromRef<Self::Scalar> + for<'b> MulByScalar<&'b Self::Scalar>, <B as ConstraintBuilder>::Ideal: FromRef<Self::Ideal>,