Cairo Programming Language Powers StarkNet Smart Contracts

Cairo is a Turing‑complete language built on STARK technology that enables provable smart contracts on StarkNet. It works with the Scarb toolchain and uses Validity Rollup architecture to execute off‑chain while requiring far less verification power than re‑executing computations.