-
Building ZK Poker: Four Petri Nets and a Branchless Circuit
A technical deep dive into heads-up hold'em at stackedup.gg — how four cooperating Petri nets replace imperative game logic, a commit-reveal protocol ensures fair shuffles, and a branchless Groth16 circuit proves hand strength without revealing cards.