Subscribe to Starknet France
Starknet FranceHello, Cairo !
Initialement publié en anglais par StarkWare le 31 août, 2020TL;DRCairo est la première plate-forme de production pour la génération de preuves STARK, pour le calcul général. C’est Turing Complete, et très efficace. Tout ce que nous avons construit — à commencer par notre soumission “Reddit Bake-off” — est écrit en Cairo, y compris tous nos prochains déploiements : DeversiFi, Immutable et dYdX. Peu importe vos besoins de calcul et de stockage, si vous voulez une grande scalabilité à faible co...
Starknet FranceStarkExchange
Initialement publié en anglais part StarkWare le 10 juin, 2019 L’avenir du Trading Crypto Les traders et les consommateurs sont sur le point de vivre un changement radical dans le trading des crypto-monnaies. Les traders pourront trader de la manière la plus intuitive qui soit : directement à partir de leurs propres wallets, en conservant la garde de leurs titres à tout moment et en puisant dans les réserves de liquidités offertes par les exchanges centralisées (CEX). En outre, les fonds des ...
Starknet FranceStarkEx 3.0 maintenant disponible sur le Mainnet
Initialement publié en anglais par StarkWare le 27 Juillet, 2021Permettre aux utilisateurs L2 d'interagir facilement avec le L1RésuméStarkEx 3.0 est disponible sur le MainnetCaractéristiques principales : L1 Vaults & SHARP (SHARed Prover)L1 Vaults : Les adresses Ethereum (plus précisément, les smart contracts) peuvent désormais intéragir avec les utilisateurs de StarkEx en possédant un vault L1, ce qui permet le DeFi Pooling et le dAMM (anciennement Caspian)Une nouvelle capacité batch-lo...
<100 subscribers
Starknet FranceHello, Cairo !
Initialement publié en anglais par StarkWare le 31 août, 2020TL;DRCairo est la première plate-forme de production pour la génération de preuves STARK, pour le calcul général. C’est Turing Complete, et très efficace. Tout ce que nous avons construit — à commencer par notre soumission “Reddit Bake-off” — est écrit en Cairo, y compris tous nos prochains déploiements : DeversiFi, Immutable et dYdX. Peu importe vos besoins de calcul et de stockage, si vous voulez une grande scalabilité à faible co...
Starknet FranceStarkExchange
Initialement publié en anglais part StarkWare le 10 juin, 2019 L’avenir du Trading Crypto Les traders et les consommateurs sont sur le point de vivre un changement radical dans le trading des crypto-monnaies. Les traders pourront trader de la manière la plus intuitive qui soit : directement à partir de leurs propres wallets, en conservant la garde de leurs titres à tout moment et en puisant dans les réserves de liquidités offertes par les exchanges centralisées (CEX). En outre, les fonds des ...
Starknet FranceStarkEx 3.0 maintenant disponible sur le Mainnet
Initialement publié en anglais par StarkWare le 27 Juillet, 2021Permettre aux utilisateurs L2 d'interagir facilement avec le L1RésuméStarkEx 3.0 est disponible sur le MainnetCaractéristiques principales : L1 Vaults & SHARP (SHARed Prover)L1 Vaults : Les adresses Ethereum (plus précisément, les smart contracts) peuvent désormais intéragir avec les utilisateurs de StarkEx en possédant un vault L1, ce qui permet le DeFi Pooling et le dAMM (anciennement Caspian)Une nouvelle capacité batch-lo...
Share Dialog
Share Dialog
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.
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.
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.
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.
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.
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
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.
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.
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.
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.
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.
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
No comments yet