Cairo est le seul langage de programmation qui génère des preuves mathématiques que votre code s'est exécuté correctement. Ce n'est pas un détail technique : c'est ce qui permet à StarkNet de vérifier des milliers de transactions sur Ethereum sans les rejouer une par une. J'ai commencé à apprendre Cairo en 2024 parce que je pense que les preuves zero-knowledge vont devenir la norme en blockchain, pas l'exception.
Qu'est-ce que Cairo
Cairo est un langage créé par StarkWare, fortement inspiré de Rust. Si vous avez déjà écrit du Rust, vous retrouverez la syntaxe familière : ownership, traits, generics. La différence fondamentale, c'est que chaque programme Cairo peut générer une preuve STARK attestant que le calcul a été effectué correctement.
En pratique, ça signifie qu'un validateur n'a pas besoin de réexécuter votre transaction pour vérifier qu'elle est correcte. Il vérifie simplement la preuve mathématique, ce qui est beaucoup plus rapide et moins coûteux. C'est le principe du zero-knowledge rollup.
StarkNet en 2025
StarkNet est un Layer 2 sur Ethereum qui utilise les preuves STARK pour la scalabilité. En 2025, l'écosystème s'est densifié avec de nouvelles équipes de développeurs, des dApps DeFi fonctionnelles, et une base d'utilisateurs croissante.
StarkNet se différencie de zkSync par le choix d'un langage natif (Cairo) plutôt que de supporter Solidity directement. C'est un compromis : les développeurs Solidity doivent apprendre un nouveau langage, mais ce langage est optimisé pour les preuves. Les smart contracts résultants sont plus efficaces en termes de coût de preuve.
La barrière à l'entrée
Apprendre Cairo n'est pas trivial. La documentation s'est améliorée (le Cairo Book est bien structuré), mais l'écosystème d'outils est moins mature qu'Ethereum/Solidity. Les IDE, les frameworks de test, les bibliothèques... tout existe mais en version plus jeune.
Pour un développeur blockchain, c'est un investissement qui peut payer sur le long terme. La demande de développeurs Cairo dépasse largement l'offre. Si les ZK rollups dominent le futur d'Ethereum (ce que Vitalik Buterin pense), les développeurs Cairo auront un avantage.
Mon avis
StarkNet et Cairo sont un pari technologique. Si les preuves zero-knowledge deviennent le standard (ce vers quoi tout semble pointer), StarkNet sera en position de force. Si l'adoption reste concentrée sur les optimistic rollups (Arbitrum, Optimism), Cairo restera une niche.
