Kakarot zkEVM: Machine virtuelle Ethereum innovante construite avec le langage Cairo

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

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, tandis que les utilisateurs peuvent interagir avec ces applications en utilisant des outils familiers.

Kakarot offrira également une interopérabilité avec le protocole Starknet, fournissant de la combinabilité pour les protocoles dans des domaines tels que DeFi et GameFi.

Plan de développement

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

La feuille de route de Kakarot zkEVM se divise en trois étapes :

1. Kakarot zkEVM sur Starknet : Introduire l'EVM sur Starknet

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

2. Kakarot x Madara : L3 zkEVMs

   Kakarot s'intégrera avec Madara pour réaliser des L3 zkEVMs. Les équipes peuvent déployer leur propre chaîne d'applications zkEVM, utilisant des preuves d'efficacité pour régler les transactions sur Starknet. Cette solution L3 peut réduire les exigences de décentralisation tout en maintenant la sécurité de l'Ethereum L1, ce qui réduit considérablement les coûts de gas et améliore les performances.

3. Kakarot x Madara : type 1 zkEVM

   En écrivant les règles de consensus Ethereum avec Cairo dans le nœud complet Madara x Kakarot, et en passant de l'MPT de Pedersen à l'MPT de Keccak, Kakarot espère devenir un client zkEVM de type 1, capable de prouver des blocs L1. La réalisation de ce cas d'utilisation avancé dépend de la feuille de route de développement d'Ethereum.

Composition de l'équipe

L'équipe principale de Kakarot provient d'un événement de hackathon, où environ 10 personnes ont construit un prototype zkEVM en une semaine. Actuellement, avec le soutien de la fondation Starknet et d'Onlydust, plus de 40 contributeurs participent au développement du projet.

Les membres clés comprennent :

• Elias Tazartes : co-fondateur et PDG, spécialisé dans 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 complété un tour de financement pré-seed, le montant exact n'ayant pas été rendu public. Les investisseurs comprennent des institutions telles que Starkware, LambDa, ainsi que des investisseurs providentiels tels que Vitalik Buterin, le co-fondateur de Ledger Nicolas Bacca et le PDG de ZAMA Rand Hindi.

Analyse des perspectives du projet

Kakarot, en tant qu'implémentation EVM sur Starknet, devrait devenir un pont important reliant Starknet et l'écosystème Ethereum. Il peut réduire le seuil d'entrée des développeurs dans Starknet tout en offrant aux utilisateurs une expérience Ethereum familière.

Les avantages du projet incluent :

1. Lié étroitement à l'écosystème Starknet, bénéfice mutuel
2. Obtenir le soutien de personnalités importantes de l'industrie comme Vitalik Buterin et StarkWare
3. Conception modulaire, pouvant être combinée avec d'autres solutions Layer 2

Défis à relever :

1. L'équipe est de petite taille, les ressources sont limitées.
2. Le projet est encore à un stade précoce, il faut du temps pour le valider.
3. Dépendant du développement de Starknet, il existe un certain risque.

Dans l'ensemble, Kakarot représente une direction innovante pour la technologie zkEVM, promettant d'apporter plus de possibilités à l'écosystème Starknet. Avec le lancement imminent du testnet, la performance réelle du projet mérite d'être suivie.