Zero-knowledge (ZK) StarkWare, une entreprise spécialisée dans la technologie roll-up, a publié une version open source de son compilateur de langage de programmation Cairo 1.0, qui sera intégrée à la solution de mise à l'échelle de couche 2 d'Ethereum, StarkNet, au premier trimestre 2023. .
Annonce sur Twitter de StarkWare
La société derrière StarkNet, StarkWare, a tweeté l'annonce le 25 novembre. La technologie de cumul et les preuves récursives de StarkWare peuvent réduire des millions de transactions L2 à une seule transaction Ethereum. Pourtant, l'entreprise a été critiquée pour avoir conservé le contrôle de sa propriété intellectuelle, notamment par ses concurrents plus open source, zkSync.
StarkWare a qualifié l'open source Cairo de « étape importante » dans ses efforts visant à fournir plus de puissance et d'IP à sa communauté de développeurs. Le langage de programmation Cairo a été développé pour tirer parti des cumuls zk et des preuves de validité.
StarkWare a annoncé que les développeurs peuvent désormais compiler et exécuter des applications rudimentaires de Cairo 1.0 jusqu'à ce qu'elles soient activement prises en charge sur StarkNet au premier trimestre 2023. L'ancien développeur principal d'Ethereum et actuel chef de l'équipe d'exploration de Starkware, Abdelhamid Bakhta, affirme qu'une fois Cairo 1.0 publié, le développement des fonctionnalités peut être plus rapide et la participation de la communauté peut augmenter.
À partir de Cairo 1.0, nous continuerons à publier la pile technologique StarkNet en open source. Nous faisons cela pour que StarkNet puisse devenir le genre d’avantage public que tout le monde peut utiliser et que les communautés peuvent constamment améliorer, a-t-il expliqué.
Une fois Cairo 1.0 publié, les développeurs de blockchain pourront développer et publier des contrats intelligents sur StarkNet, a déclaré l'équipe sur Medium :
« En un mot, cela maximise notre degré d'ouverture avec notre code et la façon dont nous l'écrivons. De plus, il améliore la capacité du réseau à détecter les problèmes et à améliorer le compilateur. Ce sentiment d’engagement communautaire ne fera qu’augmenter à mesure que de plus en plus de technologies deviennent open source.
StarkWare a expliqué cela en raison de la capacité de Cairo 1.0 à rendre chaque calcul « prouvable ». En conséquence, les fonctionnalités de résistance à la censure de StarkNet seront améliorées et il sera mieux placé pour réagir aux attaques par déni de service. Certains des projets Web3 alimentés par la pile technologique STARK de StarkWare incluent la plate-forme DEX dYdX, la plate-forme NFT Immutable X et le protocole d'interconnexion blockchain Celer Network.
StarkNet accélère sa solution EVM
Bien que Cairo ne soit pas une implémentation native d'EVM (Ethereum Virtual Machine), StarkNet a tenté sa chance pour accélérer sa solution (EVM). La société d'outils logiciels Ethereum Nethermind a développé un transpileur nommé Warp pour traduire la programmation Solidity en code Cairo.
En attendant, le réseau principal de zkSync, un concurrent également compatible avec EVM, sort. Même s'il s'agit de la voie la plus difficile, Eli Ben-Sasson, PDG de StarkWare, a récemment déclaré que l'adoption d'un langage de codage personnalisé comme Cairo, contrairement à Solidity, est la seule option réaliste pour tirer pleinement parti de la mise à l'échelle Ethereum autorisée par ZK Rollups :
«Je parierais qu'Ethereum ne mettra jamais en œuvre un ZK EVM à part entière capable d'intégrer un milliard de transactions en une seule preuve. Comme nous le faisons depuis longtemps et que nous disposons aujourd’hui de la technologie pour le faire. Dans le même ordre d’idées, le 17 novembre, Starkware a lancé le tout nouveau jeton StarkNet (STRK) sur Ethereum, qui peut être mis en jeu, voté et utilisé pour couvrir le coût du réseau.