Kakarot zkEVM : Machine virtuelle Ethereum innovante créée avec le langage Cairo

Kakarot zkEVM est une implémentation de Machine virtuelle Ethereum (EVM) écrite en langage Cairo. Cairo est un langage de programmation complet associé à CairoVM, tandis que 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. Cette caractéristique 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, le projet Kakarot prévoit d'offrir une interopérabilité avec le protocole Starknet, apportant une plus grande combinabilité aux protocoles dans divers domaines tels que DeFi et GameFi.

Feuille de route

Le projet Kakarot a été lancé en octobre 2022, dans un esprit d'open source, avec pour objectif de créer un zkEVM en moins de 10 000 lignes de code. Cet objectif ambitieux a été réalisé en seulement six 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 :

1. Kakarot zkEVM sur Starknet : introduit la Machine virtuelle Ethereum dans l'écosystème de Starknet, permettant aux développeurs de déployer directement des contrats intelligents écrits en Solidity (ou dans d'autres langages compatibles avec EVM) sur Starknet. Les utilisateurs peuvent interagir avec ces dApps en utilisant des outils familiers (comme Metamask), offrant une expérience similaire à celle sur Polygon ou Ethereum L1.

2. Kakarot x Madara - L3 zkEVMs : Intégrer Kakarot avec Madara pour réaliser des L3 zkEVMs, et potentiellement étendre à des niveaux supérieurs comme L4, L5, etc. Cela permettra aux équipes de déployer leurs propres chaînes d'applications zkEVM et d'utiliser des preuves d'efficacité pour régler les transactions sur Starknet. Cette approche peut séparer la sécurité et la décentralisation, en maintenant la sécurité de l'Ethereum L1 tout en améliorant l'efficacité en réduisant le nombre de validateurs.

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 Pedersen Merkle Patricia Trie (MPT) à Keccak MPT, Kakarot aspire à devenir un client Type 1 zkEVM capable de prouver les blocs L1. La mise en œuvre de cette phase est étroitement liée à l'évolution future d'Ethereum, en particulier aux changements de fonction de hachage qui pourraient être adoptés après la mise à niveau Verge.

Contexte de l'équipe

L'équipe centrale de Kakarot provient d'une activité de développement intensif à Lisbonne, où environ dix personnes ont construit un prototype zkEVM en une semaine. Actuellement, avec le soutien de la fondation Starknet et d'Onlydust, Kakarot compte plus de 40 contributeurs indépendants.

Les membres clés incluent :

• 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 multiple de scientifique, d'ingénieur et d'entrepreneur.

Situation de financement

Kakarot a terminé son tour de financement pré-seed, le montant exact n'a pas été divulgué. Les investisseurs incluent des institutions telles que Starkware et LambDa, ainsi que des investisseurs individuels célèbres comme Vitalik Buterin, Nicolas Bacca, co-fondateur de Ledger, et Rand Hindi, co-fondateur et CEO de ZAMA.

Perspectives du projet

Kakarot, en tant qu'implémentation EVM écrite en Cairo sur Starknet, devrait devenir un pont important reliant l'écosystème Starknet et l'écosystème Ethereum. Il abaisse le seuil d'entrée pour les développeurs sur Starknet tout en maintenant la compatibilité avec l'écosystème Ethereum. À mesure que le projet évolue vers les étapes suivantes, Kakarot réalisera un degré de modularité plus élevé, pouvant être utilisé en combinaison avec des composants modulaires tels que Celestia ou EigenDA.

Le développement de Kakarot est étroitement lié à l'écosystème de Starknet. Les mises à niveau continues de Starknet et l'amélioration de l'expérience utilisateur bénéficieront directement à Kakarot. En même temps, Kakarot contribuera également à la prospérité de l'écosystème de Starknet.

Obtenir le soutien de Vitalik Buterin et de StarkWare est un grand atout pour Kakarot, non seulement en termes de reconnaissance morale, mais aussi en termes de soutien financier.

Cependant, par rapport à d'autres projets ZK-EVM, Kakarot fait également face à des défis tels qu'une petite taille d'équipe, un budget limité et une notoriété de marque relativement faible. C'est aussi l'une des raisons pour lesquelles Kakarot se concentre actuellement sur l'écosystème Starknet plutôt que de se déployer en tant que zkEVM L2 général.

En tant que projet en phase précoce, le testnet de Kakarot sera bientôt lancé, ce qui mérite une attention particulière sur son développement futur.