Prove your Cairo run with SHARPYou are about to send your run to be proved by the Shared Prover. This may take some time to finalize.
To learn about what's happening behind the scenes click here.
Deploy your contract on StarkNetYou are about to deploy your contract on the StarkNet Planets Alpha network.
Writing a contract is not the same as writing a Cairo program (for example, you shouldn't have a main() function). If you haven't referred to the StarkNet tutorial yet, now is the time.