Résumé de l'efficacité : analyse comparative entre zkEVM et Cairo VM
Résumé de validité ( Les Validity Rollups ) sont considérés comme la meilleure option pour améliorer le débit d'Ethereum de manière sécurisée et décentralisée. Dans les Validity Rollups, zkEVM et Cairo VM ( CVM ) sont les deux principaux types de machines virtuelles utilisés.
zkEVM se concentre sur la compatibilité avec Ethereum, mais sacrifie la performance et l'évolutivité. En revanche, le Cairo VM adopté par Starknet place la performance et l'évolutivité au-dessus de la compatibilité.
Le cœur du résumé de validité est l'utilisation de preuves de validité pour effectuer des calculs vérifiables. Elles fonctionnent en déchargeant l'exécution des transactions dans un environnement hors chaîne ( de la couche 2 ). Après que l'opérateur de la couche 2 ait traité un grand nombre de transactions, il renvoie les résultats et les preuves de validité de l'intégrité de l'exécution hors chaîne au réseau principal Ethereum. Cette méthode peut considérablement améliorer la capacité de traitement des transactions d'Ethereum.
La machine virtuelle (VM) est un environnement capable d'exécuter des programmes. zkVM est un type spécial de VM qui peut générer des preuves de validité faciles à vérifier pour prouver qu'un programme a été exécuté correctement. zkEVM fait généralement référence à un système de résumé capable de prouver l'exécution de l'EVM.
Bien que zkEVM et CVM visent tous deux à étendre Ethereum grâce à des preuves de validité, ils diffèrent dans le choix de l'exécution des transactions off-chain dans la VM. zkEVM tente de reproduire l'expérience Ethereum sur un agrégateur L2, tandis que CVM est conçu spécifiquement pour optimiser l'efficacité des preuves de validité.
L'objectif du zkEVM est d'intégrer entièrement l'environnement de développement Ethereum dans un réseau de deuxième couche. Cela permet aux développeurs de migrer des contrats intelligents vers des solutions plus évolutives sans avoir à modifier le code ou à renoncer aux outils EVM. Cependant, le principal inconvénient de cette approche est la réduction du potentiel d'extension des preuves d'efficacité. Étant donné que l'EVM n'a pas été conçu en tenant compte de l'efficacité des preuves, cela limite l'espace d'optimisation des performances globales du système.
La vérifiabilité de l'EVM fait face à certains défis :
L'EVM utilise un modèle basé sur la pile, tandis que la preuve d'efficacité est plus adaptée aux modèles basés sur les registres.
La disposition de stockage d'Ethereum dépend fortement de Keccak et des grands arbres Merkle Patricia, qui ne favorisent pas la génération de preuves de validité.
Ainsi, différents schémas zkEVM varient en termes de support des outils Ethereum - plus la compatibilité avec Ethereum est élevée, moins les performances sont bonnes.
En comparaison, le Cairo VM adopte un tout nouveau design de machine virtuelle dédiée et y ajoute un support d'outils Ethereum comme couche supplémentaire. Le CVM est conçu pour la génération efficace de preuves d'exécution de programmes, avec les avantages suivants :
Chaque instruction a une représentation algébrique valide, optimisant la génération de preuves d'efficacité.
Fournir un langage de haut niveau similaire à Rust pour écrire des programmes prouvables.
La représentation intermédiaire entre Cairo avancé et l'assemblage Cairo (Sierra) permet une exécution efficace.
Le langage Cairo simplifie la complexité de la génération de contraintes mathématiques décrivant les calculs, permettant aux développeurs d'utiliser la preuve de validité pour étendre les applications sans avoir besoin de comprendre les mathématiques sous-jacentes.
Starknet prend en charge une variété de méthodes de codage :
Écrire le code directement en Cairo.
Convertir le code Solidity en Cairo via le traducteur Warp.
Exécutez zkEVM( sur Starknet comme le projet Kakarot), réalisant la compatibilité des contrats intelligents Ethereum.
Dans l'ensemble, zkEVM s'efforce de reproduire l'environnement Ethereum, mais limite tout le potentiel de la preuve de validité. Cairo VM, en revanche, est conçu spécifiquement pour les systèmes de preuve de validité, sans être limité par l'EVM, permettant une extension d'Ethereum plus efficace. Avec le développement rapide de l'écosystème Cairo, les développeurs disposent désormais de plusieurs options pour étendre les applications de blockchain.
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.
18 J'aime
Récompense
18
4
Reposter
Partager
Commentaire
0/400
APY追逐者
· 08-14 06:22
Pourquoi zk est-il si puissant et ne va-t-il pas sur le Mainnet ?
Voir l'originalRépondre0
LayerZeroHero
· 08-13 15:48
La performance et la compatibilité sont vraiment un problème technique éternel. Après une semaine d'expérimentation, j'en arrive à cette conclusion.
Voir l'originalRépondre0
SerumSquirter
· 08-11 19:12
C'est un vieux mineur qui recherche un tps extrême.
Voir l'originalRépondre0
DaoResearcher
· 08-11 19:07
Se référer au papier VB P267, la compatibilité L2 n'est pas le meilleur choix.
zkEVM et Cairo VM : Comparaison de deux machines virtuelles dans le résumé de validité
Résumé de l'efficacité : analyse comparative entre zkEVM et Cairo VM
Résumé de validité ( Les Validity Rollups ) sont considérés comme la meilleure option pour améliorer le débit d'Ethereum de manière sécurisée et décentralisée. Dans les Validity Rollups, zkEVM et Cairo VM ( CVM ) sont les deux principaux types de machines virtuelles utilisés.
zkEVM se concentre sur la compatibilité avec Ethereum, mais sacrifie la performance et l'évolutivité. En revanche, le Cairo VM adopté par Starknet place la performance et l'évolutivité au-dessus de la compatibilité.
Le cœur du résumé de validité est l'utilisation de preuves de validité pour effectuer des calculs vérifiables. Elles fonctionnent en déchargeant l'exécution des transactions dans un environnement hors chaîne ( de la couche 2 ). Après que l'opérateur de la couche 2 ait traité un grand nombre de transactions, il renvoie les résultats et les preuves de validité de l'intégrité de l'exécution hors chaîne au réseau principal Ethereum. Cette méthode peut considérablement améliorer la capacité de traitement des transactions d'Ethereum.
La machine virtuelle (VM) est un environnement capable d'exécuter des programmes. zkVM est un type spécial de VM qui peut générer des preuves de validité faciles à vérifier pour prouver qu'un programme a été exécuté correctement. zkEVM fait généralement référence à un système de résumé capable de prouver l'exécution de l'EVM.
Bien que zkEVM et CVM visent tous deux à étendre Ethereum grâce à des preuves de validité, ils diffèrent dans le choix de l'exécution des transactions off-chain dans la VM. zkEVM tente de reproduire l'expérience Ethereum sur un agrégateur L2, tandis que CVM est conçu spécifiquement pour optimiser l'efficacité des preuves de validité.
L'objectif du zkEVM est d'intégrer entièrement l'environnement de développement Ethereum dans un réseau de deuxième couche. Cela permet aux développeurs de migrer des contrats intelligents vers des solutions plus évolutives sans avoir à modifier le code ou à renoncer aux outils EVM. Cependant, le principal inconvénient de cette approche est la réduction du potentiel d'extension des preuves d'efficacité. Étant donné que l'EVM n'a pas été conçu en tenant compte de l'efficacité des preuves, cela limite l'espace d'optimisation des performances globales du système.
La vérifiabilité de l'EVM fait face à certains défis :
L'EVM utilise un modèle basé sur la pile, tandis que la preuve d'efficacité est plus adaptée aux modèles basés sur les registres.
La disposition de stockage d'Ethereum dépend fortement de Keccak et des grands arbres Merkle Patricia, qui ne favorisent pas la génération de preuves de validité.
Ainsi, différents schémas zkEVM varient en termes de support des outils Ethereum - plus la compatibilité avec Ethereum est élevée, moins les performances sont bonnes.
En comparaison, le Cairo VM adopte un tout nouveau design de machine virtuelle dédiée et y ajoute un support d'outils Ethereum comme couche supplémentaire. Le CVM est conçu pour la génération efficace de preuves d'exécution de programmes, avec les avantages suivants :
Chaque instruction a une représentation algébrique valide, optimisant la génération de preuves d'efficacité.
Fournir un langage de haut niveau similaire à Rust pour écrire des programmes prouvables.
La représentation intermédiaire entre Cairo avancé et l'assemblage Cairo (Sierra) permet une exécution efficace.
Le langage Cairo simplifie la complexité de la génération de contraintes mathématiques décrivant les calculs, permettant aux développeurs d'utiliser la preuve de validité pour étendre les applications sans avoir besoin de comprendre les mathématiques sous-jacentes.
Starknet prend en charge une variété de méthodes de codage :
Écrire le code directement en Cairo.
Convertir le code Solidity en Cairo via le traducteur Warp.
Exécutez zkEVM( sur Starknet comme le projet Kakarot), réalisant la compatibilité des contrats intelligents Ethereum.
Dans l'ensemble, zkEVM s'efforce de reproduire l'environnement Ethereum, mais limite tout le potentiel de la preuve de validité. Cairo VM, en revanche, est conçu spécifiquement pour les systèmes de preuve de validité, sans être limité par l'EVM, permettant une extension d'Ethereum plus efficace. Avec le développement rapide de l'écosystème Cairo, les développeurs disposent désormais de plusieurs options pour étendre les applications de blockchain.