Cairo

Welcome to Cairo
A language for scaling dApps using STARKs
A Turing-complete language making it possible for all blockchain developers to harness the power of STARKs.

TURING COMPLETE
Cairo is the first Turing-complete language for creating provable programs for general computation.

EFFICIENT
Builtins and field elements enable efficient generation of proofs.

PRODUCTION READY
Cairo-based systems are already in production on Ethereum mainnet