Selene: Voting with Transparent Verifiability and Coercion-Mitigation
Zero knowledge in the random oracle model, revisited