Bayer and Groth Verifiable Shuffles: Stephanie Bayer and Jens Groth. Efficient zero-knowledge argument for correctness of a shuffle. EUROCRYPT 2012.
The original version of the verifiable shuffle is here.
This repository contains a mirror of a version of the verifiable shuffle optimized for our distributed metadata-private messaging system, Stadium. That optimized version is posted here and mirrored here.