Structs§
- BigLinear
Uair - BigLinear
Uair With Public Input - Binary
Decomposition Uair - ShaProxy
- A second “big linear” UAIR with 14 binary-poly columns and 4 int columns,
used as a benchmarking shape distinct from
BigLinearUair. - Test
Uair Affine Virtual - UAIR fixture for affine virtual booleanity targets while an independent F_q constraint family is present.
- Test
Uair BitOps FqFamily - UAIR combining bit-op virtual columns with both Q[X] and F_q[X] constraint families.
- Test
Uair BitOps Mixed Splice - Mixed-splice UAIR for bit-op virtual columns.
- Test
Uair FqLarge Prime - A UAIR exercising the Flavor-1 $F_{q}[X]$-constraint surface for multiple large primes.
- Test
Uair Mixed Shifts - 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).
- Test
Uair NoMultiplication - Test
Uair Scalar Multiplications - Test
Uair Simple Multiplication
Constants§
- GOLDILOCKS_
PRIME - Goldilocks prime (2^64 - 2^32 + 1); used as $q_1$ in
TestUairFqLargePrime. - MERSENNE_
61_ PRIME - M61 prime (2^61−1); used as $q_0$ in
TestUairFqLargePrime.
Traits§
- Generate
Random Trace - A trait for UAIRs for generating random trace (for both public and witness columns).
Type Aliases§
- Test
Uair Affine Virtual Public Only - Unshifted variant with all four binary columns public.
- Test
Uair Affine Virtual Unshifted - Unshifted variant with one public and three witness binary columns.