Cairo - Programming language

Cairo is a programming language created in 2022.

#736on PLDB

4Years Old

Download source code:

git clone https://github.com/starkware-libs/cairo

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.

Tags: programming language, contractLanguage
Cairo is developed on GitHub and has 1,658 stars
Rust influenced the design of Cairo
Cairo is written in Rust, AsciiDoc, TOML, JSON, Markdown, Bourne shell, YAML, HTML

Example from the web:

use core::felt252;

fn main() -> felt252 {
    let n = 2 + 3;
    n
}