Kakarot : un projet Zk-EVM innovant

Kakarot zkEVM est une implémentation de la machine virtuelle Ethereum écrite en langage Cairo. Cairo est un langage Turing 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 prouvable. 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.

De plus, Kakarot offrira une interopérabilité avec le protocole Starknet, permettant la composition des protocoles dans des domaines tels que DeFi et GameFi.

Plan de développement

Le projet Kakarot a été lancé 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 le lancement du réseau de test est prévu pour la fin de l'été 2023.

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

1. Implémenter la fonctionnalité EVM sur Starknet, permettant aux développeurs de déployer directement des contrats intelligents Solidity sur Starknet, et aux utilisateurs d'interagir avec des outils et des dApps courants.

2. Intégration avec Madara pour réaliser des zkEVMs L3. L'équipe peut déployer des chaînes d'applications zkEVM, utilisant des preuves de validité pour régler les transactions sur Starknet. Cette étape permet de découpler la sécurité et la décentralisation, tout en réduisant les coûts de gaz et en augmentant le TPS.

3. Combiner Madara pour réaliser un zkEVM de type 1. Si les règles de consensus Ethereum peuvent être écrites en Cairo et que l'on passe à Keccak MPT, Kakarot deviendra un client zkEVM de type 1 pouvant prouver des blocs L1.

Contexte de l'équipe

L'équipe centrale de Kakarot est née d'un hackathon à Lisbonne. Elle compte actuellement plus de 40 contributeurs et a reçu le soutien de la fondation Starknet et d'Onlydust.

Les membres clés incluent :

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

Situation de financement

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

Avantages et défis du projet

Kakarot, en tant qu'implémentation EVM sur Starknet, connecte bien Starknet et l'écosystème Ethereum, réduisant ainsi les barrières au développement. Il est étroitement lié à l'écosystème Starknet, et leur développement futur s'influencera mutuellement.

Le projet a reçu le soutien de Vitalik et de StarkWare, ce qui est un grand avantage. Cependant, par rapport à d'autres zkEVM, l'équipe de Kakarot est plus petite, avec moins de financement et de notoriété de marque, ce qui constitue un défi actuel.

Kakarot est encore à un stade précoce, le testnet sera bientôt lancé. Au fur et à mesure que le projet progresse, il devrait apporter plus de possibilités à l'écosystème Starknet et Ethereum.