Cairo product
Overview
Cairo is a programming language for writing provable programs, designed for use with STARK-based scalability solutions. It is used primarily for smart contract development on StarkNet and for general-purpose verifiable computation. The language compiles to Cairo Assembly (CASM) and is Turing-complete.
Within the DeFi Intel graph, Cairo connects to 2 tracked entities, most strongly to Starknet, StarkWare.
Relations
Top connections in the DeFi Intel knowledge graph (confidence-weighted, 2 of 2 total).
| Relation | Connected entity | Confidence |
|---|---|---|
used_by | Starknet | 95% |
maintained_by | StarkWare | 95% |
Frequently asked questions
What is Cairo?
Cairo is a programming language that allows developers to write programs whose execution can be efficiently proved using STARK proofs, enabling verifiable computation on and off Ethereum.
How does Cairo differ from Solidity?
Cairo is designed for provable computation using STARKs, while Solidity is the primary language for Ethereum Virtual Machine (EVM) smart contracts. Cairo contracts execute on StarkNet, a validity rollup, rather than directly on Ethereum.
What are the main use cases for Cairo?
Cairo is used for building smart contracts on StarkNet, creating verifiable off-chain computations, and developing provable applications in DeFi, gaming, and identity, among others.
What is Cairo connected to?
In the DeFi Intel knowledge graph, Cairo is linked to 2 other tracked entities, most strongly to Starknet, StarkWare.
Live news feed, full graph, and search.