Kakarot zkEVM : implémentation de la Machine virtuelle Ethereum en langage Cairo

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

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. Cela permet aux développeurs de déployer des applications EVM sur Kakarot, tout en permettant aux utilisateurs d'interagir avec ces applications à l'aide d'outils familiers.

De plus, Kakarot prévoit également de fournir l'interopérabilité avec le protocole Starknet, offrant ainsi de la combinabilité pour les protocoles dans différents domaines tels que DeFi et GameFi.

Feuille de route

Le projet Kakarot a été lancé en octobre 2022, avec l'ambitieux objectif de créer un zkEVM en moins de 10 000 lignes de code. Cet objectif a été atteint en seulement six mois. Le projet prévoit de lancer le testnet à la fin de l'été 2023.

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

1. Kakarot zkEVM sur Starknet : introduire l'EVM dans l'écosystème Starknet.

2. Kakarot x Madara : réaliser des zkEVM L3, permettant à l'équipe de déployer sa propre chaîne d'applications zkEVM.

3. Kakarot x Madara : réaliser un zkEVM de type 1, capable de prouver les blocs L1 d'Ethereum.

Contexte de l'équipe

L'équipe centrale de Kakarot est née lors d'un hackathon à Lisbonne, où une dizaine de personnes ont construit un prototype de zkEVM en une semaine. Aujourd'hui, avec le soutien de la fondation Starknet et d'Onlydust, Kakarot compte plus de 40 contributeurs uniques.

Les membres clés incluent :

• Elias Tazartes : cofondateur et PDG, spécialisé dans l'ingénierie blockchain et le développement full stack.
• Clément Walter : cofondateur et CTO, ayant un parcours multiple 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 comprennent Starkware et LambDa. Les investisseurs providentiels incluent le 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, a le potentiel de devenir un pont important entre Starknet et l'écosystème Ethereum. Il peut réduire la barrière à l'entrée pour les développeurs tout en maintenant la sécurité d'Ethereum et en réduisant les coûts.

Cependant, le développement de Kakarot est également étroitement lié au destin de Starknet. Le développement continu de Starknet est crucial pour Kakarot. Bien qu'il bénéficie du soutien de Vitalik et de StarkWare, l'équipe de Kakarot est plus petite en comparaison avec d'autres projets zkEVM, avec un budget et une notoriété de marque plus faibles, ce qui est également l'une des raisons pour lesquelles il n'est pas encore déployé en tant que zkEVM L2 universel.

Le projet Kakarot est encore à un stade précoce, et son réseau de test sera bientôt lancé. Au fur et à mesure de l'avancement du projet, il a le potentiel d'apporter une valeur importante à l'écosystème Starknet, mais son succès dépend également de l'interaction de plusieurs facteurs.