Kakarot zkEVM : AppChain prouvé construit avec Cairo

robot
Création du résumé en cours

Kakarot zkEVM : Machine virtuelle Ethereum créée avec Cairo

Kakarot zkEVM est une Machine virtuelle Ethereum (EVM) écrite en langage Cairo. Cairo est un langage complet de Turing associé à CairoVM. CairoVM utilise des polynômes et un système de preuve ZK-STARK pour réaliser des calculs prouvables.

Les caractéristiques de zkEVM sont qu'il peut 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 langage Cairo et le système de preuve ZK-STARK pour offrir des capacités de calcul vérifiables. 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.

Kakarot : un Zk-EVM que Vitalik Buterin trouve cool et dans lequel il a investi

Feuille de route

Ce projet a commencé en octobre 2022 et vise à créer un zkEVM en open source avec moins de 10 000 lignes de code. Cet objectif a été atteint en seulement six mois. Le lancement du testnet est prévu pour la fin de l'été 2023.

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

  • Phase 1 : Implémentation de Kakarot zkEVM sur Starknet

Kakarot zkEVM sera d'abord intégré en tant qu'EVM dans Starknet L2, permettant aux développeurs de déployer directement des contrats intelligents Solidity (ou d'autres langages compatibles EVM) sur Starknet, et d'utiliser des outils familiers. Les utilisateurs peuvent interagir avec des dApps en utilisant des outils courants. Dans l'ensemble, l'expérience de développement et d'utilisation sur Kakarot sera entièrement cohérente avec Polygon, Scroll ou Ethereum L1.

  • Phase deux: Kakarot et Madara combinés --- L3 zkEVMs

Kakarot et Madara vont s'intégrer en une pile unifiée, activant les zkEVMs L3 et prenant en charge les L4, L5, etc. si nécessaire. Les équipes peuvent déployer des chaînes d'applications zkEVM, utilisant des preuves d'efficacité pour régler des transactions sur Starknet. Le calcul se fait hors chaîne ou à un niveau supérieur, avec une vérification en chaîne. Ces L3 possèdent une caractéristique intéressante : la capacité de découpler sécurité et décentralisation. Les utilisateurs peuvent bénéficier de la sécurité de l'Ethereum L1 sans nécessiter le même niveau de décentralisation. Cependant, pour les rollups, la décentralisation reste importante car elle apporte vitalité et résistance à la censure. Cela peut être réalisé en configurant les ordonneurs pour qu'ils soient des centaines plutôt que des milliers. Étant donné que le calcul se fait à un autre niveau, les coûts en gaz des L3 sont inférieurs à ceux des L2, avec de meilleures performances. Pour réduire davantage les coûts, la vérification des preuves et la disponibilité des données (DA) peuvent être séparées. Les utilisateurs peuvent choisir différentes options en fonction de leurs besoins en matière de sécurité.

  • Phase 3: Kakarot et Madara combinés --- type 1 zkEVM

Kakarot et Madara peuvent également être combinés pour réaliser un zkEVM de type 1. Si cela est possible :

  1. Écrire les règles de consensus Ethereum dans un nœud complet Madara x Kakarot avec Cairo, afin de prouver le consensus L1.
  2. Passer de l'arbre de Merkle Patricia de Pedersen (MPT) à l'arbre de Merkle Patricia Keccak.

Alors Kakarot pourra devenir 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 phase Verge. Après Verge, keccak pourrait être remplacé par poseidon en tant que fonction de hachage préférée d'Ethereum. Cela aidera l'équipe zkEVM à réaliser le type 1, car le principal obstacle à la compatibilité de zkEVM est la disposition de stockage, c'est-à-dire la mise en œuvre de Keccak MPT de manière prouvable et à un coût raisonnable.

Kakarot : un Zk-EVM que Vitalik Buterin trouve cool et dans lequel il a investi

Contexte de l'é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.

Avec le soutien de la fondation Starknet et d'Onlydust, Kakarot compte actuellement plus de 40 contributeurs indépendants.

Elias Tazartes : cofondateur et PDG de Kakarot, spécialisé dans l'ingénierie blockchain et le développement full stack.

Clément Walter : co-fondateur et CTO de Kakarot, se décrivant comme un scientifique, ingénieur, entrepreneur et touche-à-tout.

Kakarot : un Zk-EVM que Vitalik Buterin trouve cool et dans lequel il a investi

Situation de financement

Kakarot a terminé son financement de pré-série A, le montant exact n'a pas été divulgué. Les investisseurs incluent Starkware et LambDa. Les investisseurs providentiels sont Vitalik Buterin, le cofondateur de Ledger Nicolas Bacca et le cofondateur et PDG de ZAMA Rand Hindi.

Perspectives du projet

Actuellement, l'écosystème des chaînes publiques non compatibles avec l'EVM se développe lentement, la majorité des écosystèmes de chaînes publiques s'articulant autour d'Ethereum. Kakarot, en tant que Machine virtuelle écrite en Cairo sur Starknet, permet de connecter efficacement Starknet et l'écosystème Ethereum, permettant aux projets Ethereum de se construire sur Starknet, réduisant ainsi les barrières au développement tout en profitant de la sécurité et des faibles coûts d'Ethereum. Les étapes futures permettront également d'implémenter plus de modularité, comme avec des combinaisons modulaires telles que Celestia ou EigenDA.

En tant que ZK-EVM sur Starknet, Kakarot est étroitement lié à l'écosystème de Starknet. Starknet continue d'itérer et d'améliorer, offrant une meilleure expérience utilisateur, tandis que le ZK-EVM construit par Kakarot contribuera à la prospérité de l'écosystème. Cependant, si le développement de Starknet ne se passe pas bien, Kakarot sera également affecté.

Kakarot a reçu le soutien de Vitalik Buterin et de StarkWare, bénéficiant d'un renforcement tant spirituel que financier, ce qui constitue un grand avantage.

Cependant, par rapport à d'autres ZK-EVM, Kakarot fait également face à des défis : une petite taille d'équipe, un budget et une notoriété de marque plus faibles. C'est également l'une des raisons pour lesquelles Kakarot n'a pas été déployé en tant que zkEVM L2 général.

Kakarot est actuellement encore à un stade précoce, le testnet sera bientôt publié, il vaut la peine de suivre son développement.

Kakarot : un Zk-EVM que Vitalik Buterin trouve cool et dans lequel il a investi

Voir l'original
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.
  • Récompense
  • 5
  • Partager
Commentaire
0/400
EthMaximalistvip
· Il y a 14h
C'est pas mal, hein ?
Voir l'originalRépondre0
NFTArchaeologisvip
· Il y a 14h
Un nouveau chapitre s'ajoute aux rouleaux anciens du monde numérique.
Voir l'originalRépondre0
MrDecodervip
· Il y a 14h
Gagné à fond, Vitalik Buterin est intervenu.
Voir l'originalRépondre0
RugPullAlarmvip
· Il y a 15h
Avoir simplement le soutien de vb est-il vraiment séduisant ? Ce qu'on appelle une petite équipe est très probablement un système de Ponzi.
Voir l'originalRépondre0
GateUser-2fce706cvip
· Il y a 15h
J'ai déjà dit que la piste zkEVM est le véritable mot de passe de la richesse, trois ans ne sont pas trop tard !
Voir l'originalRépondre0
  • Épingler
Trader les cryptos partout et à tout moment
qrCode
Scan pour télécharger Gate app
Communauté
Français (Afrique)
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)