Kakarot : Machine virtuelle Ethereum basée sur 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 un système de preuves ZK-STARK pour réaliser des calculs prouvables.
En tant qu'implémentation de 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. Dans l'ensemble, Kakarot zkEVM utilise le langage Cairo et le système de preuve ZK-STARK pour fournir des capacités de calcul vérifiables, permettant aux développeurs de déployer des applications EVM dessus et permettant aux utilisateurs d'interagir avec ces applications à l'aide d'outils courants.
De plus, Kakarot offrira l'interopérabilité avec le protocole Starknet, fournissant une combinabilité pour les protocoles dans différents domaines tels que DeFi et GameFi.
Feuille de route
Ce projet a commencé en octobre 2022, avec pour objectif principal de créer un zkEVM en open source avec moins de 10 000 lignes de code. Cet objectif a été atteint en seulement 6 mois et le lancement du réseau de test 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 : apporter l'EVM à Starknet
À ce stade, Kakarot zkEVM sera intégré en tant qu'EVM dans le L2 de Starknet. Les développeurs pourront déployer directement des contrats intelligents Solidity( ou tout autre langage compatible avec l'EVM) sur Starknet, en utilisant 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 seront intégrés en une pile unifiée pour activer les zkEVM L3, et pourront être étendus aux L4, L5, etc. si nécessaire. Les équipes peuvent déployer des chaînes d'applications zkEVM, en utilisant des preuves de validité pour régler les transactions sur Starknet. Cette méthode permet de réduire les coûts de gas, d'améliorer les performances, tout en maintenant la sécurité.
Kakarot x Madara:type 1 zkEVM
Si les deux points suivants peuvent être réalisés, Kakarot deviendra un client zkEVM de type 1, capable de prouver les blocs L1 :
Écrire des règles de consensus Ethereum avec Cairo
Passer de l'MPT de Pedersen à l'MPT de Keccak
C'est un cas d'utilisation plus avancé, dépendant de la feuille de route d'Ethereum, en particulier de la mise à niveau Verge.
Équipe
L'équipe centrale de Kakarot est née lors d'un hackathon à Lisbonne, où environ 10 personnes ont construit un zkEVM en une semaine. Actuellement, avec le soutien de la fondation Starknet et d'Onlydust, Kakarot compte plus de 40 contributeurs uniques.
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, scientifique et ingénieur expert dans plusieurs domaines.
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 incluent le fondateur d'Ethereum, Vitalik Buterin, le co-fondateur de Ledger, Nicolas Bacca, et le co-fondateur et PDG de ZAMA, Rand Hindi.
Résumé
Kakarot, en tant qu'implémentation EVM écrite en Cairo sur Starknet, connecte efficacement Starknet et l'écosystème Ethereum. Il réduit les barrières à l'entrée pour le développement, permettant aux projets de l'écosystème Ethereum de se construire sur Starknet, tout en maintenant la sécurité et en réduisant les coûts. Les étapes futures permettront d'atteindre plus de modularité, comme avec des combinaisons modulaires telles que Celestia ou EigenDA.
Le développement de Kakarot est étroitement lié à l'écosystème Starknet. Il bénéficie du soutien de Vitalik Buterin et de StarkWare, ce qui est un grand avantage. Cependant, par rapport à d'autres projets zkEVM, l'équipe de Kakarot est plus petite, avec un budget et une notoriété de marque plus faibles, ce qui est également l'une des raisons pour lesquelles il n'est pas encore déployé en tant que zkEVM L2 universel.
Kakarot est actuellement en phase précoce, avec le lancement de la testnet qui approche. Bien qu'il fasse face à des défis, son positionnement unique et son fort soutien lui confèrent un potentiel dans le domaine du zkEVM. À mesure que le projet évolue, il mérite d'être suivi de près.
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.
10 J'aime
Récompense
10
3
Partager
Commentaire
0/400
gas_fee_therapist
· Il y a 5h
Eh bien, Starknet a vraiment investi là-dedans.
Voir l'originalRépondre0
NFTArchaeologis
· Il y a 5h
Une fois de plus, l'ère numérique des trésors archéologiques se manifeste, étudiant avec appréhension le texte source de cette Machine virtuelle.
Voir l'originalRépondre0
MemeKingNFT
· Il y a 6h
Étoiles et lune chute complète de l'or ZK à découvrir ? To the moon Turing complet signifie vie infinie a gagné gros
Kakarot : une implémentation de Cairo sur Starknet connectant deux grands écosystèmes EVM
Kakarot : Machine virtuelle Ethereum basée sur 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 un système de preuves ZK-STARK pour réaliser des calculs prouvables.
En tant qu'implémentation de 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. Dans l'ensemble, Kakarot zkEVM utilise le langage Cairo et le système de preuve ZK-STARK pour fournir des capacités de calcul vérifiables, permettant aux développeurs de déployer des applications EVM dessus et permettant aux utilisateurs d'interagir avec ces applications à l'aide d'outils courants.
De plus, Kakarot offrira l'interopérabilité avec le protocole Starknet, fournissant une combinabilité pour les protocoles dans différents domaines tels que DeFi et GameFi.
Feuille de route
Ce projet a commencé en octobre 2022, avec pour objectif principal de créer un zkEVM en open source avec moins de 10 000 lignes de code. Cet objectif a été atteint en seulement 6 mois et le lancement du réseau de test 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 : apporter l'EVM à Starknet
À ce stade, Kakarot zkEVM sera intégré en tant qu'EVM dans le L2 de Starknet. Les développeurs pourront déployer directement des contrats intelligents Solidity( ou tout autre langage compatible avec l'EVM) sur Starknet, en utilisant 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 seront intégrés en une pile unifiée pour activer les zkEVM L3, et pourront être étendus aux L4, L5, etc. si nécessaire. Les équipes peuvent déployer des chaînes d'applications zkEVM, en utilisant des preuves de validité pour régler les transactions sur Starknet. Cette méthode permet de réduire les coûts de gas, d'améliorer les performances, tout en maintenant la sécurité.
Kakarot x Madara:type 1 zkEVM
Si les deux points suivants peuvent être réalisés, Kakarot deviendra un client zkEVM de type 1, capable de prouver les blocs L1 :
C'est un cas d'utilisation plus avancé, dépendant de la feuille de route d'Ethereum, en particulier de la mise à niveau Verge.
Équipe
L'équipe centrale de Kakarot est née lors d'un hackathon à Lisbonne, où environ 10 personnes ont construit un zkEVM en une semaine. Actuellement, avec le soutien de la fondation Starknet et d'Onlydust, Kakarot compte plus de 40 contributeurs uniques.
Les membres clés comprennent :
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 incluent le fondateur d'Ethereum, Vitalik Buterin, le co-fondateur de Ledger, Nicolas Bacca, et le co-fondateur et PDG de ZAMA, Rand Hindi.
Résumé
Kakarot, en tant qu'implémentation EVM écrite en Cairo sur Starknet, connecte efficacement Starknet et l'écosystème Ethereum. Il réduit les barrières à l'entrée pour le développement, permettant aux projets de l'écosystème Ethereum de se construire sur Starknet, tout en maintenant la sécurité et en réduisant les coûts. Les étapes futures permettront d'atteindre plus de modularité, comme avec des combinaisons modulaires telles que Celestia ou EigenDA.
Le développement de Kakarot est étroitement lié à l'écosystème Starknet. Il bénéficie du soutien de Vitalik Buterin et de StarkWare, ce qui est un grand avantage. Cependant, par rapport à d'autres projets zkEVM, l'équipe de Kakarot est plus petite, avec un budget et une notoriété de marque plus faibles, ce qui est également l'une des raisons pour lesquelles il n'est pas encore déployé en tant que zkEVM L2 universel.
Kakarot est actuellement en phase précoce, avec le lancement de la testnet qui approche. Bien qu'il fasse face à des défis, son positionnement unique et son fort soutien lui confèrent un potentiel dans le domaine du zkEVM. À mesure que le projet évolue, il mérite d'être suivi de près.