Code for cryptographically verifiable voting schemes