zkCONNECT-4

You will play against an RL connect4 trained agent (~76% win rate against a random playing strategy, not too bad but don't expect too much) and generate a snark to prove your game using nova.