-
ZK Polls: Voting as a Visible State Machine
Anonymous polls in bitwrap-io: a small Petri net whose cast-vote transition carries a Groth16 proof of registry membership, nullifier and range — and what the current code does about secrecy after the poll closes.
-
Bitwrap: Petri Nets as ZK Containers
From OP_RETURN in 2014 to zero-knowledge Petri nets in 2026 — bitwrap compiles one Petri-net schema into Groth16 circuits, a Solidity contract with Foundry tests, and a content-addressed model, and this post links the code for each and says where the generated outputs still disagree.