Validité des Rollups : Le chemin doré de l'extension d'Ethereum
Les Validity Rollups (VRs) sont considérés comme la technologie la plus prometteuse pour améliorer le débit d'Ethereum de manière sécurisée et décentralisée. Dans ce domaine, le zkEVM et le Cairo VM (CVM) sont deux principales solutions d'implémentation de machine virtuelle.
Le zkEVM se concentre sur la compatibilité avec Ethereum, mais ce choix sacrifie dans une certaine mesure les performances et l'évolutivité. En revanche, le Cairo VM adopté par Starknet place les performances et l'évolutivité en priorité, plutôt que la compatibilité totale.
Le cœur des Validity Rollups est d'utiliser des preuves de validité pour des calculs vérifiables. Leur fonctionnement consiste à transférer le traitement des transactions dans un environnement hors chaîne, c'est-à-dire de niveau 2. Après avoir traité un grand nombre de transactions, l'opérateur soumet les résultats et les preuves au réseau principal Ethereum, où des contrats intelligents vérifient l'intégrité de l'exécution.
Il convient de noter que le terme "rollup à connaissance nulle" est souvent utilisé, mais n'est en réalité pas précis. La plupart des Validity Rollup n'utilisent pas de preuves à connaissance nulle et ne sont pas conçus pour protéger la vie privée.
Une machine virtuelle est un environnement capable d'exécuter des programmes, tout comme faire fonctionner un système Windows sur un Mac. La machine virtuelle Ethereum (EVM) est l'environnement dans lequel les contrats intelligents Ethereum sont exécutés. La machine virtuelle à connaissance nulle (zkVM) est un type d'environnement d'exécution spécial qui exécute non seulement des programmes, mais génère également des preuves de validité faciles à vérifier.
Le zkEVM tente de reproduire l'expérience d'Ethereum au niveau 2, permettant aux développeurs de bénéficier d'une plus grande évolutivité sans avoir à modifier leur code ou leurs outils. Cependant, cette approche pose également certains défis, principalement parce que l'EVM n'a pas été conçu en tenant compte de l'efficacité des preuves.
Le modèle basé sur la pile de l'EVM, sa dépendance au hachage Keccak et aux grands arbres Merkle Patricia rendent la génération de preuves de validité difficile et gourmande en ressources. C'est pourquoi différentes implémentations de zkEVM ont fait des compromis variés entre compatibilité Ethereum et performance.
En comparaison, Cairo VM est spécialement conçu pour générer efficacement des preuves de validité. Il utilise un nouveau langage de haut niveau, Cairo, qui est optimisé pour la génération de preuves. Les avantages de Cairo VM incluent :
Chaque instruction a une représentation algébrique efficace.
Des langages similaires à Rust sont utilisés pour écrire des programmes vérifiables
La représentation intermédiaire entre le Cairo avancé et l'assemblage de Cairo améliore l'efficacité d'exécution.
Cairo non seulement simplifie le processus de preuve des calculs complexes, mais offre également aux développeurs plusieurs options de codage. Les développeurs peuvent écrire du code directement en Cairo, ou utiliser Solidity via un transpileur ou en exécutant zkEVM sur Starknet.
Bien que Cairo soit encore jeune, il est déjà devenu le quatrième langage de contrat intelligent par TVL, attirant d'importants investissements.
Dans l'ensemble, zkEVM et Cairo VM représentent deux approches différentes de l'évolutivité. zkEVM vise à reproduire l'environnement Ethereum, mais cela pourrait limiter le potentiel du système de preuve. Le Cairo VM, quant à lui, est spécialement conçu pour les systèmes de preuve, bien qu'il sacrifie une certaine compatibilité, il présente des avantages clairs en termes d'efficacité et d'évolutivité.
Avec le développement continu des applications sur Starknet, Cairo montre un potentiel puissant. À l'avenir, les développeurs auront plus de choix pour étendre la blockchain, les Validity Rollups joueront sans aucun doute un rôle important dans l'extension d'Ethereum.
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.
12 J'aime
Récompense
12
2
Reposter
Partager
Commentaire
0/400
WalletDivorcer
· Il y a 18h
Après avoir joué si longtemps, je ne comprends toujours pas ce que signifie layer2.
Validity Rollups : zkEVM et Cairo VM ouvrent une nouvelle ère d'évolutivité pour Ethereum
Validité des Rollups : Le chemin doré de l'extension d'Ethereum
Les Validity Rollups (VRs) sont considérés comme la technologie la plus prometteuse pour améliorer le débit d'Ethereum de manière sécurisée et décentralisée. Dans ce domaine, le zkEVM et le Cairo VM (CVM) sont deux principales solutions d'implémentation de machine virtuelle.
Le zkEVM se concentre sur la compatibilité avec Ethereum, mais ce choix sacrifie dans une certaine mesure les performances et l'évolutivité. En revanche, le Cairo VM adopté par Starknet place les performances et l'évolutivité en priorité, plutôt que la compatibilité totale.
Le cœur des Validity Rollups est d'utiliser des preuves de validité pour des calculs vérifiables. Leur fonctionnement consiste à transférer le traitement des transactions dans un environnement hors chaîne, c'est-à-dire de niveau 2. Après avoir traité un grand nombre de transactions, l'opérateur soumet les résultats et les preuves au réseau principal Ethereum, où des contrats intelligents vérifient l'intégrité de l'exécution.
Il convient de noter que le terme "rollup à connaissance nulle" est souvent utilisé, mais n'est en réalité pas précis. La plupart des Validity Rollup n'utilisent pas de preuves à connaissance nulle et ne sont pas conçus pour protéger la vie privée.
Une machine virtuelle est un environnement capable d'exécuter des programmes, tout comme faire fonctionner un système Windows sur un Mac. La machine virtuelle Ethereum (EVM) est l'environnement dans lequel les contrats intelligents Ethereum sont exécutés. La machine virtuelle à connaissance nulle (zkVM) est un type d'environnement d'exécution spécial qui exécute non seulement des programmes, mais génère également des preuves de validité faciles à vérifier.
Le zkEVM tente de reproduire l'expérience d'Ethereum au niveau 2, permettant aux développeurs de bénéficier d'une plus grande évolutivité sans avoir à modifier leur code ou leurs outils. Cependant, cette approche pose également certains défis, principalement parce que l'EVM n'a pas été conçu en tenant compte de l'efficacité des preuves.
Le modèle basé sur la pile de l'EVM, sa dépendance au hachage Keccak et aux grands arbres Merkle Patricia rendent la génération de preuves de validité difficile et gourmande en ressources. C'est pourquoi différentes implémentations de zkEVM ont fait des compromis variés entre compatibilité Ethereum et performance.
En comparaison, Cairo VM est spécialement conçu pour générer efficacement des preuves de validité. Il utilise un nouveau langage de haut niveau, Cairo, qui est optimisé pour la génération de preuves. Les avantages de Cairo VM incluent :
Cairo non seulement simplifie le processus de preuve des calculs complexes, mais offre également aux développeurs plusieurs options de codage. Les développeurs peuvent écrire du code directement en Cairo, ou utiliser Solidity via un transpileur ou en exécutant zkEVM sur Starknet.
Bien que Cairo soit encore jeune, il est déjà devenu le quatrième langage de contrat intelligent par TVL, attirant d'importants investissements.
Dans l'ensemble, zkEVM et Cairo VM représentent deux approches différentes de l'évolutivité. zkEVM vise à reproduire l'environnement Ethereum, mais cela pourrait limiter le potentiel du système de preuve. Le Cairo VM, quant à lui, est spécialement conçu pour les systèmes de preuve, bien qu'il sacrifie une certaine compatibilité, il présente des avantages clairs en termes d'efficacité et d'évolutivité.
Avec le développement continu des applications sur Starknet, Cairo montre un potentiel puissant. À l'avenir, les développeurs auront plus de choix pour étendre la blockchain, les Validity Rollups joueront sans aucun doute un rôle important dans l'extension d'Ethereum.