Validité des Rollups : le meilleur choix pour l'extension d'Ethereum ?
Les Validity Rollups (également appelés zk-rollups) sont considérés comme la solution la plus prometteuse pour améliorer le débit d'Ethereum de manière sécurisée et décentralisée. Le cœur de cette solution d'extension repose sur l'utilisation de preuves de validité pour le calcul vérifiable. Son fonctionnement est le suivant :
L'opérateur décharge l'exécution des transactions dans un environnement hors chaîne (deuxième couche). Après avoir traité un grand nombre de transactions, l'opérateur de la deuxième couche renvoie les résultats pour les appliquer à l'état d'Ethereum, tout en fournissant une preuve de validité de l'intégrité de l'exécution hors chaîne. Cette preuve garantit que toutes les transactions dans le lot sont valides et sont automatiquement vérifiées par un contrat de validateurs en chaîne. Cela permet à Ethereum d'appliquer les résultats à son état.
Il convient de noter que les Validity Rollups sont souvent appelés à tort des résumés à connaissance nulle, mais ce n'est pas exact. La plupart des Validity Rollups n'utilisent pas de preuves à connaissance nulle et ne sont pas utilisées pour garantir la confidentialité. Par conséquent, le terme "Validity Rollup" est plus approprié.
Dans les Validity Rollups, zkEVM et Cairo VM (CVM) sont deux types de machines virtuelles couramment 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é.
La machine virtuelle (VM) est un environnement capable d'exécuter des programmes, similaire à l'exécution du système d'exploitation Windows sur un Mac. Elle change d'état entre différents états après avoir traité certaines entrées. La machine virtuelle Ethereum (EVM) est la VM qui exécute les contrats intelligents Ethereum.
La machine virtuelle à connaissance nulle ( zkVM ) est un environnement d'exécution de programme capable de générer des preuves de validité faciles à vérifier, afin de prouver qu'un programme a été exécuté correctement. "zkEVM" fait généralement référence à l'utilisation de la machine virtuelle Ethereum ( EVM ) et capable de prouver le résumé de l'exécution de l'EVM. Ce terme peut être trompeur, car l'EVM elle-même ne génère pas ces preuves ; les preuves sont générées par un mécanisme de preuve indépendant, basé sur les résultats de l'exécution de l'EVM. De plus, ces preuves se concentrent principalement sur la validité plutôt que sur la confidentialité, donc elles ne sont pas strictement des preuves à connaissance nulle.
zkEVM vise à intégrer entièrement l'expérience Ethereum dans une blockchain Layer-2. Il essaie de reproduire l'environnement Ethereum pour les développeurs, leur permettant d'écrire ou de porter des contrats intelligents vers des solutions plus évolutives sans avoir à modifier le code ou à abandonner les outils EVM. Cependant, le principal inconvénient de cette approche est la réduction du potentiel d'évolutivité des preuves de validité. En raison de son engagement envers la compatibilité avec Ethereum, zkEVM est plus lent et consomme plus de ressources.
En comparaison, Starknet utilise Cairo VM (CVM), un nouveau type de VM spécialement conçu pour optimiser l'efficacité des preuves de validité. Cairo VM permet aux développeurs de personnaliser en fonction des besoins spécifiques et est équipé de fonctionnalités pour répondre aux nouvelles exigences.
Le langage Cairo a été initialement conçu pour simplifier le processus de création de preuves de validité computationnelle. Les programmes Cairo sont compilés en code machine algébrique, exécuté par une VM fixe. Cette approche permet aux développeurs d'utiliser des preuves de validité pour étendre leurs applications sans avoir à comprendre en profondeur les mathématiques sous-jacentes et l'infrastructure.
Starknet offre une diversité de méthodes de codage. Les développeurs peuvent choisir d'écrire du code nativement en Cairo ou d'utiliser des outils de compatibilité avec Solidity. Par exemple, le compilateur Warp peut traduire du code Solidity en Cairo, tandis que Kakarot est un zkEVM écrit en Cairo qui peut exécuter des contrats intelligents Ethereum sur Starknet.
Dans l'ensemble, zkEVM vise à reproduire l'environnement Ethereum, mais pourrait limiter le potentiel des preuves de validité. Le Cairo VM est spécifiquement conçu pour les systèmes de preuves de validité, sans être contraint par l'EVM, offrant ainsi une plus grande efficacité et flexibilité. Avec le développement continu de l'écosystème Starknet, les développeurs disposent maintenant d'un contrôle sans précédent sur l'évolutivité de la 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.
14 J'aime
Récompense
14
5
Reposter
Partager
Commentaire
0/400
BearMarketMonk
· Il y a 21h
L'extension tout ça n'est pas un problème, ce qui compte c'est si v胖 va faire du point shaving~
Validity Rollups et zkEVM : explorer les avantages et inconvénients des solutions d'extension d'Ethereum
Validité des Rollups : le meilleur choix pour l'extension d'Ethereum ?
Les Validity Rollups (également appelés zk-rollups) sont considérés comme la solution la plus prometteuse pour améliorer le débit d'Ethereum de manière sécurisée et décentralisée. Le cœur de cette solution d'extension repose sur l'utilisation de preuves de validité pour le calcul vérifiable. Son fonctionnement est le suivant :
L'opérateur décharge l'exécution des transactions dans un environnement hors chaîne (deuxième couche). Après avoir traité un grand nombre de transactions, l'opérateur de la deuxième couche renvoie les résultats pour les appliquer à l'état d'Ethereum, tout en fournissant une preuve de validité de l'intégrité de l'exécution hors chaîne. Cette preuve garantit que toutes les transactions dans le lot sont valides et sont automatiquement vérifiées par un contrat de validateurs en chaîne. Cela permet à Ethereum d'appliquer les résultats à son état.
Il convient de noter que les Validity Rollups sont souvent appelés à tort des résumés à connaissance nulle, mais ce n'est pas exact. La plupart des Validity Rollups n'utilisent pas de preuves à connaissance nulle et ne sont pas utilisées pour garantir la confidentialité. Par conséquent, le terme "Validity Rollup" est plus approprié.
Dans les Validity Rollups, zkEVM et Cairo VM (CVM) sont deux types de machines virtuelles couramment 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é.
La machine virtuelle (VM) est un environnement capable d'exécuter des programmes, similaire à l'exécution du système d'exploitation Windows sur un Mac. Elle change d'état entre différents états après avoir traité certaines entrées. La machine virtuelle Ethereum (EVM) est la VM qui exécute les contrats intelligents Ethereum.
La machine virtuelle à connaissance nulle ( zkVM ) est un environnement d'exécution de programme capable de générer des preuves de validité faciles à vérifier, afin de prouver qu'un programme a été exécuté correctement. "zkEVM" fait généralement référence à l'utilisation de la machine virtuelle Ethereum ( EVM ) et capable de prouver le résumé de l'exécution de l'EVM. Ce terme peut être trompeur, car l'EVM elle-même ne génère pas ces preuves ; les preuves sont générées par un mécanisme de preuve indépendant, basé sur les résultats de l'exécution de l'EVM. De plus, ces preuves se concentrent principalement sur la validité plutôt que sur la confidentialité, donc elles ne sont pas strictement des preuves à connaissance nulle.
zkEVM vise à intégrer entièrement l'expérience Ethereum dans une blockchain Layer-2. Il essaie de reproduire l'environnement Ethereum pour les développeurs, leur permettant d'écrire ou de porter des contrats intelligents vers des solutions plus évolutives sans avoir à modifier le code ou à abandonner les outils EVM. Cependant, le principal inconvénient de cette approche est la réduction du potentiel d'évolutivité des preuves de validité. En raison de son engagement envers la compatibilité avec Ethereum, zkEVM est plus lent et consomme plus de ressources.
En comparaison, Starknet utilise Cairo VM (CVM), un nouveau type de VM spécialement conçu pour optimiser l'efficacité des preuves de validité. Cairo VM permet aux développeurs de personnaliser en fonction des besoins spécifiques et est équipé de fonctionnalités pour répondre aux nouvelles exigences.
Le langage Cairo a été initialement conçu pour simplifier le processus de création de preuves de validité computationnelle. Les programmes Cairo sont compilés en code machine algébrique, exécuté par une VM fixe. Cette approche permet aux développeurs d'utiliser des preuves de validité pour étendre leurs applications sans avoir à comprendre en profondeur les mathématiques sous-jacentes et l'infrastructure.
Starknet offre une diversité de méthodes de codage. Les développeurs peuvent choisir d'écrire du code nativement en Cairo ou d'utiliser des outils de compatibilité avec Solidity. Par exemple, le compilateur Warp peut traduire du code Solidity en Cairo, tandis que Kakarot est un zkEVM écrit en Cairo qui peut exécuter des contrats intelligents Ethereum sur Starknet.
Dans l'ensemble, zkEVM vise à reproduire l'environnement Ethereum, mais pourrait limiter le potentiel des preuves de validité. Le Cairo VM est spécifiquement conçu pour les systèmes de preuves de validité, sans être contraint par l'EVM, offrant ainsi une plus grande efficacité et flexibilité. Avec le développement continu de l'écosystème Starknet, les développeurs disposent maintenant d'un contrôle sans précédent sur l'évolutivité de la blockchain.