Struct ShaProxy 

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

A second “big linear” UAIR with 14 binary-poly columns and 4 int columns, used as a benchmarking shape distinct from BigLinearUair.

Constraints (0-based; bp = up.binary_poly, int = up.int):

• bp[0][t+1] - bp[1] - bp[2] - bp[3] - int[0] - int[1] - int[2] ∈ (X-2)
• bp[4][t+4] - bp[5] - bp[6] - bp[7] - int[1] - int[2] - int[3] ∈ (X-2)
• bp[8] - int[0] ∈ (X-2)
• bp[9] - int[1] ∈ (X-2)
• bp[10] - X * bp[11] ∈ (X-1)
• bp[12] - X * bp[13] ∈ (X-1)

Note the asymmetric shift amounts: bp[0] is shifted by 1 (used by C1) and bp[4] is shifted by 4 (used by C2).

Trait Implementations

impl<R: Clone> Clone for ShaProxy<R>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<R: Debug> Debug for ShaProxy<R>

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

Formats the value using the given formatter.

impl<R> GenerateRandomTrace<32> for ShaProxy<R>

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

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 ShaProxy<R>

where R: ConstSemiring + From<u32> + '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 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, 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>,