finished proverOfShuffle