A simple example allowing users to cast ballots—constrained by QV rules—without revealing their preferences to anyone but a trusted ballot manager. The ballot manager is unable to censor of modify the votes. This example focuses on the zk circuits, which in practice would need to be coordinated by a consensus mechanism such as by validating on a blockchain.
- Enforces Quadratic Voting's cost function
- Outputs a commitment for the user to share publicly
- Enforces that all committed votes are counted
- Outputs the vote totals to share publicly
The circuits can be built, proved and verified using nargo.