Qu'est-ce que Kakarot zkEVM ? Pourquoi est-il pris en charge par Vitalik et StarkWare ? Kakarot apporte EVM à Starknet, facilitant l'expansion des dApps EVM. Regardons plus en profondeur !
Nous avons démarré et sommes entrés en mode Super Saiyan. Kakarot Labs a été officiellement créé et a conclu un financement précoce de pré-amorçage avec les meilleurs investisseurs.
Attendons avec impatience la vision du développement, clarifions la position actuelle et attendons avec impatience un avenir radieux.
Cet article présentera principalement ce qui suit : 1. Qu'est-ce que CairoVM ? 2. Qu'est-ce que le Caire ? 3. Architecture EVM ; 4. Architecture Kakarot ; 5. Classification des types de zkEVM ; 6. Feuille de route Kakarot ; 7. Réflexions personnelles.
Kakarot zkEVM est un EVM déployé à l'aide du langage Cario, étendant la fiabilité de l'écosystème Starknet en améliorant la compatibilité EVM. Comprenons étape par étape.
**1. ****Qu'est-ce que CairoVM ? **
Kakarot tourne sur la machine virtuelle CairoVM, qui est l'infrastructure de Starknet. Les principales fonctionnalités de CairoVM sont les suivantes :
· Représenter l'exécution comme une équation polynomiale pour une exécution prouvable prouvable.
· Autoriser toutes les transactions Starknet à utiliser la vérification STARK.
**2. Qu'est-ce que Cario ? **
Cario est une architecture CPU compatible avec STARK et Turing-complete.
· Turing Complete : Le système est capable de calculer n'importe quel calcul/programme possible.
· Stark Friendly : le système d'authentification de 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.
Alors, comment fonctionne Cario ? Les développeurs peuvent utiliser Cairo pour écrire des programmes dans CaroVM et décrire des instructions dans un langage de haut niveau (à prouver). Cela améliore l'expérience de développement, car les développeurs peuvent tirer parti de l'évolutivité des ZK Proofs (ZKP) sans avoir à apprendre à écrire des circuits complexes.
3. EVM****architecture
L'architecture EVM est une architecture VM (machine virtuelle) mature et bien définie avec :
142 opcodes : instructions utilisées par l'EVM pour exécuter des transactions et des contrats intelligents (SC). Des frais de gaz sont nécessaires pour exécuter.
9 précompilations : contrats intelligents intégrés à Ethereum pour gérer les opérations courantes. Peut être invoqué avec des frais de gaz standard.
4.Kakarot****Structure
Kakarot est développé sur la base de CairoVM, qui est :
· Interpréteur de bytecode EVM
· Contrats intelligents déployés sur Starknet
· Utiliser le langage Cario
Kakarot prend en charge :
· Déployer le contrat intelligent EVM tel qu'il est
Kakarot n'est pas :
·Blockchain
Compilateur : ne convertit pas le code Solidity en Cairo
Depuis mai 2023 :
Une architecture 100% bytecode a été réalisée (Type 3 zkEVM)
9 EVM précompilé pour atteindre 8
Après avoir implémenté les 9 précompilations EVM, Kakarot deviendra Type 2.5 zkEVM.
5, zkEVM****Type****type
(1) Type 1 zkEVM | Entièrement équivalent à Ethereum
Aucune modification du système Ethereum pour prendre en charge une génération de preuve plus facile.
avantage:
La solution ultime pour l'expansion d'Ethereum
défaut:
· Intensif en informatique
Le temps de preuve est long (prend des heures)
Exemple:
·Faire défiler
·Taiko
(2) Type 2 zkEVM | entièrement équivalent à EVM
Des modifications mineures du système Ethereum (différentes fonctions de hachage) facilitent le développement et accélèrent la génération de preuves.
avantage:
· Prend en charge la plupart des dApps Ethereum
défaut:
L'inefficacité et l'hostilité de l'EVM existent toujours
Exemple:
·Faire défiler
(3) Type 2.5 zkEVM | Équivalent à EVM (hors redevance gaz)
Coûts de gaz supplémentaires pour des opérations spécifiques dans l'EVM qui sont difficiles à prouver en utilisant ZK.
avantage:
Moins risqué que les changements EVM plus larges
défaut:
Compatibilité réduite des outils de développement
· Certaines dApps ne sont pas compatibles
(4) Type 3 zkEVM | presque équivalent à EVM
Les fonctionnalités particulièrement difficiles à mettre en œuvre (comme la précompilation) ont été supprimées.
avantage:
· Temps d'épreuve plus rapides
· Développement EVM simplifié
défaut:
· Certaines dApps doivent être réécrites
Exemple:
·Faire défiler
·Polygone
**(5)Tpye4zkEVM|**équivalent à un langage de haut niveau
Le code source du contrat intelligent (langage de haut niveau) est compilé dans un langage convivial ZK-SNARK.
avantage:
· Éviter beaucoup de frais généraux
défaut:
L'adresse du contrat peut être différente de l'adresse dans l'EVM
Peut ne pas prendre en charge le bytecode EVM manuscrit
· L'infrastructure de débogage ne peut pas être héritée car elle s'exécute sur le bytecode EVM.
Exemple:
·zkSync
·Nethermind
6**、Carte de l'itinéraire de Kakarot**
(1) Phase 1 | Apporter l'EVM à Starknet
Kakarot existera initialement dans Starknet en tant qu'EVM consacré. L'expérience de développement et l'expérience utilisateur (UX) seront les mêmes que Polygon, Scroll ou Ethereum.
(2) Étape 2 | L3 zkEVM
Le déploiement de chaînes d'applications zkEVM via Kakarot leur permet de régler des transactions sur Starknet en utilisant une preuve de validité.
En fusionnant le séquenceur Kakarot et Madara Starknet (séquenceur Starknet basé sur le substrat) dans une pile unifiée.
(3) Phase 2 | zkEVM-Rollup-as-a-Service
En un seul clic, rollup reçoit :
·ZkEVM spécifique à l'application déployé sur Starknet
· Accès à l'environnement EVM
· Exécution rapide
Faibles frais de gaz : utilisez des solutions de disponibilité des données (Celestia, EigenLayer)
·Sécurité du cryptage
Avantages de zkEVM-Rollup-as-a-Service :
Exécutez des contrats intelligents Solidity dans CairoVM en utilisant Kakarot
Tout contrat intelligent Solidity déployé sur l'EVM peut s'exécuter sur Starknet sans modification du code
Le meilleur des deux mondes:
Efficacité avec EVM
·Les contrats intelligents deviennent prouvables
(4) Phase 3 | Type 1 zkEVM
Pour entrer dans cette étape, Kakarot doit :
·Utilisez Cairo pour écrire des règles de consensus Ethereum dans les nœuds complets de Madara et Kakarot pour prouver le consensus L1.
· Passage de Pedersen Merkle Patricia Trie (MPT) à Keccak MPT.
Cependant, la phase 3 est incertaine. Cela dépend de la feuille de route Ethereum : Verge. Actuellement, la mise en œuvre de Keccak MPT de manière démontrable et peu coûteuse est le principal obstacle à la compatibilité zkEVM. Après Verge, Keccak pourrait être remplacé par Poséidon comme fonction de hachage de choix pour Ethereum.
7**、Réflexions personnelles**
Apporter la compatibilité EVM à Starknet est certainement un grand pas en avant, mais il y a encore quelques inquiétudes quant au succès de Kakarot.
(1) Domaine ZK très compétitif
Les concurrents sont :
· ZK-rollup avec différents systèmes de preuve (SNARK) : Scroll, zkSync, Polygon, Taiko, Linea.
·Récapitulatif optimiste ：Optimisme、Décision、Base
Différentes zkVM : RISC Zero, Hyper Oracle
(2) Adaptation au marché des produits (PMF)
Dans l'ensemble, le déploiement en tant que service est un sujet ouvert, avec deux aspects clés à prendre en compte :
· Combien de rollups ont besoin de ce service ?
Le rollup préfère-t-il développer la souveraineté et la personnalisation en interne ?
(3) Itération continue du produit
Kakarot développe et construit un produit très complexe sur le plan technique et qui nécessitera probablement des itérations constantes pour réussir.
Il s'appuie également sur plusieurs composants dynamiques, notamment :
·Lait
·Solution de disponibilité des données
Feuille de route Ethereum : 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.
Qu'est-ce que Kakarot zkEVM ? Pourquoi Vitalik a participé au vote
Auteur : s, analyste en capital-risque ; traduction : Jinse Finance xiaozou
Qu'est-ce que Kakarot zkEVM ? Pourquoi est-il pris en charge par Vitalik et StarkWare ? Kakarot apporte EVM à Starknet, facilitant l'expansion des dApps EVM. Regardons plus en profondeur !
Nous avons démarré et sommes entrés en mode Super Saiyan. Kakarot Labs a été officiellement créé et a conclu un financement précoce de pré-amorçage avec les meilleurs investisseurs.
Attendons avec impatience la vision du développement, clarifions la position actuelle et attendons avec impatience un avenir radieux.
Cet article présentera principalement ce qui suit : 1. Qu'est-ce que CairoVM ? 2. Qu'est-ce que le Caire ? 3. Architecture EVM ; 4. Architecture Kakarot ; 5. Classification des types de zkEVM ; 6. Feuille de route Kakarot ; 7. Réflexions personnelles.
Kakarot zkEVM est un EVM déployé à l'aide du langage Cario, étendant la fiabilité de l'écosystème Starknet en améliorant la compatibilité EVM. Comprenons étape par étape.
**1. ****Qu'est-ce que CairoVM ? **
Kakarot tourne sur la machine virtuelle CairoVM, qui est l'infrastructure de Starknet. Les principales fonctionnalités de CairoVM sont les suivantes :
· Représenter l'exécution comme une équation polynomiale pour une exécution prouvable prouvable.
· Autoriser toutes les transactions Starknet à utiliser la vérification STARK.
**2. Qu'est-ce que Cario ? **
Cario est une architecture CPU compatible avec STARK et Turing-complete.
· Turing Complete : Le système est capable de calculer n'importe quel calcul/programme possible.
· Stark Friendly : le système d'authentification de 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.
Alors, comment fonctionne Cario ? Les développeurs peuvent utiliser Cairo pour écrire des programmes dans CaroVM et décrire des instructions dans un langage de haut niveau (à prouver). Cela améliore l'expérience de développement, car les développeurs peuvent tirer parti de l'évolutivité des ZK Proofs (ZKP) sans avoir à apprendre à écrire des circuits complexes.
3. EVM****architecture
L'architecture EVM est une architecture VM (machine virtuelle) mature et bien définie avec :
142 opcodes : instructions utilisées par l'EVM pour exécuter des transactions et des contrats intelligents (SC). Des frais de gaz sont nécessaires pour exécuter.
9 précompilations : contrats intelligents intégrés à Ethereum pour gérer les opérations courantes. Peut être invoqué avec des frais de gaz standard.
4.Kakarot****Structure
Kakarot est développé sur la base de CairoVM, qui est :
· Interpréteur de bytecode EVM
· Contrats intelligents déployés sur Starknet
· Utiliser le langage Cario
Kakarot prend en charge :
· Déployer le contrat intelligent EVM tel qu'il est
Kakarot n'est pas :
·Blockchain
Compilateur : ne convertit pas le code Solidity en Cairo
Depuis mai 2023 :
Une architecture 100% bytecode a été réalisée (Type 3 zkEVM)
9 EVM précompilé pour atteindre 8
Après avoir implémenté les 9 précompilations EVM, Kakarot deviendra Type 2.5 zkEVM.
5, zkEVM****Type****type
(1) Type 1 zkEVM | Entièrement équivalent à Ethereum
Aucune modification du système Ethereum pour prendre en charge une génération de preuve plus facile.
avantage:
La solution ultime pour l'expansion d'Ethereum
défaut:
· Intensif en informatique
Le temps de preuve est long (prend des heures)
Exemple:
·Faire défiler
·Taiko
(2) Type 2 zkEVM | entièrement équivalent à EVM
Des modifications mineures du système Ethereum (différentes fonctions de hachage) facilitent le développement et accélèrent la génération de preuves.
avantage:
· Prend en charge la plupart des dApps Ethereum
défaut:
L'inefficacité et l'hostilité de l'EVM existent toujours
Exemple:
·Faire défiler
(3) Type 2.5 zkEVM | Équivalent à EVM (hors redevance gaz)
Coûts de gaz supplémentaires pour des opérations spécifiques dans l'EVM qui sont difficiles à prouver en utilisant ZK.
avantage:
Moins risqué que les changements EVM plus larges
défaut:
Compatibilité réduite des outils de développement
· Certaines dApps ne sont pas compatibles
(4) Type 3 zkEVM | presque équivalent à EVM
Les fonctionnalités particulièrement difficiles à mettre en œuvre (comme la précompilation) ont été supprimées.
avantage:
· Temps d'épreuve plus rapides
· Développement EVM simplifié
défaut:
· Certaines dApps doivent être réécrites
Exemple:
·Faire défiler
·Polygone
**(5)Tpye4zkEVM|**équivalent à un langage de haut niveau
Le code source du contrat intelligent (langage de haut niveau) est compilé dans un langage convivial ZK-SNARK.
avantage:
· Éviter beaucoup de frais généraux
défaut:
L'adresse du contrat peut être différente de l'adresse dans l'EVM
Peut ne pas prendre en charge le bytecode EVM manuscrit
· L'infrastructure de débogage ne peut pas être héritée car elle s'exécute sur le bytecode EVM.
Exemple:
·zkSync
·Nethermind
6**、Carte de l'itinéraire de Kakarot**
(1) Phase 1 | Apporter l'EVM à Starknet
Kakarot existera initialement dans Starknet en tant qu'EVM consacré. L'expérience de développement et l'expérience utilisateur (UX) seront les mêmes que Polygon, Scroll ou Ethereum.
(2) Étape 2 | L3 zkEVM
Le déploiement de chaînes d'applications zkEVM via Kakarot leur permet de régler des transactions sur Starknet en utilisant une preuve de validité.
En fusionnant le séquenceur Kakarot et Madara Starknet (séquenceur Starknet basé sur le substrat) dans une pile unifiée.
(3) Phase 2 | zkEVM-Rollup-as-a-Service
En un seul clic, rollup reçoit :
·ZkEVM spécifique à l'application déployé sur Starknet
· Accès à l'environnement EVM
· Exécution rapide
Faibles frais de gaz : utilisez des solutions de disponibilité des données (Celestia, EigenLayer)
·Sécurité du cryptage
Avantages de zkEVM-Rollup-as-a-Service :
Exécutez des contrats intelligents Solidity dans CairoVM en utilisant Kakarot
Tout contrat intelligent Solidity déployé sur l'EVM peut s'exécuter sur Starknet sans modification du code
Le meilleur des deux mondes:
Efficacité avec EVM
·Les contrats intelligents deviennent prouvables
(4) Phase 3 | Type 1 zkEVM
Pour entrer dans cette étape, Kakarot doit :
·Utilisez Cairo pour écrire des règles de consensus Ethereum dans les nœuds complets de Madara et Kakarot pour prouver le consensus L1.
· Passage de Pedersen Merkle Patricia Trie (MPT) à Keccak MPT.
Cependant, la phase 3 est incertaine. Cela dépend de la feuille de route Ethereum : Verge. Actuellement, la mise en œuvre de Keccak MPT de manière démontrable et peu coûteuse est le principal obstacle à la compatibilité zkEVM. Après Verge, Keccak pourrait être remplacé par Poséidon comme fonction de hachage de choix pour Ethereum.
7**、Réflexions personnelles**
Apporter la compatibilité EVM à Starknet est certainement un grand pas en avant, mais il y a encore quelques inquiétudes quant au succès de Kakarot.
(1) Domaine ZK très compétitif
Les concurrents sont :
· ZK-rollup avec différents systèmes de preuve (SNARK) : Scroll, zkSync, Polygon, Taiko, Linea.
·Récapitulatif optimiste ：Optimisme、Décision、Base
Différentes zkVM : RISC Zero, Hyper Oracle
(2) Adaptation au marché des produits (PMF)
Dans l'ensemble, le déploiement en tant que service est un sujet ouvert, avec deux aspects clés à prendre en compte :
· Combien de rollups ont besoin de ce service ?
Le rollup préfère-t-il développer la souveraineté et la personnalisation en interne ?
(3) Itération continue du produit
Kakarot développe et construit un produit très complexe sur le plan technique et qui nécessitera probablement des itérations constantes pour réussir.
Il s'appuie également sur plusieurs composants dynamiques, notamment :
·Lait
·Solution de disponibilité des données
Feuille de route Ethereum : Verge