starkware-libs/cairo

Health v2 · maintenance only

Adoption not part of the score

1902 stars · 772 forks observed · 2026-08-28

What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded

Cairo is a Turing-complete programming language for writing provable programs, implemented as a compiler toolchain written in Rust. It compiles Cairo code to Sierra and Cairo assembly (casm) and is the primary language for Starknet smart contracts and STARK-provable general computation.

Use cases

• write provable programs with zero-knowledge proofs
• compile cairo to sierra and casm
• develop starknet smart contracts
• run cairo programs locally
• learn a zk-friendly programming language
• generate computational integrity proofs

When to choose

• building on Starknet or STARK-based provable computation
• you need programs whose execution can be verified cryptographically
• you want the official, actively maintained Cairo toolchain

When to avoid

• you need a general-purpose language without proof obligations
• your project targets EVM/Solidity ecosystems
• you need a stable, long-frozen language spec — Cairo is still evolving

Facets

cli-tool · maturity active

compiler programming-language cryptography cli blockchain programming-languages compilers windows rust cli cairo starknet zero-knowledge-proofs zkp stark-proofs sierra casm provable-computation cryptography linux macos

Member repositories

For agents

markdown · JSON · MCP: product_card(name="starkware-libs/cairo")