Expand description
Example of a Binius SNARK that proves execution of Vision Mark-32 permutations.
The arithmetization uses committed columns of 32-bit binary tower field elements. Every row of the trace attests to the validity of 2 Vision rounds. Each permutation consists of 16 rounds.