Cairo is a purpose-built language for writing StarkNet smart contracts that are provable with STARK proofs.

Developers transitioning from Solidity find Cairo's ownership model and explicit provability requirements a significant learning curve.