An efficient Scheme for Proving a Shuffle