Published On Mar 4, 2024
Welcome to the Scalability Series, where we uncover how StarkWare is paving the way to Ethereum’s future!
Today, we uncover how Cairo scales Ethereum.
TL;DWatch
👉 Cairo is a Rust-inspired programming language optimized for provability and performance.
👉 It abstracts STARKs to simplify how the computation is described.
👉 It allows any developer to use STARK proofs.
👉 You can build any computationally intensive application, like a DeFi protocol or a fully on-chain game.
👉 STARK proofs are created inside the CairoVM, which runs the CPU AIR [Cpu AIR(O)].
👉 The Arithmetic Intermediate Representation (AIR) turns Cairo computation into a suitable proving format for the prover.
👉 Start with Cairo by looking at the resources below
Resources:
1️⃣ Cairo book: https://book.cairo-lang.org/
2️⃣ Cairo Doc: https://docs.cairo-lang.org/
3️⃣ Starklings: https://github.com/shramee/starklings...
4️⃣ Node guardian: https://nodeguardians.io/
5️⃣ OnlyDust: https://www.onlydust.com/ecosystem/st...
6️⃣ Starknet developers hub: https://www.starknet.io/en/developers