Kakarot : un projet innovant de zkEVM développé en langage Cairo

Kakarot zkEVM est une implémentation de la machine virtuelle Ethereum (EVM) écrite en langage Cairo. Cairo est un langage de programmation Turing-complet associé à CairoVM, qui permet le calcul vérifiable par le biais de systèmes de preuve polynomiale et ZK-STARK.

En tant que type de zkEVM, Kakarot peut générer des transactions et des blocs vérifiables. Étant construit sur CairoVM, chaque transaction exécutée sur Kakarot est vérifiable. Kakarot zkEVM utilise le langage Cairo et le système de preuve ZK-STARK pour offrir des capacités de calcul vérifiables, permettant aux développeurs de déployer des applications EVM dessus et aux utilisateurs d'interagir avec ces applications à l'aide d'outils familiers.

De plus, le projet Kakarot prévoit d'offrir une interopérabilité avec le protocole Starknet, apportant de la composabilité aux protocoles dans divers domaines tels que DeFi et GameFi.

Feuille de route

Le projet a commencé en octobre 2022, avec pour principaux objectifs le développement open source et la création d'un zkEVM avec moins de 10 000 lignes de code. Cet objectif a été atteint en 6 mois, et un lancement de testnet est prévu pour la fin de l'été 2023.

Le développement de Kakarot zkEVM se divise en trois phases :

Étape 1 : Construire un environnement EVM sur Starknet

Kakarot zkEVM sera d'abord intégré en tant qu'EVM dans Starknet L2, permettant aux développeurs de déployer directement des contrats intelligents en Solidity( ou dans d'autres langages compatibles EVM) sur Starknet, tout en utilisant des outils de développement familiers. Les utilisateurs peuvent interagir avec des dApps via des portefeuilles courants, et l'expérience sera similaire à celle sur Polygon, Scroll ou Ethereum L1.

Phase 2 : Intégration avec Madara, réalisation du L3 zkEVM

Kakarot et Madara seront intégrés en une pile technologique unifiée pour activer le zkEVM L3, et pourront être étendus aux niveaux L4, L5, etc. si nécessaire. Les équipes peuvent déployer leur propre chaîne d'application zkEVM, utilisant des preuves de validité pour régler les transactions sur Starknet. Cette structure L3 permet de dissocier la sécurité et la décentralisation, les utilisateurs pouvant bénéficier de la sécurité de l'Ethereum L1 tout en réduisant la dépendance à un grand nombre de nœuds de validation.

Cette architecture peut réduire considérablement les coûts de gas et améliorer les performances. Pour une optimisation supplémentaire, la vérification des preuves et la disponibilité des données (DA) peuvent être séparées. Starknet L2 peut servir de couche de vérification des preuves, tandis que de nouvelles solutions de DA comme Celestia ou EigenDA peuvent être utilisées pour publier des données de transaction.

Phase trois : réalisation du type 1 zkEVM

En écrivant les règles de consensus Ethereum en Cairo dans le nœud complet Madara x Kakarot, et en passant de l'arbre Merkle Patricia de Pedersen(MPT) à l'arbre MPT Keccak, Kakarot espère devenir un client zkEVM de type 1, capable de valider les blocs L1. La réalisation de cet objectif dépend de la feuille de route de développement d'Ethereum, en particulier de la mise à niveau Verge. Après la mise à niveau Verge, keccak pourrait être remplacé par poseidon comme fonction de hachage préférée d'Ethereum, ce qui aidera l'équipe zkEVM à réaliser la compatibilité de type 1.

Composition de l'équipe

L'équipe centrale de Kakarot est née lors d'un hackathon à Lisbonne, où environ 10 personnes ont construit un prototype de zkEVM en une semaine. Actuellement, avec le soutien de la Starknet Foundation et d'Onlydust, Kakarot compte plus de 40 contributeurs indépendants.

Les membres clés incluent :

• Elias Tazartes : co-fondateur et CEO, spécialiste en ingénierie blockchain et développement full stack.
• Clément Walter : cofondateur et CTO, avec un parcours multifacette de scientifique, d'ingénieur et d'entrepreneur.

Situation de financement

Kakarot a terminé son financement de pré-amorçage, le montant exact n'a pas été divulgué. Les investisseurs incluent Starkware et LambDa. Les investisseurs providentiels comprennent le cofondateur d'Ethereum Vitalik Buterin, le cofondateur de Ledger Nicolas Bacca et le cofondateur et CEO de ZAMA Rand Hindi.

Perspectives du projet

Kakarot, en tant qu'EVM écrit en Cairo sur Starknet, devrait devenir un pont important connectant Starknet et l'écosystème Ethereum. Il peut réduire la barrière à l'entrée pour les développeurs, rendant les projets de l'écosystème Ethereum plus faciles à construire sur Starknet, tout en maintenant la sécurité d'Ethereum et en réduisant les coûts.

Le développement de Kakarot est étroitement lié à l'écosystème Starknet. Alors que Starknet continue d'évoluer pour améliorer l'expérience utilisateur, le zkEVM construit par Kakarot contribuera également à la prospérité de l'écosystème. Cependant, l'état de développement de Starknet influencera également directement les perspectives de Kakarot.

Obtenir le soutien de Vitalik Buterin et de StarkWare est un grand atout pour Kakarot, cela se manifeste non seulement sur le plan moral, mais aussi par un soutien financier.

Comparé à d'autres projets zkEVM, Kakarot fait face à des défis tels qu'une petite taille d'équipe, un budget et une notoriété plus faibles, ce qui est également l'une des raisons pour lesquelles il n'est pas encore déployé en tant que zkEVM L2 général.

Le projet Kakarot n’en est qu’à ses débuts et le testnet est sur le point d’être lancé, il vaut donc la peine de garder un œil sur la façon dont il se développe.