A mostly-finished implementation of Andrew Neff's zero-knowledge proof of a correct shuffle. Andrew Neff. "A verifiable secret shuffle and its application to e-voting." ACM CCS 2001.