Analystes Dans cet article, nous allons explorer les différentes phases de Kakarot, leurs forces et leurs faiblesses, ainsi que les enjeux et opportunités du projet.
Auteurs
Compilation : Deep Tide TechFlow
Kakarot zkEVM est un EVM implémenté au Caire. En améliorant la compatibilité d'EVM, il élargit l'écosystème de Starknet. Qu'a-t-il utilisé pour gagner le soutien de Vitalik et StarkWare ? Analystes Dans cet article, nous allons explorer les différentes phases de Kakarot, leurs forces et faiblesses, ainsi que les défis et opportunités auxquels le projet est confronté.
Qu'est-ce que CairoVM ?
Kakarot est construit sur la machine virtuelle (VM) CairoVM, qui est l'infrastructure de Starknet.
Fonctionnalités clés de CairoVM :
Représenter l'exécution sous la forme d'un polynôme (équation) pour une exécution démontrable ;
Permet l'utilisation de STARK pour prouver toutes les transactions Starknet.
Qu'est-ce que le Caire ?
Turing complète l'architecture CPU compatible avec STARK :
Complétude de Turing : le système peut calculer n'importe quel calcul/programme possible ;
STARK FRIENDLY : système de preuve fourni par StarkWare. L'intégrité informatique hors chaîne est prouvée par des prouveurs et vérifiée par des vérificateurs en chaîne.
Comment fonctionne Le Caire
Les développeurs peuvent utiliser Cairo pour écrire des programmes dans CairoVM afin de décrire des instructions à prouver dans un langage de haut niveau. Cela améliore l'expérience des développeurs car ils peuvent tirer parti de l'évolutivité des preuves à connaissance nulle (ZKP) sans avoir à apprendre à écrire des circuits complexes.
Architecture kakarot
Kakarot est construit sur CairoVM et est :
Interpréteur de bytecode EVM ;
SC déployé sur Starknet ;
Écrit au Caire.
Kakarot permet :
Déployer un SC EVM existant.
Kakarot n'est pas :
Chaîne de blocs ;
Compilateur : ne convertit pas le code Solidity en Cairo.
Depuis mai 2023 :
Architecture 100 % bytecode (Type 3 zkEVM) ;
Implémentation de la précompilation EVM 8/9.
Après avoir implémenté les précompilations EVM 9/9, Kakarot deviendra Type 2.5 zkEVM.
Le zkEVM de type 1 est complètement équivalent à Ethereum, sans changer le système Ethereum pour générer plus facilement des preuves,
Avantages : La solution ultime pour faire évoluer Ethereum.
Inconvénients : Calcul intensif, longue preuve (nécessite des heures).
Par exemple : Parchemin, Taiko.
Le zkEVM de type 2 est entièrement équivalent à l'EVM, avec de légères modifications au système Ethereum (utilisant une fonction de hachage différente) afin de :
Développement plus facile;
Génération de preuve plus rapide.
Avantages : Disponible pour la plupart des dApps Ethereum.
Inconvénients : L'efficacité de l'EVM et du ZK n'est pas conviviale.
Par exemple Défilement.
Le type 2.5 zkEVM est équivalent à l'EVM à l'exception du coût du gaz. Cela augmente le coût du gaz d'opérations spécifiques dans l'EVM qui sont difficiles à prouver avec ZK.
Avantages : moins de risque qu'un EVM plus large
Inconvénients : Compatibilité réduite des outils de développement, certaines dApps ne seront pas compatibles.
Le zkEVM de type 3 est presque identique à l'EVM, seules les fonctionnalités particulièrement difficiles à mettre en œuvre (comme la précompilation) sont supprimées.
Avantages : Temps de preuve encore plus rapides, développement EVM plus facile.
Inconvénients : Certaines dApps doivent être réécrites.
Par exemple:
Faire défiler;
Polygone
Équivalent de langage de haut niveau de type 4 zkEVM, compilant le code source SC (langage de haut niveau) dans un langage convivial ZK-SNARK.
Avantages : Évite beaucoup de frais généraux.
Inconvénients : les contrats peuvent ne pas avoir la même adresse que l'EVM, le bytecode EVM manuscrit peut ne pas être pris en charge, l'infrastructure ne peut pas être transférée car ils fonctionnent sur le bytecode EVM.
Par exemple:
zksync;
Nethermind.
Feuille de route de Kakarot | Phase 1 | Apporter l'EVM à Starknet
Kakarot existera initialement dans Starknet en tant que EVM consacré. L'expérience développeur et utilisateur (UX) sera exactement la même que Polygon, Scroll ou Ethereum.
Phase 2 | zkEVM L3
Le déploiement d'appchains zkEVM via Kakarot leur permet de résoudre les txns sur Starknet en utilisant une preuve de validité. Ceci est réalisé en combinant Kakarot et MadaraStarknet dans une pile unifiée.
En 1 clic, Rollups vous offre :
ZkEVM spécifique à l'application déployé sur Starknet ;
Accès à l'environnement EVM ;
Exécution rapide ;
Low Gas : Utilisez des solutions de disponibilité des données.
Sécurité.
Exécutez Solidity SC dans CairoVM en utilisant Kakarot : Tout Solidity SC déployé sur EVM pourra fonctionner sur Starknet sans modification du code.
Les avantages de pouvoir avoir les deux :
Efficacité EVM ;
Les contrats intelligents deviennent prouvables.
Phase 3 | Type 1 zkEVM
Pour y parvenir, Kakarot doit :
Utilisez Cairo pour écrire les règles de consensus Ethereum dans le nœud complet Madara x Kakarot pour prouver le consensus L1 ;
Passage de Pedersen Merkle Patricia Trie (MPT) à Keccak MPT.
Cela dépend de la feuille de route Ethereum : Verge. Actuellement, la mise en œuvre de Keccak MPT à moindre coût est le principal obstacle à la compatibilité pour zkEVM. Après Verge, Keccak pourrait être remplacé par Poséidon en tant que fonction de hachage préférée d'Ethereum.
mes pensées
C'est certainement un grand pas en avant pour apporter la compatibilité EVM à Starknet, mais le succès de Kakarot suscite certaines inquiétudes.
Face à la concurrence des concurrents suivants :
ZK-rollup avec différents systèmes de preuve (SNARK) : Scroll, zksync, Polygon, Taiko, Linea ;
Cumuls optimistes : Optimisme、Décision、Base ;
Différentes zkVM : RISC Zero, Hyper Oracle.
Adaptation au marché des produits (PMF)
Dans l'ensemble, Rollup-as-a-service est un argument non testé qui nécessite de prendre en compte deux aspects clés :
Combien de Rollups auront besoin de ce service ?
Rollup préfère-t-il les versions internes pour la souveraineté et la personnalisation ?
Itération continue des produits
Kakarot construit un produit très complexe sur le plan technique qui nécessitera probablement une itération constante pour réussir. Cela dépend également de plusieurs composants, notamment :
Lait;
* Solution DA ;
Feuille de route d'Ethereum : The Verge.
Voir l'original
Le contenu est fourni à titre de référence uniquement, il ne s'agit pas d'une sollicitation ou d'une offre. Aucun conseil en investissement, fiscalité ou juridique n'est fourni. Consultez l'Avertissement pour plus de détails sur les risques.
Vitalik participe à l'investissement, comment Kakarot introduit-il EVM à Starknet ?
Auteurs
Compilation : Deep Tide TechFlow
Kakarot zkEVM est un EVM implémenté au Caire. En améliorant la compatibilité d'EVM, il élargit l'écosystème de Starknet. Qu'a-t-il utilisé pour gagner le soutien de Vitalik et StarkWare ? Analystes Dans cet article, nous allons explorer les différentes phases de Kakarot, leurs forces et faiblesses, ainsi que les défis et opportunités auxquels le projet est confronté.
Qu'est-ce que CairoVM ?
Kakarot est construit sur la machine virtuelle (VM) CairoVM, qui est l'infrastructure de Starknet.
Fonctionnalités clés de CairoVM :
Qu'est-ce que le Caire ?
Turing complète l'architecture CPU compatible avec STARK :
Comment fonctionne Le Caire
Les développeurs peuvent utiliser Cairo pour écrire des programmes dans CairoVM afin de décrire des instructions à prouver dans un langage de haut niveau. Cela améliore l'expérience des développeurs car ils peuvent tirer parti de l'évolutivité des preuves à connaissance nulle (ZKP) sans avoir à apprendre à écrire des circuits complexes.
Architecture kakarot
Kakarot est construit sur CairoVM et est :
Kakarot permet :
Kakarot n'est pas :
Depuis mai 2023 :
Après avoir implémenté les précompilations EVM 9/9, Kakarot deviendra Type 2.5 zkEVM.
Le zkEVM de type 1 est complètement équivalent à Ethereum, sans changer le système Ethereum pour générer plus facilement des preuves,
Avantages : La solution ultime pour faire évoluer Ethereum.
Inconvénients : Calcul intensif, longue preuve (nécessite des heures).
Par exemple : Parchemin, Taiko.
Le zkEVM de type 2 est entièrement équivalent à l'EVM, avec de légères modifications au système Ethereum (utilisant une fonction de hachage différente) afin de :
Avantages : Disponible pour la plupart des dApps Ethereum.
Inconvénients : L'efficacité de l'EVM et du ZK n'est pas conviviale.
Par exemple Défilement.
Le type 2.5 zkEVM est équivalent à l'EVM à l'exception du coût du gaz. Cela augmente le coût du gaz d'opérations spécifiques dans l'EVM qui sont difficiles à prouver avec ZK.
Avantages : moins de risque qu'un EVM plus large
Inconvénients : Compatibilité réduite des outils de développement, certaines dApps ne seront pas compatibles.
Le zkEVM de type 3 est presque identique à l'EVM, seules les fonctionnalités particulièrement difficiles à mettre en œuvre (comme la précompilation) sont supprimées.
Avantages : Temps de preuve encore plus rapides, développement EVM plus facile.
Inconvénients : Certaines dApps doivent être réécrites.
Par exemple:
Équivalent de langage de haut niveau de type 4 zkEVM, compilant le code source SC (langage de haut niveau) dans un langage convivial ZK-SNARK.
Avantages : Évite beaucoup de frais généraux.
Inconvénients : les contrats peuvent ne pas avoir la même adresse que l'EVM, le bytecode EVM manuscrit peut ne pas être pris en charge, l'infrastructure ne peut pas être transférée car ils fonctionnent sur le bytecode EVM.
Par exemple:
Feuille de route de Kakarot | Phase 1 | Apporter l'EVM à Starknet
Kakarot existera initialement dans Starknet en tant que EVM consacré. L'expérience développeur et utilisateur (UX) sera exactement la même que Polygon, Scroll ou Ethereum.
Phase 2 | zkEVM L3
Le déploiement d'appchains zkEVM via Kakarot leur permet de résoudre les txns sur Starknet en utilisant une preuve de validité. Ceci est réalisé en combinant Kakarot et MadaraStarknet dans une pile unifiée.
En 1 clic, Rollups vous offre :
Exécutez Solidity SC dans CairoVM en utilisant Kakarot : Tout Solidity SC déployé sur EVM pourra fonctionner sur Starknet sans modification du code.
Les avantages de pouvoir avoir les deux :
Phase 3 | Type 1 zkEVM
Pour y parvenir, Kakarot doit :
Cela dépend de la feuille de route Ethereum : Verge. Actuellement, la mise en œuvre de Keccak MPT à moindre coût est le principal obstacle à la compatibilité pour zkEVM. Après Verge, Keccak pourrait être remplacé par Poséidon en tant que fonction de hachage préférée d'Ethereum.
mes pensées
C'est certainement un grand pas en avant pour apporter la compatibilité EVM à Starknet, mais le succès de Kakarot suscite certaines inquiétudes.
Face à la concurrence des concurrents suivants :
Adaptation au marché des produits (PMF)
Dans l'ensemble, Rollup-as-a-service est un argument non testé qui nécessite de prendre en compte deux aspects clés :
Itération continue des produits
Kakarot construit un produit très complexe sur le plan technique qui nécessitera probablement une itération constante pour réussir. Cela dépend également de plusieurs composants, notamment :