Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

Cairo

< >

Cairo is a programming language created in 2022.

#713on PLDB 3Years Old
Download source code:
git clone https://github.com/starkware-libs/cairo
HomepageREPLSource CodeTwitter

The Rust-inspired language that makes it easy to build scalable dApps with the power of validity proofs. 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.


Example from the web:
use core::felt252; fn main() -> felt252 { let n = 2 + 3; n }

- Build the next great programming language Add Add Prompt Issues About Search Keywords Livestreams Labs Resources Acknowledgements

Built with Scroll v169.0.0