About the Smart Contracts category

Cairo is the smart-contract programming language for the Starknet network.

The Cairo programming language is a Turing-complete language for creating provable programs for general computation. It is also the native programming language of Starknet for writing Smart-Contracts.

There is a clear separation between programs written in Cairo meant for general-computation and Cairo smart-contracts.

This category is meant for addressing questions, tutorials and suggestions for Cairo as a smart-contract language.