# Cairo

> The Rust-inspired language that makes it easy to build scalable dApps with the power of validity proofs.

Cairo implements a programming language for creating STARK-provable programs and smart contracts on Starknet.

Cairo provides a programming language for developing STARK-provable programs and smart contracts. The language supports general computation and smart contract development on Starknet, a Layer 2 blockchain. Cairo offers Rust-like syntax, built-in testing capabilities, and tools for generating validity proofs. The language enables developers to build scalable applications without requiring deep zero-knowledge proof expertise.

- Type: Project
- Sector: Developer Tooling
- Status: Active
- Founded: 2020-12-01
- Profile: https://thegrid.id/profiles/cairo

## Products

- [Cairo Programming Language](https://thegrid.id/profiles/cairo): Cairo Programming Language provides a way to write programs that can prove their computations are correct without revealing the actual data. It uses Rust-like syntax to help developers create smart contracts for Starknet and build applications that need mathematical proofs of correctness. The language includes tools for testing, debugging, and generating proofs, making it simpler for developers to build trustworthy blockchain applications without deep cryptography knowledge. (Developer Tooling, Live, Main Product)
- [Garaga](https://thegrid.id/profiles/cairo): Garaga provides efficient elliptic curve operations and SNARK verification for Cairo and Starknet through optimized modular arithmetic circuits. Users can verify Groth16 and Honk proofs on-chain, perform multi-scalar multiplication across multiple curves, execute pairing operations for BN254 and BLS12-381, and verify ECDSA, Schnorr, and EdDSA signatures. The system enables smart contract verifier generation for various proof systems and provides maintained contracts for RISC Zero, SP1, and drand verification. (Developer Tooling, Live)

## Links

- [Main](https://www.cairo-lang.org)
- [Blog](https://www.cairo-lang.org/blog)
- [Documentation](https://book.cairo-lang.org)
- [Twitter / X](https://x.com/CairoLang)
- [GitHub](https://github.com/starkware-libs/cairo)
- [Telegram](https://t.me/GaragaPairingCairo)
- [GitHub](https://github.com/keep-starknet-strange/garaga)

## Relationships

- [Madara](https://thegrid.id/profiles/madara): Subsidiary

## Legal

This data is provided under two licensing models.

Model 1 - open data. The open data core is licensed under the Open Database License (ODbL) — a copyleft/share-alike license allowing free use, modification, and sharing for any purpose. Attribution is required: include "Powered by The Grid" linking to https://thegrid.id wherever the data is used. Derivative databases must be shared under ODbL terms. Trademarks, logos, and brand names (marked "Special TPIP") are not covered by the ODbL. For ML/AI use: training datasets that substantially extract ODbL data are Derivative Databases and must be shared under ODbL if publicly used; models must be attributed in documentation.

Model 2 - commercial licenses. The Grid Data Service (TGDS) is also available as a commercial license. See [Web Services Terms](https://about.thegrid.id/legal/web-services-terms) for commercial use that is not covered by the open data service.

The following applies to both licensing models.
- All data is provided AS IS with no guarantees of accuracy.
- The Grid does not provide investment, legal, or tax advice, and
- a project's presence in The Grid's data does not imply endorsement.


- [Data Licensing & Disclaimers](https://about.thegrid.id/legal/data-licensing-and-disclaimers): Licensing models and disclaimers
- [Open Data (ODbL)](https://about.thegrid.id/legal/open-data): Open Database License terms and scope for The Grid's open data service.
- [Attribution Guidelines](https://about.thegrid.id/legal/open-data-attribution-guidelines): How to attribute The Grid's data when using the open data service.
- [Web Services Terms](https://about.thegrid.id/legal/web-services-terms): commercial Terms for using data services.
- [All Legal Documents](https://about.thegrid.id/legal): Full index of terms, policies, and disclosures

## Optional

- [TGS Field Descriptions](https://github.com/The-Grid-Data/workspace-public/blob/main/references/tgs-field-descriptions.md): Schema field definitions for The Grid's data model
- [TGS JSON Structure](https://github.com/The-Grid-Data/workspace-public/blob/main/references/tgs-json-structure.md): Data model structure and relationships
- [Product Type Definitions](https://github.com/The-Grid-Data/workspace-public/blob/main/references/product-type-definitions.md): Definitions for each product type
- [Product Type Classification](https://github.com/The-Grid-Data/workspace-public/blob/main/references/product-type-classification.md): Guide for classifying products into types
- [Grid MCP Guide](https://github.com/The-Grid-Data/workspace-public/blob/main/grid-search/skills/grid-query/references/grid-mcp-guide.md): How to query The Grid programmatically via MCP