Cairo programming language

A language for scaling dApps using STARKs.

P-34.34-3     FIX
P-34.34-3     FIX
TTS     P-34.34-3
01

CAIRO LANGUAGE

Cairo is a STARK-based Turing-complete language for writing provable programs on blockchain. Cairo enables developers to use proof technology.

explore more
02

zk-STARKs

The innovation behind zk-STARKs is in operating as a Layer2 network over the Ethereum blockchain, which is usually called Mainnet.

explore more
03

OUR CAIRO TEAM

SpaceShard Cairo team is very dedicated to educating others about Cairo and Starknet. Check out our projects or feel free to reach out to us on Twitter.