To date, Helios has done all of the key management for you, which is really handy when you don’t want to deal with that messiness. And in any case, while a malicious Helios could find out how you voted, it could never fake the tally, thanks to the Helios Verification Specs.

But you might not want Helios to know the secret key to your election. You might want to manage it yourself. Now you can.

However, there is really no way to tally the election if you lose your key. With great power comes great responsibility. So be careful.

Helios is meant to be verified by anyone. You can go write your own code to verify that Helios is running your election properly. Ah, but to write code, you need specs. So here is the Helios Verification Specification. Feedback welcome!