La refonte de StarkNet de sa programmation du Caire, mais pourquoi ?

StarkNet est un Validity-Rollup décentralisé sans autorisation. Il fonctionne comme un réseau L2 sur Ethereum. Il permet à n'importe quelle dApp d'atteindre une échelle illimitée pour son calcul - sans compromettre la composabilité et la sécurité d'Ethereum.

Depuis la récente mise à jour de StarkNet, il a révisé son langage de programmation interne Cairo pour rendre le développement Web3 accessible aux développeurs. Dans un article de blog Medium de StarkWare, les solutions de mise à l'échelle basées sur Stark ont ​​décrit les mises à niveau vers Cairo 1.0.

Selon le blog, "Les développeurs peuvent commencer à écrire, compiler et tester les programmes Cairo 1.0 !" La plate-forme encourage les développeurs à commencer à expérimenter Cairo 1.0 et à s'habituer à la nouvelle syntaxe et aux nouvelles fonctionnalités.

Qu'est-ce que Le Caire 1.0 ?

Cairo a été introduit pour la première fois en 2020, et suite à l'évolution de sa première version publique, Cairo 1.0 est maintenant disponible. Il s'agit également d'un "langage de programmation turing-complete" pour écrire efficacement des programmes pouvant être prouvés par STARK. « Cairo 1.0 est un langage de haut niveau semblable à Rust. Comme Rust, il est destiné à permettre aux développeurs d'écrire facilement du code efficace et sûr.

Le co-fondateur et président de StarkWare, Eli Ben-Sasson, a expliqué la raison de la refonte du Caire en déclarant : "Les principaux moteurs étaient la sécurité et la facilité d'utilisation, et la réalisation de la refonte a présenté une formidable opportunité de supprimer l'entrée pour les développeurs utilisant un langage conventionnel. arrière-plans.

Cairo 1.0 introduit en outre Sierra, une nouvelle représentation intermédiaire qui garantit que chaque exécution du Caire peut être prouvée. Cela rend Cairo 1.0 particulièrement bien adapté à une utilisation dans un réseau sans autorisation comme StarkNet, où il peut fournir une protection DoS robuste et une résistance à la censure.

M. Ben-Sasson a expliqué Sierra comme "un aspect important pour garantir un réseau sans autorisation". De plus, la mise à niveau permet d'inclure les transactions annulées dans les blocs StarkNet, aidant ainsi le protocole à éviter d'ajouter des « mécanismes crypto-économiques » complexes. Il a déclaré que Sierra permettra à StarkNet "d'hériter de la résistance totale à la censure d'Ethereum" et protège principalement contre les attaques par déni de service de Sequencer.

Le blog de StarkNet a également mentionné que Cairo est le quatrième langage de contrat intelligent le plus populaire en termes de valeur totale verrouillée. Il a traité plus de 790 milliards de dollars de transactions, traité plus de 300 millions de transactions et émis plus de 90 millions de NFT, tous effectués hors chaîne et réglés sur Ethereum avec l'intégrité mathématique garantie par les preuves STARK.

"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évu dans les semaines à venir, introduira la possibilité de déployer et d'exécuter des contrats Cairo 1.0. La mise à niveau vers la v0.11.0 marquera le début de la période de transition vers un système qui n'exécute que les contrats Cairo 1.0 », selon StarkNet.

Nancy J. Allen est une passionnée de crypto et pense que les crypto-monnaies incitent les gens à être leurs propres banques et à s'éloigner des systèmes d'échange monétaire traditionnels. Elle est également intriguée par la technologie blockchain et son fonctionnement.

Derniers messages de Nancy J. Allen (voir tous)