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 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
Traits§
- Generate
Random Trace - A trait for UAIRs for generating random trace (for both public and witness columns).