Kakarot : Machine virtuelle Ethereum écrite par Cairo
Kakarot zkEVM est une Machine virtuelle Ethereum (EVM) écrite en langage Cairo. Cairo est un langage Turing complet associé à CairoVM, qui 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 dessus, tandis que les utilisateurs finaux peuvent interagir avec les applications en utilisant des outils courants.
De plus, Kakarot offrira l'interopérabilité avec le protocole Starknet, offrant ainsi une combinabilité pour les protocoles dans des domaines tels que DeFi et GameFi.
Feuille de route
Le projet a débuté en octobre 2022, avec pour objectif de créer un zkEVM en open source avec moins de 10 000 lignes de code. Cet objectif a été atteint en six mois, et un lancement du testnet est prévu pour la fin de l'été 2023.
La feuille de route de Kakarot zkEVM est divisée en trois phases :
Kakarot zkEVM sur Starknet : introduire l'EVM dans Starknet
En tant que Machine virtuelle EVM intégrée à Starknet L2, les développeurs peuvent déployer directement des contrats intelligents Solidity en utilisant des outils familiers tels que Foundry, Hardhat, etc. L'expérience utilisateur sera la même qu'avec Polygon, Ethereum L1, etc.
Kakarot x Madara : L3 zkEVMs
Intégrer Kakarot et Madara, réaliser des zkEVMs L3, pouvant être étendus si nécessaire à L4, L5, etc. L'équipe peut déployer des chaînes d'applications zkEVM, en utilisant des preuves d'efficacité pour régler les transactions sur Starknet. Cette architecture L3 peut découpler la sécurité et la décentralisation, permettant aux utilisateurs de bénéficier de la sécurité d'Ethereum L1 sans nécessiter un niveau de décentralisation équivalent.
Kakarot x Madara : type 1 zkEVM
Si l'on peut écrire les règles de consensus d'Ethereum avec Cairo et passer de l'arbre de Merkle Patricia de Pedersen à l'arbre MPT Keccak, Kakarot deviendra un client zkEVM de type 1 capable de prouver les blocs L1. Cela dépend de la feuille de route d'Ethereum, en particulier du développement de la phase Verge.
Aperçu de l'équipe
L'équipe centrale de Kakarot est née d'un hackathon à Lisbonne. Actuellement, plus de 40 contributeurs participent au développement du projet.
Les membres principaux comprennent :
Elias Tazartes : co-fondateur et CEO, spécialisé dans l'ingénierie blockchain et le développement full stack.
Clément Walter : co-fondateur et CTO, avec un parcours de scientifique, d'ingénieur et d'entrepreneur.
Situation de financement
Kakarot a complété un financement de pré-amorçage, le montant exact n'a pas été divulgué. Les investisseurs comprennent Starkware, LambDa, etc. Les investisseurs providentiels incluent Vitalik Buterin, le co-fondateur de Ledger Nicolas Bacca et le co-fondateur de ZAMA Rand Hindi.
Évaluation du projet
Kakarot, en tant qu'implémentation EVM sur Starknet, peut efficacement connecter Starknet et l'écosystème Ethereum, réduisant ainsi le seuil de développement. Les étapes futures réaliseront plus de combinabilité, comme avec des modules tels que Celestia ou EigenDA.
Le projet est étroitement lié à l'écosystème Starknet, s'entraidant mutuellement. Recevoir le soutien de V et de StarkWare est un grand avantage. Cependant, par rapport à d'autres projets zkEVM, l'équipe de Kakarot est de petite taille, avec un budget et une notoriété plus faibles, ce qui est l'une des raisons pour lesquelles il n'a pas encore été déployé en tant que zkEVM L2 général.
Kakarot est encore à un stade précoce, le testnet sera bientôt lancé, il vaut la peine de suivre son développement.
Cette page peut inclure du contenu de tiers fourni à des fins d'information uniquement. Gate ne garantit ni l'exactitude ni la validité de ces contenus, n’endosse pas les opinions exprimées, et ne fournit aucun conseil financier ou professionnel à travers ces informations. Voir la section Avertissement pour plus de détails.
14 J'aime
Récompense
14
3
Partager
Commentaire
0/400
HackerWhoCares
· 07-25 13:18
L'avenir de ce projet est prometteur.
Voir l'originalRépondre0
NftMetaversePainter
· 07-25 13:18
omg enfin une implémentation zkvm digne de ce nom... l'élégance algorithmique est *chef's kiss*
Kakarot : le premier zkEVM basé sur Cairo apportera la compatibilité EVM à Starknet
Kakarot : Machine virtuelle Ethereum écrite par Cairo
Kakarot zkEVM est une Machine virtuelle Ethereum (EVM) écrite en langage Cairo. Cairo est un langage Turing complet associé à CairoVM, qui 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 dessus, tandis que les utilisateurs finaux peuvent interagir avec les applications en utilisant des outils courants.
De plus, Kakarot offrira l'interopérabilité avec le protocole Starknet, offrant ainsi une combinabilité pour les protocoles dans des domaines tels que DeFi et GameFi.
Feuille de route
Le projet a débuté en octobre 2022, avec pour objectif de créer un zkEVM en open source avec moins de 10 000 lignes de code. Cet objectif a été atteint en six mois, et un lancement du testnet est prévu pour la fin de l'été 2023.
La feuille de route de Kakarot zkEVM est divisée en trois phases :
Kakarot zkEVM sur Starknet : introduire l'EVM dans Starknet
En tant que Machine virtuelle EVM intégrée à Starknet L2, les développeurs peuvent déployer directement des contrats intelligents Solidity en utilisant des outils familiers tels que Foundry, Hardhat, etc. L'expérience utilisateur sera la même qu'avec Polygon, Ethereum L1, etc.
Kakarot x Madara : L3 zkEVMs
Intégrer Kakarot et Madara, réaliser des zkEVMs L3, pouvant être étendus si nécessaire à L4, L5, etc. L'équipe peut déployer des chaînes d'applications zkEVM, en utilisant des preuves d'efficacité pour régler les transactions sur Starknet. Cette architecture L3 peut découpler la sécurité et la décentralisation, permettant aux utilisateurs de bénéficier de la sécurité d'Ethereum L1 sans nécessiter un niveau de décentralisation équivalent.
Kakarot x Madara : type 1 zkEVM
Si l'on peut écrire les règles de consensus d'Ethereum avec Cairo et passer de l'arbre de Merkle Patricia de Pedersen à l'arbre MPT Keccak, Kakarot deviendra un client zkEVM de type 1 capable de prouver les blocs L1. Cela dépend de la feuille de route d'Ethereum, en particulier du développement de la phase Verge.
Aperçu de l'équipe
L'équipe centrale de Kakarot est née d'un hackathon à Lisbonne. Actuellement, plus de 40 contributeurs participent au développement du projet.
Les membres principaux comprennent :
Situation de financement
Kakarot a complété un financement de pré-amorçage, le montant exact n'a pas été divulgué. Les investisseurs comprennent Starkware, LambDa, etc. Les investisseurs providentiels incluent Vitalik Buterin, le co-fondateur de Ledger Nicolas Bacca et le co-fondateur de ZAMA Rand Hindi.
Évaluation du projet
Kakarot, en tant qu'implémentation EVM sur Starknet, peut efficacement connecter Starknet et l'écosystème Ethereum, réduisant ainsi le seuil de développement. Les étapes futures réaliseront plus de combinabilité, comme avec des modules tels que Celestia ou EigenDA.
Le projet est étroitement lié à l'écosystème Starknet, s'entraidant mutuellement. Recevoir le soutien de V et de StarkWare est un grand avantage. Cependant, par rapport à d'autres projets zkEVM, l'équipe de Kakarot est de petite taille, avec un budget et une notoriété plus faibles, ce qui est l'une des raisons pour lesquelles il n'a pas encore été déployé en tant que zkEVM L2 général.
Kakarot est encore à un stade précoce, le testnet sera bientôt lancé, il vaut la peine de suivre son développement.