Kakarot : solution zkEVM basée sur Cairo innovante

Kakarot zkEVM est une implémentation de la machine virtuelle Ethereum (EVM) écrite en langage Cairo. Cairo est un langage de programmation Turing-complet, étroitement lié à CairoVM. CairoVM utilise des polynômes et un système de preuve ZK-STARK pour réaliser des calculs vérifiables.

En tant que 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 permet aux développeurs de déployer des applications EVM, tandis que les utilisateurs peuvent interagir avec ces applications à l'aide d'outils courants. De plus, Kakarot offrira une interopérabilité avec le protocole Starknet, fournissant une combinabilité pour les protocoles dans des domaines tels que DeFi et GameFi.

Feuille de route

Le projet a débuté en octobre 2022, avec pour objectif de créer un zkEVM en open source avec moins de 10 000 lignes de code. Cet objectif ambitieux a été atteint en seulement six mois. Le lancement du testnet est prévu pour la fin de l'été 2023.

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

1. Kakarot zkEVM sur Starknet : introduire l'EVM dans Starknet

   En tant qu'EVM intégré à Starknet L2, les développeurs peuvent déployer directement des contrats intelligents Solidity( ou d'autres langages compatibles EVM) sur Starknet, en utilisant des outils familiers tels que Foundry, Hardhat, etc. L'expérience utilisateur sera identique à celle de Polygon, Scroll ou Ethereum L1.

2. Kakarot x Madara : L3 zkEVMs

Kakarot et Madara s'intègreront, prenant en charge les zkEVM L3 et des niveaux supérieurs. Les équipes pourront déployer des chaînes d'applications zkEVM, utilisant des preuves d'efficacité pour régler les transactions sur Starknet. Cette architecture L3 peut séparer la sécurité et la décentralisation, permettant aux utilisateurs de bénéficier de la sécurité de l'Ethereum L1 tout en réduisant les coûts de gaz.

3. Kakarot x Madara:type 1 zkEVM

   Si l'on peut écrire les règles de consensus Ethereum en Cairo et passer du MPT de Pedersen au MPT de Keccak, Kakarot deviendra un client zkEVM de type 1 pour des blocs L1 prouvables. Cela dépend de l'évolution future d'Ethereum, en particulier de la mise en œuvre de la phase Verge.

Équipe de base

L'équipe centrale de Kakarot provient d'un hackathon à Lisbonne où environ 10 personnes ont construit un prototype de zkEVM en une semaine. Actuellement, avec le soutien de la fondation Starknet et d'Onlydust, il y a déjà plus de 40 contributeurs.

Les membres clés incluent :

• Elias Tazartes : co-fondateur et CEO, se concentre sur l'ingénierie blockchain et le développement full stack
• Clément Walter : co-fondateur et CTO, ayant un parcours de scientifique, d'ingénieur et d'entrepreneur.

Situation de financement

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

Perspectives du projet

Kakarot, en tant qu'implémentation EVM sur Starknet, peut bien connecter Starknet et l'écosystème Ethereum, réduisant ainsi le seuil de développement. À l'avenir, il réalisera également plus de combinabilité, comme avec des combinaisons modulaires telles que Celestia.

En tant qu'élément important de l'écosystème Starknet, le développement de Kakarot est étroitement lié à Starknet. Le soutien de V God et de StarkWare est un atout, mais la petite taille de l'équipe et les ressources limitées sont également des inconvénients.

Contrairement aux autres zkEVM, Kakarot choisit de se concentrer sur l'écosystème Starknet plutôt que de déployer un L2 indépendant. Le projet est encore à un stade précoce, le testnet sera bientôt lancé, et il mérite d'être suivi de près dans son développement.