C
Cairo
infrastructure
The Rust-inspired language that makes it easy to build scalable dApps with the power of validity proofs. Cairo is the first Turing-complete language for creating provable programs for general computation. Cairo lets you write provable programs without requiring a deep understanding of the underlying ZK concepts. From onchain gaming to provable ML, Cairo makes building trustless applications possible. Cairo is also the smart-contract language of Starknet, an L2 blockchain that is verified over Ethereum.
Ecosystems:
MOE
Use Cases:
infrastructureother
Openness
| Project Phase | MAINNET |
| Project Launch Day | NOT AVAILABLE |
| Assets Used | NOT AVAILABLE |
| Native Token | NOT AVAILABLE |
Technology
| Open Source | Yes |
| Decentralized Storage | No data available |
| Upgradability | No |
| Peer to Peer (P2P) | No data available |
| Asset Custody | |
| Technology Type | No data available |
PrivacyDisabled by default
| Know Your Customer (KYC) | Not Required |
| Privacy Policy | Not Defined |
| Compliance | No data available |
| Sign-in Requirements | No data available |
| Collected Data | No data available |
| Data Usage | No data available |
Security
| Technical Dependency | Not available |
| Social Dependency | Not available |
| Third-party Dependency | Not available |
Audits
No security audits available for this project.