Struct TestUairSimpleMultiplication 

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

Trait Implementations

impl<R: Clone> Clone for TestUairSimpleMultiplication<R>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<R: Debug> Debug for TestUairSimpleMultiplication<R>

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

Formats the value using the given formatter.

impl<R> GenerateRandomTrace<32> for TestUairSimpleMultiplication<R>

where R: FixedSemiring + From<i8> + 'static, StandardUniform: Distribution<R>,

type PolyCoeff = R

type Int = R

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

impl<R> Uair for TestUairSimpleMultiplication<R>

where R: Semiring + 'static,

type Ideal = ImpossibleIdeal

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 = DensePolynomial<R, 32>

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,

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>,