-
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.
-
ZK Hold'em: Poker Hand Ranking from Network Topology
Applying incidence reduction to poker — hand strength values emerge from Petri net drain structure, every action is Groth16-proven, and the shuffle uses Poseidon commit-reveal.
-
Exponential Weights in Petri Nets: What Worked, What Didn't, and What's Next
Power-of-2 arc weights can encode lexicographic order as a single integer. We tried it for poker kicker scoring—and then removed it. Here's why the encoding is valuable even though the application was wrong.