Awesome

OVN

Verified implementation of the Open Vote Network protocol