Welcome to the Cairo playground!

Here, you can explore Cairo directly in your browser with no setup required.

🚀 On launch, the playground will display one of several preloaded Cairo examples, all of which are fully editable.

👾 Clicking “Run” will compile your code to its Sierra and Casm representations and allow you to debug its VM execution trace or Sierra code step-by-step.

🤖 Selecting “Prove & Verify” and clicking “Run” will compile and execute your code, too, but this time, it will also generate a proof of the execution’s validity using the Stwo prover.

🌰 The playground was developed by the Walnut team, and you can contact them on Telegram or submit an issue on GitHub if you have any feedback or suggestions for improvements.