Cairo
Cairo - Provable programs for scalable StarkNet apps
Cairo is a Rust-inspired, Turing-complete language designed for writing provable, verifiable computations on StarkNet.
Category
General Purpose / Web3
First Release
2019
File Extension
.cairo
Creator
Cidal (StarkWare) and StarkNet team
Latest News
No news articles found for this language.
Difficulty
Advanced 3/3
Advanced concepts like zero-knowledge proofs, STARK-based verification, and low-level memory modelling raise the learning curve.