Struct TestUairAffineVirtual 

pub struct TestUairAffineVirtual<R, P, const NUM_PUBLIC_BINARY: usize>(/* private fields */);

UAIR fixture for affine virtual booleanity targets while an independent F_q constraint family is present.

For public e and witness g, the witnesses u_not = (!e) & g and u_and = e & g are characterized by the paper’s two Ch membership expressions

(1_32 - e) + g - 2u_not in {0, 1}^{<32}[X]
e + g - 2u_and in {0, 1}^{<32}[X].

Trait Implementations

impl<R: Clone, P: Clone, const NUM_PUBLIC_BINARY: usize> Clone for TestUairAffineVirtual<R, P, NUM_PUBLIC_BINARY>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<R: Debug, P: Debug, const NUM_PUBLIC_BINARY: usize> Debug for TestUairAffineVirtual<R, P, NUM_PUBLIC_BINARY>

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

Formats the value using the given formatter.

impl<R, P, const NUM_PUBLIC_BINARY: usize> GenerateRandomTrace<32> for TestUairAffineVirtual<R, P, NUM_PUBLIC_BINARY>

where R: ConstSemiring + 'static, P: Semiring + From<u64> + '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, const NUM_PUBLIC_BINARY: usize> Uair for TestUairAffineVirtual<R, P, NUM_PUBLIC_BINARY>

where R: ConstSemiring + 'static, P: Semiring + From<u64> + '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 = RotationIdeal<R, 1>

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>, IFromR: Fn(&Self::Ideal) -> B::Ideal, IFqFromR: Fn(&Self::FqIdeal) -> B::FqIdeal,

A general method for describing constraints.