Kakarot zkEVM : Machine virtuelle Ethereum écrite en Cairo
Kakarot zkEVM est une machine virtuelle Ethereum (EVM) écrite en langage Cairo. Cairo est un langage complet de Turing associé à CairoVM, qui utilise des polynômes et un système de preuve ZK-STARK pour réaliser des calculs prouvables.
Les caractéristiques de zkEVM sont sa capacité à générer des transactions et des blocs prouvables. Kakarot est construit sur CairoVM, donc chaque transaction exécutée dessus est prouvable. Dans l'ensemble, Kakarot zkEVM utilise le système de preuve ZK-STARK pour offrir des capacités de calcul prouvables. Il permet aux développeurs de déployer des applications EVM et permet aux utilisateurs d'interagir avec ces applications à l'aide d'outils familiers.
De plus, Kakarot offrira l'interopérabilité avec le protocole Starknet, apportant de la combinabilité aux protocoles dans des domaines tels que DeFi et GameFi.
Feuille de route
Le projet a débuté en octobre 2022, avec pour objectifs l'open source dès le départ et la création d'un zkEVM en moins de 10 000 lignes de code. Cet objectif a été atteint en seulement six mois. Le réseau de test est prévu pour être lancé à la fin de l'été 2023.
Le développement de Kakarot zkEVM se divise en trois phases :
Kakarot zkEVM sur Starknet - Introduire l'EVM dans Starknet
À ce stade, Kakarot zkEVM existera en tant que Machine virtuelle intégrée dans le L2 de Starknet. Les développeurs pourront déployer directement des contrats intelligents Solidity (ou tout autre langage compatible EVM) sur Starknet et utiliser des outils familiers. L'expérience utilisateur sera la même que sur Polygon, Scroll ou Ethereum L1.
Kakarot x Madara - L3 zkEVMs
Kakarot et Madara vont s'intégrer pour réaliser des zkEVM L3, pouvant être étendus si nécessaire aux L4, L5, etc. L'équipe peut déployer des chaînes d'applications zkEVM, 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, tout en réduisant les coûts et en améliorant les performances.
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 la Merkle Patricia Trie de Pedersen (MPT) à la MPT Keccak, Kakarot espère devenir un client zkEVM de type 1 capable de prouver les blocs L1. La réalisation de cet objectif dépend de la feuille de route de développement d'Ethereum, en particulier de la phase Verge.
Contexte de l'équipe
L'équipe principale de Kakarot est née d'un hackathon à Lisbonne, où environ dix personnes ont construit un prototype de zkEVM en une semaine. Actuellement, avec le soutien de la fondation Starknet et d'Onlydust, Kakarot compte plus de 40 contributeurs.
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 : cofondateur et CTO, ayant un parcours de scientifique, d'ingénieur et d'entrepreneur.
Situation de financement
Kakarot a terminé son financement de pré-amorçage, le montant exact n'a pas été divulgué. Les investisseurs comprennent des institutions comme Starkware, LambDa, ainsi que des investisseurs providentiels tels que Vitalik Buterin, Nicolas Bacca, co-fondateur de Ledger, et Rand Hindi, co-fondateur et PDG de ZAMA.
Perspectives du projet
Kakarot, en tant qu'implémentation EVM sur Starknet, devrait devenir un pont important entre Starknet et l'écosystème Ethereum. Il peut réduire les barrières à l'entrée pour les développeurs, facilitant ainsi la construction de projets de l'écosystème Ethereum sur Starknet, tout en maintenant la sécurité d'Ethereum et en réduisant les coûts.
Le développement de Kakarot est étroitement lié à l'écosystème de Starknet. Avec les mises à jour constantes de Starknet améliorant l'expérience utilisateur, Kakarot devrait contribuer à la prospérité de l'écosystème. Cependant, le succès de Kakarot dépend également dans une certaine mesure du développement de Starknet.
Obtenir le soutien de Vitalik Buterin et StarkWare est un grand atout pour Kakarot. Cependant, par rapport à d'autres projets zkEVM, l'équipe de Kakarot est plus petite, 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 général.
En tant que projet en phase précoce, le développement de Kakarot mérite une attention continue. Le lancement imminent du testnet sera un point important pour observer sa force technique et son potentiel écologique.
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.
15 J'aime
Récompense
15
4
Partager
Commentaire
0/400
FloorSweeper
· 08-05 17:27
eh encore du buzz zk... parie mes 500 eth que ça ne survivra pas au marché baissier smh
Kakarot zkEVM : Machine virtuelle Ethereum créée avec le langage Cairo, connectant Starknet et l'écosystème Ethereum.
Kakarot zkEVM : Machine virtuelle Ethereum écrite en Cairo
Kakarot zkEVM est une machine virtuelle Ethereum (EVM) écrite en langage Cairo. Cairo est un langage complet de Turing associé à CairoVM, qui utilise des polynômes et un système de preuve ZK-STARK pour réaliser des calculs prouvables.
Les caractéristiques de zkEVM sont sa capacité à générer des transactions et des blocs prouvables. Kakarot est construit sur CairoVM, donc chaque transaction exécutée dessus est prouvable. Dans l'ensemble, Kakarot zkEVM utilise le système de preuve ZK-STARK pour offrir des capacités de calcul prouvables. Il permet aux développeurs de déployer des applications EVM et permet aux utilisateurs d'interagir avec ces applications à l'aide d'outils familiers.
De plus, Kakarot offrira l'interopérabilité avec le protocole Starknet, apportant de la combinabilité aux protocoles dans des domaines tels que DeFi et GameFi.
Feuille de route
Le projet a débuté en octobre 2022, avec pour objectifs l'open source dès le départ et la création d'un zkEVM en moins de 10 000 lignes de code. Cet objectif a été atteint en seulement six mois. Le réseau de test est prévu pour être lancé à la fin de l'été 2023.
Le développement de Kakarot zkEVM se divise en trois phases :
Kakarot zkEVM sur Starknet - Introduire l'EVM dans Starknet
À ce stade, Kakarot zkEVM existera en tant que Machine virtuelle intégrée dans le L2 de Starknet. Les développeurs pourront déployer directement des contrats intelligents Solidity (ou tout autre langage compatible EVM) sur Starknet et utiliser des outils familiers. L'expérience utilisateur sera la même que sur Polygon, Scroll ou Ethereum L1.
Kakarot x Madara - L3 zkEVMs
Kakarot et Madara vont s'intégrer pour réaliser des zkEVM L3, pouvant être étendus si nécessaire aux L4, L5, etc. L'équipe peut déployer des chaînes d'applications zkEVM, 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, tout en réduisant les coûts et en améliorant les performances.
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 la Merkle Patricia Trie de Pedersen (MPT) à la MPT Keccak, Kakarot espère devenir un client zkEVM de type 1 capable de prouver les blocs L1. La réalisation de cet objectif dépend de la feuille de route de développement d'Ethereum, en particulier de la phase Verge.
Contexte de l'équipe
L'équipe principale de Kakarot est née d'un hackathon à Lisbonne, où environ dix personnes ont construit un prototype de zkEVM en une semaine. Actuellement, avec le soutien de la fondation Starknet et d'Onlydust, Kakarot compte plus de 40 contributeurs.
Les membres clés incluent :
Situation de financement
Kakarot a terminé son financement de pré-amorçage, le montant exact n'a pas été divulgué. Les investisseurs comprennent des institutions comme Starkware, LambDa, ainsi que des investisseurs providentiels tels que Vitalik Buterin, Nicolas Bacca, co-fondateur de Ledger, et Rand Hindi, co-fondateur et PDG de ZAMA.
Perspectives du projet
Kakarot, en tant qu'implémentation EVM sur Starknet, devrait devenir un pont important entre Starknet et l'écosystème Ethereum. Il peut réduire les barrières à l'entrée pour les développeurs, facilitant ainsi la construction de projets de l'écosystème Ethereum sur Starknet, tout en maintenant la sécurité d'Ethereum et en réduisant les coûts.
Le développement de Kakarot est étroitement lié à l'écosystème de Starknet. Avec les mises à jour constantes de Starknet améliorant l'expérience utilisateur, Kakarot devrait contribuer à la prospérité de l'écosystème. Cependant, le succès de Kakarot dépend également dans une certaine mesure du développement de Starknet.
Obtenir le soutien de Vitalik Buterin et StarkWare est un grand atout pour Kakarot. Cependant, par rapport à d'autres projets zkEVM, l'équipe de Kakarot est plus petite, 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 général.
En tant que projet en phase précoce, le développement de Kakarot mérite une attention continue. Le lancement imminent du testnet sera un point important pour observer sa force technique et son potentiel écologique.