Optimized shuffle and permutation commitment proof generator