We use math to provide scaling for blockchains.
Human audits are the standard way to ensure code is error-free. We introduce a stronger alternative: a formal mathematical proof.
The LEAN system is used to prove the correctness of the Cairo AIR.
We are releasing a new version (v0.6.2) for
#StarkNet
Alpha 4 *ON TESTNET*
What’s new?
💡API changes
💡Storage variables support tuples and struct arguments
💡Improved efficiency of Uint256 bitwise operations
Read More 👇 :
🎉The Cairo website has a new look! 🎉
Check it out at
Build provable programs, from onchain games to provable ML with Cairo! It is your language of choice for writing zero-knowledge smart contracts and applications.
We’ve released Cairo v0.1.0!
The new Cairo version has implicit arguments, no offsets in struct definition, and more.
Join our discord and see our announcements for more details:
➡️ Why build games on
@Starknet
?
The Cairo VM is specialized for running computationally demanding programs. Running fully onchain gaming experiences is now possible!
➡️ The official guide to the Dojo Starter:
➡️ Propulsion Program grants available:
Comparisons between
@solidity_lang
and Cairo by
@NethermindEth
📖
Key feature: upgradability with 'replace_class_syscall'
➡️ If you have a contract A and you want to upgrade it to contract B (an improved version of A), declare it and copy the new class
Starknet Devnet has a new doc!
Now supporting Account Impersonation, a powerful tool for testing (use impersonated accounts from mainnet/testnet) 🦅
Check it out:
AMMs are all the rage.
Here’s a step-by-step guide to building and deploying a scalable AMM from scratch.
Thanks to Cairo, you can build an AMM on L2 today. It’s skeletal, so you can add your secret sauce.
Cairo proofs on Ropsten
Off-chain:
1. Write any foo(bar) in Cairo.
2. Compute foo(bar). Result=blah.
3. Compute STARK proof (@ ; API soon).
On Ropsten:
4. If proof valid, store Fact “foo(bar)=blah” in Fact Registry.
5. Query Fact Registry from your dApp.
FYI: we opened a community-jobs channel on the
#StarkNet
discord.
Looking for people to join your team? Looking for a team to benefit from your skills?
You are welcome to post your ad on the community-jobs channel.
Let the
#StarkNet
ecosystem do its magic
StarkNet, captain’s log:
We would like to deploy a Solidity contract on
#StarkNet
.
Gladly, the
@nethermindeth
team can take us there at WARP speed!
Really, they’re building an EVM-to-Cairo transpiler and they have released their demo of ERC-20 contract
Bitcoin's biggest challenge is scalability. StarkWare has a vision to change that.
The concept of STARK scaling for blockchains was first introduced by
@EliBenSasson
at a Bitcoin conference in early 2013.
It's now time to scale Bitcoin with ZK-STARK, making it more accessible
The challenge: Scale Ethereum dApps
Method: The Cairo programming language.
Location:
@ETHGlobal
’s Scaling Etherum hackathon.
Prizes? Yes!
We are proud sponsors of this event.
Sign up, build with Cairo, shape the future.
The Scaling Ethereum hackathon, powered by
@ETHGlobal
, starts today.
Look for us at the opening event - our very own
@EliBenSasson
and
@bbrandtom
will be talking about StarkNet & Cairo.
API for the SHARP (Shared Prover) service is now available.
Developers can now incorporate Cairo code into their e2e systems on Ropsten.
Next week:
An example of a skeletal L2 AMM system, including its off-chain and on-chain components, powered by Cairo+SHARP.
Gm Cairo legends ☀️
Here's a simple contract that writes your goodness_rate to the storage variable 'morning_status' of your GoodMorning contract.
Write Cairo smart contracts 👉
Say Hey to the new Cairo Community Forum! 👋
The forum is here to support you, our Cairo community.
Expect version updates, release notes, and tutorials.
Share your Cairo code for debugging and review and publish your Cairo-related content!
Post on
Use
@CairoLang
to verify the integrity of a Neural Network, with
@gizatechxyz
👇
Once you train and test a model using
@PyTorch
, you can prove the integrity of the inference of the model with Cairo.
➡️ How do you prove your model?
1. Transpile your model from ONNX to Cairo
Take your first steps in writing
#StarkNet
contracts with StarkNet ByteSized - a series of short videos explaining the basics of StarkNet contracts.
Featuring: our very own
@shtaierman
!
Want to have an easy start with StarkNet?
You can now deploy StarkNet contracts directly from Cairo Playground.
Look for the StarkNet challenge on the Playground, write a contract and deploy.
Track your contract on Voyager Block explorer.
Cairo v0.3.1 is out!
New features for SHARP and EVM compatibility:
✅ New uint256 functions compatible with the EVM primitive type - now available in
#StarkNet
.
>>>
OpenZeppelin Contracts for Cairo (v0.13.0) are here!
🪝Hooks to ERC721 and ERC1155 components
🔑Account and EthAccount public key updates require a signature
📚Sending transactions guide in the doc-site
➡️Details:
➡️Open-source contributions:
Welcome to the first-ever Cairo Games!
Who will be the first to solve our puzzles?
Maybe you? The blockchain will be the judge of that.
If you’re up to the challenge, go to our Playground, pick a puzzle, try to win a prize.
When? 4pm GMT.
Ready, set, go!
What few understand is that the Cairo/StarkNet community is small enough and tech evolving so fast that we do know and help each other and are forming *real* P2P bonds between projects/teams.
Real community shit
Cool Kids Code Cairo
Want to learn how to build your own scalable L2 dApp using Cairo and STARKs?
We’re running a Cairo 101 workshop. Yay!
Mark the dates: March 14th-15th.
To register:
Do you want to sharpen your Cairo smart-contract skills through a gamified experience?
Check out
@nodeguardians
⚔️
From beginner-friendly to advanced quests, prove your Cairo skills and unlock unique opportunities!
👉
The Scaling Ethereum hackathon is on its way and we are in!
We’ll be there to answer questions and provide the information you need.
Join the hackathon, code with Cairo, build your project.
We’re having a workshop this Monday to help you prepare.
Join us.
Did you know we have a tutorial on how to build a simple voting system?
You did?
But did you know you can use essentially the same code to facilitate trusltess bridges from Ethereum to other chains? We explain.
Wow that was fast, all the Cairo Games puzzles were solved in less than 48 hours 😳
We’re adding more prizes to make sure the fun continues. Solvers 2-10 will get Ether prizes too. And of course, everyone gets the limited-edition NFT ⚡️
Do your best:
Oi dev, want to get started with Cairo?
Here is your step-by-step roadmap for becoming a Cairo core developer:
🦅The Cairo book:
🦅Starklings:
🦅Node guardians:
Do you want to build a Web3 game that feels like a Web2 experience?
➡️ Build with Cairo.
➡️ Build a fully onchain gaming logic with cheap calldata and computation.
➡️ Build user-friendly games with session keys and mutlicalls.
Check out:
LootRealms:
Dojo
Congrats to the winners for
@ETHGlobal
’s Scaling Ethereum Cairo projects!
In 1st place we have *two* projects:
- The Cairo Debugger Adapter Protocol Support
- The Alexandria project
>>>
Cairo Games are back for another round.
New puzzles heading your way!
Will you be the first to solve and claim eternal fame?
Save the date: April 18th, 3pm GMT.
The Integrity Verifier, a single smart contract written in Cairo, that verifies Cairo programs ⚡️
Built with
@HerodotusDev
and
@StarkWareLtd
, the Integrity Verifier allows for:
1⃣ L3s where offchain computation can be verified on Starknet
2⃣ Compressing proofs and verifying
Cairo makes it easy to write zero-knowledge smart contracts and applications.
How? Cairo simplifies the developer’s experience and abstracts STARKs, a proof system allowing your programs to be proven and verified for correctness.
Build with Cairo.
We are releasing Cairo 0.4.1 🦅 !
What’s new?
Improved local testing environment - ✅
Supporting tuples and structs in external function arguments - ✅
More information here:
A zkEVM built in
@CairoLang
, say hello to
@KakarotZkEvm
👋
1⃣ Write Solidity or Vyper code and enjoy EVM tooling (Foundry, Hardhat, Etherjs etc.)
2⃣ Prove with STARKs, thanks to Cairo🦅
Learn more:
Today is the DAY! 🥕
We’re super excited to announce that we’re entering our Public Whitelist Testnet phase: Kakarot Sepolia!
WTF is
@KakarotZkEvm
, and how to ape 🧵
Kakarot is an EVM-compatible ZK-Rollup built on the Cairo stack! On Testnet, Kakarot is a Ethereum Sepolia
StarkHack is already running, and we have a surprise for all game builders:
A video tutorial cooked by
@Senku_OG
,
@NoodyAbility
, and
@BrianSin_OG
on creating a attack based game over
@ohayo_dojo
contract 🧑🍳
Why buidl during StarkHack?
🐺 You'll receive mentorship from experts
StarkNet Journey, Captain’s log: Arrived at Planets Alpha
Where no man has gone before:
Any developer
Any smart contract
Deploy on a ZK-Rollup
Any user with any tx
All permissionless.
STARK-proven off-chain, verified on-chain.
A new version 0.23.0 of SNFoundry is out!
The release includes:
- sierra contract artifacts are now compiled to casm using usc
- event_name_hash was removed in favour of selector! in snforge
- fixed an issue with release profile in sncast script
Check out the full changelog
🚀 Exciting news! Registration for our upcoming Cairo Bootcamp is now open! Get ready to equip yourself with the requisite skills to BUIDL and deploy smart contracts on
@Starknet
Want to get started with Cairo?💻
Here is your step-by-step roadmap for becoming a Cairo core developer:
1⃣The Cairo book:
2⃣Cairo documentation:
2⃣Starklings:
4⃣Node guardians:
Get ready to scale Ethereum with Cairo, at the
@ETHGlobal
’s Scaling Ethereum hackathon.
Starts Friday!
Sign up, build with Cairo, shape the future.
Have a question? Need more information?
Join our discord:
*Cairo Games Vol.2 - This Sunday, 3pm GMT*
Are you ready?
Now’s the time to practice - go to our playground, go over the example, get in shape by solving the previous round’s puzzles (Vol.1).
Basecamp 9 came to an end last week after 6 weeks training devs in
@Starknet
,
@CairoLang
and
@ohayo_dojo
, and I'm pleased to announce that we have 61 new graduates joining our ecosystem.
Basecamp 9 is our most successful cohort to date and we are already planning something
Don’t trust, verify!
Our new Cairo
@cairolang
contract verifier is live - verify the source code of your smart contracts on ⚡️
Why care about verified source code?
🔐 full transparency of the smart contract’s logic means tighter security! No more relying
Understanding Cairo through Solidity: storage slots and upgradability
➡️ What happens to your storage when you want to upgrade a Solidity contract?
Solidity assigns storage slots incrementally as new variables are defined. In the Solidity OriginalContract, dataA and dataB are
Folks, you can now integrate seamlessly the Starknet Paymaster by AVNU 🍒
Here is the documentation
👉
- A dedicated Open API
- A Typescript SDK to allow you integrate under 10' in your flow
- Guide and examples
Our DMs are open. Don't be shy!
It's 2025
You're using ChatGPT-5 by
@OpenAI
You just generated a simple Multi Linear Regression from a dataset you provided.
But you have no idea whether OpenAI ran the regressions on GPT5 or GPT2, so you're trusting the results.
@CairoLang
prevents this. Build verifiable
Announcing the Starknet propulsion program!
The Starknet foundation is proud to announce the Starknet propulsion program, a first of its kind initiative aimed at supporting established teams in launching games on Starknet and appchains settled on Starknet.
The program will
Started learning Cairo and don’t know where to start?
Already familiar with Cairo and want to broaden your skills?
Our Resource guide will help you find the blog post or tutorial you need.
Have you checked out Cairo 2.6.0 yet?
The release comes with a Sierra upgrade to v1.5.0, optimized performance by using Span<felt252> rather than Array<felt252> in external function signatures, if let & while let expressions and const segments within the program (Sierra)
Cool Kids Code Cairo
Want to learn how to build your own scalable L2 dApp using Cairo and STARKs?
We’re running a Cairo 101 workshop. Yay!
Mark the dates: March 14th-15th.
To register:
Are you ready for this?
The Cairo Games start in T minus 7 days. It’s your chance to put your Cairo skills to the test.
There are going to be puzzles.
There are going to be prizes.
There are going to be proofs.
Get Ready - take the dry run now.
Our first public Cairo 101 workshop is completed!
Thanks to all who participated and joined the Cairo community.
Missed the workshop? Not to worry.
Watch the lectures
And the winners are...
Congrats to all Cairo Games Vol 1.0 winners and thank you for all of the participants - prizes and NFTs will be underway very soon.
Cairo Games are back for another round.
New puzzles heading your way!
Will you be the first to solve and claim eternal fame?
Save the date: April 18th, 3pm GMT.
The Scaling Ethereum hackathon is almost over.
Teams have submitted their projects and we are excited to see what they built with Cairo.
Which project will get our prize?
Stay tuned to find out.
Want to code with Cairo?
Go to our recorded workshops
Sierra Analyzer, a Sierra decompiler and analyzer in Rust, by
@FuzzingLabs
Features include a decompiler, control-flow graph, call graph, Informational & security detectors, and fetching contracts from Starknet
Repository:
Taking another step in supporting Ethereum signatures in StarkNet:
We've implemented secp256k1 ECDSA verification in Cairo.
You can try it on the Goerli StarkNet alpha.
Only 24 hours left to participate in the first round of the Cairo Games.
You can still be the proud owner of this limited edition NFT.
Eternal glory may yet be yours.
Go for it:
Cairo Games Vol.2 starts this Sunday.
5 puzzles waiting to be solved
5 prizes waiting to be won
Will you be the first to solve a puzzle?
For more details:
The Scaling Ethereum hackathon is on its way and we are in!
We’ll be there to answer questions and provide the information you need.
Join the hackathon, code with Cairo, build your project.
We’re having a workshop this Monday to help you prepare.
Join us.
Cairo Games Vol.2 - all puzzles were solved!
Took less than 25 hours.
Is the competition over? No.
You can still solve a puzzle, win this cool NFT, and have your name in the Hall of Fame.
Go win your badge of honor.
Started learning Cairo and don’t know where to start?
Already familiar with Cairo and want to broaden your skills?
Our Resource guide will help you find the blog post or tutorial you need.