-
ZK Polls: Voting as a Visible State Machine
How bitwrap.io turns anonymous voting into a Petri net you can see, simulate, and verify — then generates ZK proofs and Solidity contracts from the same model.
1 post tagged with "voting"
How bitwrap.io turns anonymous voting into a Petri net you can see, simulate, and verify — then generates ZK proofs and Solidity contracts from the same model.