Initialement publié en anglais par StarkWare le 28 Décembre, 2020

Toolchain Cairo 0.0.1

Il y a quelques mois, nous avons présenté Cairo, notre framework Turing-complet pour tester les calculs généraux. Depuis, nous avons tenu le Cairo Genesis Workshop et présenté Cairo au ZK summit 6. Aujourd’hui, nous lançons la première version de la Toolchain Cairo.

Pourquoi publions-nous cette Toolchain ?

Lorsque nous avons annoncé Cairo, la réaction a été extrêmement positive – il semble qu’il y ait un réel besoin dans l’écosystème pour les solutions que Cairo peut offrir. Nous lançons cette Toolchain parce que nous aimerions aider les gens à apprendre Cairo, à jouer avec et à contribuer à l’améliorer.

Qu’est-ce que nous publions ?

Toolchain

Compilateur

Le compilateur Cairo est responsable de la traduction des programmes Cairo en bytecode Cairo (qui est essentiellement une liste d’éléments de champ).

Machine virtuelle

La machine virtuelle Cairo (VM) est un logiciel qui sait comment prendre le bytecode produit par le compilateur, et l’exécuter sur un ordinateur. Le résultat de cette exécution est la trace du programme qui peut ensuite être envoyée à un prouveur STARK afin de prouver la validité de l’instruction exprimée dans le code Cairo.

Traceur

Le traceur est un outil de développement, essentiellement un debugger, qui affiche une représentation visuelle de la trace au cours de l’exécution du programme. Il permet au développeur d’examiner plus en détail l’exécution du code et d’identifier les problèmes.

Extensions IDE (integrated development environment)

Les extensions Vim et Visual Studio Code apportent la mise en évidence syntaxique pour Cairo. Nous prévoyons de les prolonger et de les améliorer au fil du temps.

Support de travail

Documentation & Tutoriel

Nous avons créé deux alternatives pour apprendre Cairo. Si vous souhaitez commencer à partir d’une expérience plus pratique, et simplement coder, commencez par le tutoriel «Hello, Cairo. » Il vous emmènera d’un simple programme Cairo aux bases de la programmation non déterministe.

Sinon, vous pouvez commencer par vous renseigner sur la composition de Cairo et en apprendre d’avantage en lisant How Cairo Works.

Code Cairo StarkEx 2.0

Nous publions le code Cairo pour StarkEx 2.0 (live sur Mainnet, avec DeversiFi). Entre autres, ce code propose nos meilleures pratiques pour l’écriture d’applications Cairo.

Le smart contract de DeversiFi contient le hachage Pedersen du code StarkEx 2.0 compilé. Vous pouvez le compiler, le hacher, et vérifier par vous-même que c’est bien ce qui alimente DeversiFi.

Et après ?

Nous avons de grands projets pour Cairo, et avec l’apport de la communauté des développeurs nous espérons le voir grandir. Voici ce qui arrive très prochainement :

• Cairo Playground, où vous pouvez exécuter le code Cairo à partir de votre navigateur – à venir très bientôt.
• Cairo Proving Service sur Testnet : Pour boucler la boucle et permettre aux développeurs de tester leurs programmes, nous prévoyons de lancer un Cairo Proving Service sur un testnet public en mars 2021. Même sans le prouveur, la Toolchain publiée aujourd’hui permet à n’importe quel développeur de commencer à écrire et exécuter des programmes Cairo aujourd’hui.
• Améliorer les outils IDE
• Améliorations du langage : ajout de la syntaxe, amélioration de la bibliothèque standard et de la documentation.

Il est important de garder à l’esprit que Cairo en est à ses tout débuts. Comme il continue à mûrir et à s’améliorer, nous ne pourrons pas garantir la rétrocompatibilité. Nous espérons et croyons que la participation à la création d’un tout nouveau langage de programmation en vaut la peine.

Let’s Go

Pour commencer, téléchargez et installez la chaîne de compilation Cairo, et jetez un œil à la documentation et au tutoriel. Si vous voulez comprendre à quoi ressemble une application complète Cairo, explorez le code StarkEx 2.0. La chaîne de compilation elle-même et le code StarkEx 2.0 sont sous licences, disponibles ici.

Visitez cairo-lang.org, où vous trouverez tous les documents relatifs à Cairo.

Pour discuter avec d’autres développeurs Cairo, ainsi qu’avec les créateurs, rejoignez le channel Discord Cairo.

Nous sommes impatients de voir ce que la communauté va créer avec Cairo, et nous attendons avec impatience vos réflexions et vos commentaires.

Traduction faite par @Theyozz