Ilia Shirobokov
For now, we can change it to vectors
Now placeholder preprocessor fails for usable_rows = padded_rows (when usable_rows is a power of two). It's could be fixed in crypto3-zk. However, we need to fill the last rows with...
Check if the verifier has more data than it needs
For now, the first _n_ columns are used in the permutation argument for Redshift (#20). We need something like a list of copy-constrained columns instead of the current implementation.