Kakarot zkEVM : Machine virtuelle Ethereum construite avec le langage Cairo

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

Les caractéristiques de zkEVM sont qu'il peut générer des transactions et des blocs prouvables. Étant donné que Kakarot est construit sur CairoVM, chaque transaction exécutée dessus est prouvable.

Dans l'ensemble, Kakarot zkEVM utilise le langage Cairo et le système de preuve ZK-STARK pour offrir une capacité de calcul vérifiable. Il permet aux développeurs de déployer des applications EVM et permet aux utilisateurs d'interagir avec ces applications à l'aide d'outils courants.

De plus, Kakarot proposera l'interopérabilité avec le protocole Starknet, offrant une combinabilité aux protocoles dans différents domaines tels que DeFi et GameFi.

Feuille de route

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

La feuille de route de Kakarot zkEVM se divise en trois phases :

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

Kakarot zkEVM existera d'abord en tant qu'EVM intégré dans le L2 de Starknet. Les développeurs peuvent déployer des contrats intelligents en Solidity directement sur Starknet et utiliser des outils familiers. L'expérience utilisateur sera la même que sur Polygon, Scroll ou Ethereum L1.

2. Kakarot x Madara : L3 zkEVMs

Kakarot et Madara s'intégreront pour activer les zkEVM L3, ainsi que L4, L5, etc. Les équipes pourront déployer des chaînes d'applications zkEVM et utiliser des preuves de validité pour régler les transactions sur Starknet. Cette approche permet de découpler la sécurité et la décentralisation, tout en réduisant les coûts et en améliorant les performances.

3. Kakarot x Madara:type 1 zkEVM

   Si l'on peut écrire les règles de consensus d'Ethereum en Cairo et passer de Pedersen MPT à Keccak MPT, Kakarot pourrait devenir un client zkEVM de type 1, capable de prouver les blocs L1. Cela dépend de la feuille de route d'Ethereum, en particulier de la mise à niveau Verge.

Équipe

L'équipe principale de Kakarot est née d'un hackathon à Lisbonne. Il y a actuellement plus de 40 contributeurs.

Les principaux membres incluent :

• Elias Tazartes : cofondateur et PDG, se concentre sur l'ingénierie blockchain et le développement full stack
• Clément Walter : co-fondateur et CTO, scientifique, ingénieur et entrepreneur

Financement

Kakarot a terminé son financement de pré-amorçage, le montant exact n'a pas été publié. Les investisseurs comprennent Starkware, LambDa, ainsi que l'investisseur angel Vitalik Buterin, le co-fondateur de Ledger Nicolas Bacca et le co-fondateur de ZAMA Rand Hindi.

Résumé

Kakarot, en tant qu'implémentation EVM sur Starknet, peut bien connecter Starknet et l'écosystème Ethereum. Il abaisse le seuil de développement, permettant aux projets de l'écosystème Ethereum de se construire sur Starknet tout en maintenant la sécurité et les faibles coûts d'Ethereum.

Le développement de Kakarot est étroitement lié à l'écosystème Starknet. Il bénéficie du soutien de Vitalik Buterin et de StarkWare, ce qui est un atout. Cependant, par rapport à d'autres projets zkEVM, l'équipe de Kakarot est de plus petite taille, avec un budget et une notoriété de marque également plus faibles, ce qui est l'une des raisons pour lesquelles il n'est pas encore déployé en tant que zkEVM L2 universel.

Kakarot est encore à un stade précoce, le testnet sera bientôt publié. Le développement futur vaut la peine d'être suivi.