Welcome to our experimental project, where we delve into the fascinating intersection of ZKML and Autonomous Worlds through the classic game of Tic Tac Toe.
This project serves as a proof of concept for integrating AI agents with formally verified decision-making capabilities within an autonomous environment. By leveraging the simplicity of Tic Tac Toe and Orion-Cairo library, we aim to demonstrate the potential of provable AI systems in managing complex interactions within autonomous worlds.
| Prover | Method | Cairo VM execution time (s) | Proving time (s) | Verification time (s) | Gas usage est. |
|---|---|---|---|---|---|
| Platinum | Naive | 1.0586735 | 68.20863 | 0.000556362 | 19 756 180 |
We refer to the method of attempting to prove the entirety of a neural network as the "naive" approach. Later, we will contrast this technique with more refined strategies for proving neural networks, such as recursive proof methods.
Benchmarking on the Stone Prover will be performed once the prover supports non-CairoZero programs.
This project presents a Cairo implementation of a pre-trained Tic Tac Toe model. It features an Evaluator function designed to predict each potential subsequent board state. Feel free to use this model as a foundation to develop a complete autonomous Tic Tac Toe game using Dojo Game Engine ⛩️.
- Compile project:
> scarb build > starknet-sierra-compile -- target/dev/tic_tac_toe_orion_OrionRunner.contract_class.json target/dev/ttt.casm.json - Prove the program with Giza-CLI:
giza prove target/dev/ttt.casm.json --size XL
To train and build the model we relied on this great notebook.