Implementation of the Bayer-Groth mixnet