How To Implement A Stand-alone Verifier for the Verificatum Mix-Net

@inproceedings{Wikstrm2011HowTI,
  title={How To Implement A Stand-alone Verifier for the Verificatum Mix-Net},
  author={Douglas Wikstr{\"o}m},
  year={2011}
}
Verificatum, http://www.verificatum.org, is a free and open source implementation of an El Gamal based mix-net which optionally uses the Fiat-Shamir heuristic to produce universally verifiable proofs of correctness during the execution of the protocol. This document gives a detailed description of these proofs targeting implementors of standalone verifiers.