Ou, comme le diraient les anciens Égyptiens, "les hiéroglyphes sont devenus beaucoup plus faciles".

TLDR :

• La première version de Cairo 1.0 est disponible !

• Les développeurs peuvent commencer à écrire et tester des programmes Cairo 1.0.

• La parité des fonctionnalités avec l'ancienne version de Cairo sera atteinte dans les prochaines semaines.

• Le support des contrats Starknet sera ajouté dans la prochaine version alpha de StarkNet.

Contexte

Nous sommes heureux d'annoncer que la première version publique de Cairo 1.0 est désormais disponible. Cela marque une étape importante dans l'évolution de Cairo, qui a été initialement introduit en 2020 comme un langage de programmation complet afin d’écrire efficacement des programmes STARK vérifiables. Cairo 1.0 est un langage de haut niveau similaire à Rust. Comme Rust, il vise à permettre aux développeurs d'écrire facilement un code efficace et sûr.

Depuis sa création, Cairo a été utilisé pour construire des applications de couche 2 qui ont géré plus de 790 milliards de dollars de transactions, traité plus de 300 millions de transactions et créé plus de 90 millions de NFT, le tout off-chain et réglé sur Ethereum avec l'intégrité mathématique garantie par les preuves STARK. Cairo est devenu le quatrième langage de programmation le plus utilisé de l'écosystème blockchain. Avec la sortie de Cairo 1.0, nous visons à rendre le langage encore plus accessible et convivial tout en introduisant de nouvelles fonctionnalités qui améliorent la sécurité et le confort.

L'un des changements les plus importants dans Cairo 1.0 concerne la syntaxe. Nous nous sommes inspirés de Rust pour créer un langage plus convivial pour les développeurs, plus facile à lire et à écrire. La nouvelle version de Cairo permet d'écrire un code plus sûr (typage fort, propriété et emprunt, etc.), tout en étant plus expressif.

Cairo 1.0 introduit également Sierra, une nouvelle représentation intermédiaire qui garantit que chaque exécution de Cairo peut être prouvée. Cela rend Cairo 1.0 particulièrement adapté à une utilisation dans un réseau sans permission tel que Starknet, où il peut fournir une protection robuste contre les attaques de type DoS et une résistance à la censure. Vous pouvez en savoir plus sur Sierra dans notre précédent article.

Première Saveur !

Que pouvez-vous faire aujourd'hui ?

Les développeurs peuvent commencer à écrire, compiler et tester des programmes Cairo 1.0 ! Nous encourageons les développeurs à commencer à expérimenter avec Cairo 1.0 et à s'habituer à la nouvelle syntaxe et aux nouvelles fonctionnalités dès maintenant.

Étant donné que Cairo 1.0 est encore en développement actif et que de nouvelles fonctionnalités sont constamment ajoutées, consultez le référentiel Cairo pour les dernières mises à jour.

Quelle est la prochaine étape ?

Pour le moment, Cairo 1.0 ne prend pas encore en charge certaines des fonctionnalités prises en charge dans la version précédente de Cairo (voir ce tableau pour plus de détails). Notre prochaine étape, prévue dans les prochaines semaines, permettra d'obtenir une parité des fonctionnalités entre Cairo 1.0 et la version précédente. Vous pouvez suivre les progrès vers cette étape ici.

Prise en charge sur StarkNet

Prise en charge de Starknet L'écriture de contrats Starknet en Cairo 1.0 est prise en charge (bien que certaines fonctionnalités soient encore manquantes). Cependant, Starknet ne prend pas encore en charge le déploiement et l'exécution des contrats Cairo 1.0. Starknet Alpha V0.11.0, prévue dans les prochaines semaines, introduira la possibilité de déployer et d'exécuter des contrats Cairo 1.0. La mise à niveau vers la version 0.11.0 marquera le début de la période de transition vers un système qui exécute uniquement des contrats Cairo 1.0. Cette période de transition se terminera avec Regenesis, prévue quelques mois plus tard.

Construisons ensemble

L'objectif de Starknet est de faire évoluer Ethereum de manière exponentielle en utilisant l'intégrité mathématique des preuves STARKs, et l'objectif de Cairo est de rendre cette échelle exponentielle accessible aux développeurs. L'accessibilité signifie un langage de programmation efficace, facile à lire et à écrire, et sécurisé. Nous espérons que la sortie de Cairo 1.0 inspirera encore plus de développeurs à rejoindre Starknet et à faire évoluer Ethereum pour répondre à la demande mondiale.