-
ZK Polls: Voting as a Visible State Machine
Anonymous voting where anyone can see the rules — built from a diagram with four circles and three arrows.
-
Bitwrap: Petri Nets as ZK Containers
From OP_RETURN in 2014 to zero-knowledge Petri nets in 2026 — how bitwrap.io became the capstone for a decade of work on formal state machines, cryptographic proofs, and executable specifications.
-
Zero-Knowledge Proofs for Petri Nets
How gnark circuits prove that a Petri net transition is valid without revealing the state—MiMC hashing, topology-based constraints, and Groth16 proofs.