🏷️ gnark

ZK Tic-Tac-Toe Model

Zero-knowledge proofs meet Petri nets—cryptographically verify valid game moves without revealing strategy using gnark circuits.