pub struct TestUairMixedShifts<R>(/* private fields */);Expand description
Test UAIR with mixed shift amounts. 3 columns (a, b, c): column a shifts by 1, column b shifts by 2. Constraints are linear (degree 1).
Trait Implementations§
Source§impl<R: Clone> Clone for TestUairMixedShifts<R>
impl<R: Clone> Clone for TestUairMixedShifts<R>
Source§fn clone(&self) -> TestUairMixedShifts<R>
fn clone(&self) -> TestUairMixedShifts<R>
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl<R: Debug> Debug for TestUairMixedShifts<R>
impl<R: Debug> Debug for TestUairMixedShifts<R>
Source§impl<R> GenerateRandomTrace<32> for TestUairMixedShifts<R>
impl<R> GenerateRandomTrace<32> for TestUairMixedShifts<R>
Source§impl<R> Uair for TestUairMixedShifts<R>where
R: Semiring + 'static,
impl<R> Uair for TestUairMixedShifts<R>where
R: Semiring + 'static,
Source§type Ideal = ImpossibleIdeal
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.Source§type Scalar = DensePolynomial<R, 32>
type Scalar = DensePolynomial<R, 32>
The type of scalars of the UAIR.
For now, we assume they are of
the type “arbitrary polynomials”.
Source§fn signature() -> UairSignature
fn signature() -> UairSignature
Signature of the UAIR. Read more
Source§fn constrain_general<B, FromR, MulByScalar, IFromR>(
builder: &mut B,
up: TraceRow<'_, B::Expr>,
down: TraceRow<'_, B::Expr>,
_from_ref: FromR,
_mbs: MulByScalar,
_ideal_from_ref: IFromR,
)where
B: ConstraintBuilder,
fn constrain_general<B, FromR, MulByScalar, IFromR>(
builder: &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. Read more
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>,
Auto Trait Implementations§
impl<R> Freeze for TestUairMixedShifts<R>
impl<R> RefUnwindSafe for TestUairMixedShifts<R>where
R: RefUnwindSafe,
impl<R> Send for TestUairMixedShifts<R>where
R: Send,
impl<R> Sync for TestUairMixedShifts<R>where
R: Sync,
impl<R> Unpin for TestUairMixedShifts<R>where
R: Unpin,
impl<R> UnsafeUnpin for TestUairMixedShifts<R>
impl<R> UnwindSafe for TestUairMixedShifts<R>where
R: UnwindSafe,
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more