How to Implement a Stand-alone Verifier for the Verificatum Mix-Net
Douglas Wikstr · 2012
Verificatum, http://www.verificatum.org, is an implementation of an El Gamalbased mix-net which uses the Fiat-Shamir heuristic to produce a universally verifiable proof of correctness during the execution of the protocol. This document gives a detailed description of this proof targeting implementers of stand-alone verifiers. DRAFT. We know that there are bugs in this document at the moment and it is not yet claimed to be correct or secure. Students of Amnon Ta-Schma at Tel Aviv University are currently running a project that will help us iron out these problems, and this document is provided solely for this purpose. Thus, if you want to attack the scheme (which we welcome), then you have to wait until a document that is claimed to be correct and secure is published at: http://www.verificatum.org.