Verifiable Voting Code: Securing Ballots Without Breaking Anonymity

When engineers look at elections, they usually want to reach for a database. Tracking state transitions and managing concurrency are standard problems. But applying a standard ledger breaks a fundamen