-
Building ZK Poker: Four Petri Nets and a Branchless Circuit
A technical deep dive into heads-up hold'em at stackedup.gg — four Petri nets (phase, hand classifier, bot decision, chip ledger) and what each one actually drives in the code, a commit-reveal shuffle for casino sessions, and a branchless Groth16 circuit that proves a hand's score without revealing the hole cards.
-
ZK Hold'em: Poker Hand Ranking from Network Topology
Incidence reduction applied to poker in one pflow-rs example — hand-category values come out of the ODE as 1/drains over hand-picked drain counts, every game action is Groth16-proven, the shuffle is a Poseidon commit-reveal, and the generated contract still trusts the showdown.
-
Exponential Weights in Petri Nets: What Worked, What Didn't, and What's Next
Power-of-2 weights encode lexicographic order over distinct ranks as a single integer. We tried it for poker kicker scoring inside the net and reverted it; the per-card variant we shipped also broke the ordering. Where the encoding belongs, and where it doesn't.