mirror of
https://github.com/logos-storage/plonky2.git
synced 2026-01-10 01:33:07 +00:00
61819af07d
Based on the approach @SyxtonPrime described. In terms of columns, the changes are: - Store inputs (`A`) as `u32` limbs, rather than individual bits. - Remove `C_partial`. It was used to store an intermediate product in a 5-way xor, but we've since realized that we can do a 5-way xor directly. - Add `C_prime`, an intermediate result used to help verify the relation between `A` and `A'`.