-
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.
-
Texas Hold'em Model
Modeling multi-player poker with Petri nets—state machines, role-based access, guards, and event sourcing for complex game logic.
-
Tic-Tac-Toe Model
Modeling tic-tac-toe using Petri nets with ODE simulation for AI move selection—no game heuristics, just model topology.