ZK Polls

Anonymous voting with zero-knowledge proofs. Create a poll, share the link, voters prove eligibility without revealing identity.

Active Polls

Create a New Poll

Title

Description (optional)

Choices

Duration

View Petri Net Model →

Deploy ZK Poll On-Chain

Generate a complete Foundry project with a Solidity governance contract, Groth16 verifier, tests, and deployment script.

📦

Foundry Bundle

ZIP with contract, verifier, tests, and deploy script

📄

Solidity Only

Just the governance contract .sol file

What you get

src/BitwrapZKPoll.sol — Governance contract with nullifier-based double-vote prevention, voter registry Merkle root, poll lifecycle (create/vote/close)

src/Verifier.sol — Auto-generated Groth16 verifier for the voteCast circuit

test/BitwrapZKPoll.t.sol — Foundry tests for all poll actions

script/Deploy.s.sol — Deployment script

View Petri Net Model →

Nullifiers (public audit log)

Tally Proof (ZK-verified)

A single Groth16 proof over the castVote Petri-net transition — shows that the posted tallies are the exact fold of the revealed votes. Anyone can verify it against the tallyProof verifying key.

View Petri Net Model →