-
ZK Hold'em: Poker Hand Ranking from Network Topology
Applying integer 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.