MACI · interactive mechanism simulation

Voters post encrypted vote/key-change messages on-chain — identical ciphertext either way, so a briber can never tell which one arrived. A coordinator decrypts, tallies off-chain, and proves the result correct with a zk-SNARK. Edit the parameters and watch collusion resistance play out.
Voters 0 / 150 signed up Briber offers payment for votes MACI contract 0 encrypted messages Coordinator decrypts & tallies off-chain zk-SNARK proof 0 batches verified proves tally = f(messages) On-chain tally (verified) A B
Voters signed up
0
Encrypted messages posted
0
Batches verified (zk proofs)
0
Bribes rendered worthless
0
Parameters — edit me
150
1.4/s
20%
12
0.4/s
Controls

Illustrative simulation. All messages look identical on the wire — a vote and a secret key-change are indistinguishable ciphertext, which is why a receipt shown to a briber proves nothing. Coordinator, batching cadence and bribery pressure are simplified for visualization — not live onchain data. Part of The Onchain Experiment Atlas.