Added reference to mixnet pdf for proof of plaintext knowledge