CairoLang

531 posts

CairoLang banner
CairoLang

CairoLang

@CairoLang

A programming language that makes it easy to build provable programs

zkSTARKs Katılım Ocak 2021
10 Takip Edilen6.3K Takipçiler
CairoLang retweetledi
Starknet (Privacy arc) 🥷
Builders want an easy way to bring their app onchain. That is exactly what Starkzap provides, and developers are increasingly using it. See you at 10k.
Starknet (Privacy arc) 🥷 tweet media
English
24
25
149
11.6K
CairoLang retweetledi
Eric Ng
Eric Ng@ericng39·
Most Cairo devs still write while loops. But iterators in Cairo are not just cleaner, they’re cheaper. In benchmarks, iterator-based code is 20–30% more gas-efficient than equivalent loops. I wrote a full deep dive with examples, patterns, and benchmarks👇
English
1
6
18
1.4K
CairoLang
CairoLang@CairoLang·
It really depends on what you’re after, but here are the best starting points for the ZK journey: For deep understanding: The Cairo Book is the gold standard. It teaches you the "CPU-like" logic of the language and how provable programs actually function. For builders: Go with Scaffold-Stark. It’s the fastest way to get a client/server dApp up and running so you can see the magic in action immediately. For understanding the protocols : The Starknet Docs are the way to go. They bridge the gap between high-level code and the underlying STARK primitives. Pro-tip: Use Starknet AI (the official agent) or Cairo-coder (the MCP). They are specifically trained on Cairo syntax and are life-savers for debugging or generating boilerplate. Ultimately, Cairo is the endgame because it turns complex logic into lean, verifiable proofs without breaking a sweat. It’s not just a language; it’s a ZK powerhouse designed for the next generation of trustless compute Cairo book: starknet.io/cairo-book/ Starknet Docs: docs.starknet.io AI Agent: ask.starknet.io Scaffold-Stark: scaffoldstark.com
English
4
3
24
8.4K
snorpyxbt
snorpyxbt@snorpyXBT·
If ZK really is the endgame, the point where scalability stops breaking trust, privacy becomes a baseline, and post-quantum guarantees aren’t a luxury, then I want to learn it from first principles. Cairo as a proof-native language makes sense. Starknet as the execution layer makes sense. But what’s the right starting point? Cairo Book, official docs, or the math behind proofs first?
Eli Ben-Sasson | Starknet.io@EliBenSasson

Is ZK is the endgame for blockchains? Yes, with a few benefits that give it a clear edge: - infinite scale - Privacy - Post-quantum security. And if you agree that ZK is the endgame, you should deep dive into Cairo: A ZK-friendly programming language, designed specifically for ZK-STARKs. ZK is the magic, and Cairo is be the magic wand to wield it.

English
3
0
3
420
CairoLang retweetledi
Ohad Barta
Ohad Barta@OhadBarta·
Which great Ethereum ERCs (or standards from other chains! don't limit yourself!) Starknet still misses? What should the team work on next to ease your development experience? cc @CairoLang
English
6
10
22
1.7K
CairoLang retweetledi
Starknet (Privacy arc) 🥷
1/ Bitcoin doesn’t change. But what you can do with it just did. From the June 2024 announcement that Starknet would scale Bitcoin, to the product rollouts of March 2025, the path has been clear. BTCFi on Starknet is where that momentum now leads 🧵
English
329
405
1.1K
487.3K
CairoLang retweetledi
eni 🍞
eni 🍞@eniwhere_·
You’re writing more Cairo than you should. If you code in Cairo, chances are you’ve used println! and array! - but did you know you could now implement your own macros? Let's take a dive and learn how to write our own macros, taking your @Starknet dev skills to the roof 🥽
eni 🍞 tweet media
English
11
16
76
7.6K
CairoLang retweetledi
softwaremansion.xyz
softwaremansion.xyz@swmansionxyz·
Test Code Lens - New in Cairo Language Server 2.12.0! 🚀 How does it work? If you launch a Foundry or a regular project, we will automatically detect your test runner while you browse through files, and find tests that the runner is able to run. If you encounter them - just click the "run test" marker above the test (or module containing tests) to run it in the console. Check out the demo below, and as always – happy coding! 💻
English
3
9
33
4.4K
CairoLang
CairoLang@CairoLang·
Cairo 2.12.0 is out! ➡️ Compile times are have improved significantly ➡️ Introducing future-Rust macro syntax (with some suggestions of our own like $callsite, $defsite, and expose!) ➡️ let-else, let chains, and Rust hints for Cairo executables (aka Oracles) Find out more in the release post: community.starknet.io/t/cairo-2-12-0…
English
11
18
64
10.3K
CairoLang
CairoLang@CairoLang·
Cairo Coder v0.1.0 is out! You can now generate any Cairo program or smart contract directly in Cursor. The Coder is compatible with all the latest Starknet tooling and allows anyone to create Cairo applications in minutes. ✨Try it out now for free: cairo-coder.com
Kasar@kasarLabs

You can now generate the most powerful provable language in seconds. ✨ Cairo Coder v0.1.0 is live! Vibe code your favorite @CairoLang Programs and Smart contracts with Cairo Coder.

English
1
2
12
2.1K
CairoLang
CairoLang@CairoLang·
The new cairo-profiler is out ⚡️ ➡️ Supporting sierra gas profiling ➡️ Better visibility on resource management ➡️ See the casm sizes of all your functions ➡️ See the number of syscalls used by your code ➡️ Easier filtering for code analysis Checkout the full release here: github.com/software-mansi…
softwaremansion.xyz@swmansionxyz

Exciting news - a new version of cairo-profiler is out! And oh boy, is it packed with new features. Let's dive into what's new! 👇

English
1
5
23
3.1K
CairoLang retweetledi
softwaremansion.xyz
softwaremansion.xyz@swmansionxyz·
Huge Starknet Foundry update is out, check new 0.43.0 features 🚀 🎇What’s new? - `set_balance` cheatcode for setting an ERC-20 token balance - possibility to display contract execution trace - `sncast call` response is now printed in human readable Cairo-like syntax Full changelog: github.com/foundry-rs/sta…
softwaremansion.xyz tweet media
English
0
2
8
1K
CairoLang
CairoLang@CairoLang·
Cairo just got easier to prove! Cairo is a provable language, designed to generate fast, cheap STARK proofs of any computation. The new and improved Cairo Playground by @walnut_dev now supports proving and verifying your Cairo code, all without leaving your tab. No setup, no CLI, just: 1️⃣ Write some Cairo 2️⃣ Select “Prove & Verify” and hit “Run” 3️⃣ Get your verified STARK proof in seconds Prove and verify your Cairo code now: cairovm.codes
English
4
20
77
7.9K
CairoLang
CairoLang@CairoLang·
Your Cairo journey starts with Starklings ⭐ Learn the essentials of the Cairo-lang syntax through interactive exercises. Just one-click away: starklings.app Now with: ✅Smoother DevX: unified database across CLI and Web ✅Updated and cooler landing page
English
4
9
51
6.5K
CairoLang retweetledi
elias tazartes 🥕🧑‍🌾
thank you @Starknet and @Cryptosquare_be for this super meetup great questions and energy 🙌🙏 tldr: - STARK gud - Cairo gud - Aggregation gud - Cairo Consensus Client gud - Cairo EVM gud - soon 1,000,000 tps in the integrity web prove ethereum
elias tazartes 🥕🧑‍🌾 tweet media
English
8
15
94
3.9K