Nouvelle ère d'extension d'Ethereum : preuve en temps réel et Rollup natif
Ethereum entre dans une nouvelle ère d'extension, où la technologie des preuves à divulgation nulle devient un moteur clé. Cet article explorera les défis techniques des preuves en temps réel, la logique de participation des prouveurs, les défis de sécurité lors du processus de transition L1, et comment le Rollup natif peut devenir la forme ultime d'extension ZK.
Preuve en temps réel : la pièce maîtresse de l'extension d'Ethereum
La preuve en temps réel est un point de rupture clé pour l'achèvement de haute performance d'Éther. Cela signifie que le processus de génération de la preuve ZK pour un bloc du réseau principal Ethereum est complété en moins de 12 secondes. Une fois réalisé, Ethereum pourra intégrer la logique de validation des blocs dans le protocole lui-même, augmentant considérablement la limite de Gas tout en garantissant la vérifiabilité, permettant une grande échelle d'extension L1.
La mise en œuvre de preuves en temps réel nécessite non seulement la technologie zkVM, mais également des modifications au niveau du protocole Ethereum. La mise à niveau Glamsterdam prévue pour l'année prochaine introduira un mécanisme de "découplage de la validation des blocs et de l'exécution immédiate", offrant aux prouveurs plus de temps pour générer des preuves zkEVM.
Une équipe technique a publié le dernier SP1 Hypercube zkVM, capable de générer des preuves en temps réel pour 93 % des blocs de la chaîne principale sur un cluster de 200 GPU. Ils sont confiants de pouvoir porter le taux de succès à 99 % d'ici la fin de l'année.
Ethereum envisage également de réduire le temps de bloc de 12 secondes à 6 secondes, ce qui améliorera l'expérience utilisateur et la vitesse de confirmation des transactions, mais cela exercera également une pression supplémentaire sur les validateurs. Cependant, étant donné que la technologie ZK peut augmenter ses performances par 10 chaque année, nous croyons qu'elle pourra relever ce défi.
Exigences matérielles pour les prouveurs ZK d'Ethereum
La génération en temps réel de preuves ZK nécessite des ressources de calcul puissantes. L'objectif technique préliminaire fixé par la Fondation Ethereum pour les validateurs est : contrôler le coût matériel en dessous de 100 000 dollars et consommer moins de 10 kilowatts d'électricité.
Certaines personnes estiment que cette exigence est trop élevée, mais en réalité, les rôles des prouveurs et des validateurs sont différents. Les validateurs font fonctionner des nœuds et participent au consensus, tandis que la tâche des prouveurs est de générer des preuves ZK. Une fois la preuve générée, le réseau n'a qu'à vérifier si cette preuve est correcte, sans avoir à réexécuter la transaction.
Actuellement, la configuration matérielle de 100 000 dollars n'est qu'un objectif initial. On s'attend à ce qu'au début de l'année prochaine, la demande de GPU puisse être réduite à environ 16 cartes graphiques, avec un coût total contrôlé entre 10 000 et 30 000 dollars.
Une équipe a mis en place un réseau décentralisé composé de centaines de validateurs sur le testnet. Le système utilise un mécanisme de preuve compétitif, permettant aux participants ayant un temps plus court et des coûts plus bas de l'emporter, formant ainsi un mécanisme similaire à une enchère de puissance de calcul. Cela signifie que, dans l'avenir d'Ethereum propulsé par ZK, l'esprit des mineurs se manifestera sous une autre forme.
Changement de la chaîne principale vers une architecture ZK : les défis de la migration du système
Passer le réseau principal L1 d'Ethereum à une architecture ZK est un défi technologique majeur qui nécessite une reconstruction de la couche de protocole et la prise en compte de divers risques potentiels. Les risques possibles incluent l'insertion par des attaquants malveillants d'un "tueur de prouveur" entraînant une défaillance du mécanisme de validation, ou une chute soudaine de l'activité du réseau affectant la durabilité, etc.
Le processus de transition complet peut prendre plusieurs années. La machine virtuelle ZK, en tant que technologie précoce, peut présenter des vulnérabilités, mais à mesure que l'écosystème mûrit, sa faisabilité et sa robustesse peuvent être améliorées par des systèmes de preuve diversifiés, des mécanismes d'incitation perfectionnés et une vérification formelle.
Ethereum prévoit également de procéder à une restructuration de la couche de consensus, en construisant une nouvelle structure appelée "Beam Chain", dont l'objectif est d'être optimisé pour ZK dès la conception. À l'avenir, tout le travail de validation des données d'Ethereum pourrait être effectué sur le CPU d'un ordinateur portable ordinaire.
Mainnet "Snarkification" : Perspectives pour le Rollup natif
Avec l'intégration de zkEVM sur le réseau principal Ethereum, le concept de Rollup natif commence à émerger. Les Rollups actuels utilisent un système de preuve indépendant, ce qui implique une certaine hypothèse de confiance entre eux et le réseau principal Ethereum. La vision du Rollup natif est de permettre aux validateurs Ethereum L1 de vérifier directement les preuves de transition d'état des Rollups, réalisant ainsi un L2 véritablement vérifié par le réseau principal, garantissant la sécurité par le réseau principal.
Cela nécessite l'ajout du code "execute precompile" dans le client L1 d'Ethereum, permettant aux validateurs de vérifier directement les preuves de transfert d'état ZK générées par L2. Si cela est mis en œuvre, à l'avenir, que ce soit pour les transactions sur L1 ou sur les Rollup natifs, leur règlement final et leur sécurité seront garantis par le même groupe de validateurs d'Ethereum, le niveau de confiance étant complètement équivalent.
Les Rollups natifs peuvent être hétérogènes, offrant aux utilisateurs une expérience d'application plus diversifiée et différenciée. Bien qu'ils ne soient pas encore officiellement intégrés dans la feuille de route d'Ethereum, avec le lancement de zkEVM et la reconstruction de l'architecture L1, la définition d'interfaces et la logique de précompilation pour cela sont devenues une tendance technologique prévisible.
Il existe une forte synergie technique dans Ethereum entre la mise en œuvre de l'EVM Snark et la promotion des Rollups natifs. Ce processus doit encore passer par la gouvernance communautaire pour former des propositions d'amélioration d'Ethereum, qui seront déployées lors de forks majeurs. Dans un scénario optimiste, des propositions connexes pourraient être soumises d'ici la fin de l'année et mises en ligne lors du fork après la mise à niveau de Glamsterdam. Cependant, ce calendrier reste très incertain et doit être considéré avec prudence.
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.
6 J'aime
Récompense
6
5
Reposter
Partager
Commentaire
0/400
GasFeeNightmare
· Il y a 17h
Enfin, je n'ai plus besoin de m'appuyer sur les inscriptions lowb pour prendre les pigeons.
Voir l'originalRépondre0
MindsetExpander
· Il y a 23h
Eh, on voit tout de suite que Zisha exagère pour prendre les gens pour des idiots.
Voir l'originalRépondre0
MEVictim
· Il y a 23h
Cette gas coûtera encore à monter au ciel...
Voir l'originalRépondre0
ImpermanentPhobia
· Il y a 23h
Vitalik Buterin, dépêche-toi, quand est-ce que ce sera terminé ?
Voir l'originalRépondre0
DeFiGrayling
· Il y a 23h
J'en ai marre d'attendre combien de temps encore pour l'extension d'Ethereum.
Nouveau chapitre sur l'extension de l'Ethereum : percées technologiques en preuve en temps réel et Rollup natif.
Nouvelle ère d'extension d'Ethereum : preuve en temps réel et Rollup natif
Ethereum entre dans une nouvelle ère d'extension, où la technologie des preuves à divulgation nulle devient un moteur clé. Cet article explorera les défis techniques des preuves en temps réel, la logique de participation des prouveurs, les défis de sécurité lors du processus de transition L1, et comment le Rollup natif peut devenir la forme ultime d'extension ZK.
Preuve en temps réel : la pièce maîtresse de l'extension d'Ethereum
La preuve en temps réel est un point de rupture clé pour l'achèvement de haute performance d'Éther. Cela signifie que le processus de génération de la preuve ZK pour un bloc du réseau principal Ethereum est complété en moins de 12 secondes. Une fois réalisé, Ethereum pourra intégrer la logique de validation des blocs dans le protocole lui-même, augmentant considérablement la limite de Gas tout en garantissant la vérifiabilité, permettant une grande échelle d'extension L1.
La mise en œuvre de preuves en temps réel nécessite non seulement la technologie zkVM, mais également des modifications au niveau du protocole Ethereum. La mise à niveau Glamsterdam prévue pour l'année prochaine introduira un mécanisme de "découplage de la validation des blocs et de l'exécution immédiate", offrant aux prouveurs plus de temps pour générer des preuves zkEVM.
Une équipe technique a publié le dernier SP1 Hypercube zkVM, capable de générer des preuves en temps réel pour 93 % des blocs de la chaîne principale sur un cluster de 200 GPU. Ils sont confiants de pouvoir porter le taux de succès à 99 % d'ici la fin de l'année.
Ethereum envisage également de réduire le temps de bloc de 12 secondes à 6 secondes, ce qui améliorera l'expérience utilisateur et la vitesse de confirmation des transactions, mais cela exercera également une pression supplémentaire sur les validateurs. Cependant, étant donné que la technologie ZK peut augmenter ses performances par 10 chaque année, nous croyons qu'elle pourra relever ce défi.
Exigences matérielles pour les prouveurs ZK d'Ethereum
La génération en temps réel de preuves ZK nécessite des ressources de calcul puissantes. L'objectif technique préliminaire fixé par la Fondation Ethereum pour les validateurs est : contrôler le coût matériel en dessous de 100 000 dollars et consommer moins de 10 kilowatts d'électricité.
Certaines personnes estiment que cette exigence est trop élevée, mais en réalité, les rôles des prouveurs et des validateurs sont différents. Les validateurs font fonctionner des nœuds et participent au consensus, tandis que la tâche des prouveurs est de générer des preuves ZK. Une fois la preuve générée, le réseau n'a qu'à vérifier si cette preuve est correcte, sans avoir à réexécuter la transaction.
Actuellement, la configuration matérielle de 100 000 dollars n'est qu'un objectif initial. On s'attend à ce qu'au début de l'année prochaine, la demande de GPU puisse être réduite à environ 16 cartes graphiques, avec un coût total contrôlé entre 10 000 et 30 000 dollars.
Une équipe a mis en place un réseau décentralisé composé de centaines de validateurs sur le testnet. Le système utilise un mécanisme de preuve compétitif, permettant aux participants ayant un temps plus court et des coûts plus bas de l'emporter, formant ainsi un mécanisme similaire à une enchère de puissance de calcul. Cela signifie que, dans l'avenir d'Ethereum propulsé par ZK, l'esprit des mineurs se manifestera sous une autre forme.
Changement de la chaîne principale vers une architecture ZK : les défis de la migration du système
Passer le réseau principal L1 d'Ethereum à une architecture ZK est un défi technologique majeur qui nécessite une reconstruction de la couche de protocole et la prise en compte de divers risques potentiels. Les risques possibles incluent l'insertion par des attaquants malveillants d'un "tueur de prouveur" entraînant une défaillance du mécanisme de validation, ou une chute soudaine de l'activité du réseau affectant la durabilité, etc.
Le processus de transition complet peut prendre plusieurs années. La machine virtuelle ZK, en tant que technologie précoce, peut présenter des vulnérabilités, mais à mesure que l'écosystème mûrit, sa faisabilité et sa robustesse peuvent être améliorées par des systèmes de preuve diversifiés, des mécanismes d'incitation perfectionnés et une vérification formelle.
Ethereum prévoit également de procéder à une restructuration de la couche de consensus, en construisant une nouvelle structure appelée "Beam Chain", dont l'objectif est d'être optimisé pour ZK dès la conception. À l'avenir, tout le travail de validation des données d'Ethereum pourrait être effectué sur le CPU d'un ordinateur portable ordinaire.
Mainnet "Snarkification" : Perspectives pour le Rollup natif
Avec l'intégration de zkEVM sur le réseau principal Ethereum, le concept de Rollup natif commence à émerger. Les Rollups actuels utilisent un système de preuve indépendant, ce qui implique une certaine hypothèse de confiance entre eux et le réseau principal Ethereum. La vision du Rollup natif est de permettre aux validateurs Ethereum L1 de vérifier directement les preuves de transition d'état des Rollups, réalisant ainsi un L2 véritablement vérifié par le réseau principal, garantissant la sécurité par le réseau principal.
Cela nécessite l'ajout du code "execute precompile" dans le client L1 d'Ethereum, permettant aux validateurs de vérifier directement les preuves de transfert d'état ZK générées par L2. Si cela est mis en œuvre, à l'avenir, que ce soit pour les transactions sur L1 ou sur les Rollup natifs, leur règlement final et leur sécurité seront garantis par le même groupe de validateurs d'Ethereum, le niveau de confiance étant complètement équivalent.
Les Rollups natifs peuvent être hétérogènes, offrant aux utilisateurs une expérience d'application plus diversifiée et différenciée. Bien qu'ils ne soient pas encore officiellement intégrés dans la feuille de route d'Ethereum, avec le lancement de zkEVM et la reconstruction de l'architecture L1, la définition d'interfaces et la logique de précompilation pour cela sont devenues une tendance technologique prévisible.
Il existe une forte synergie technique dans Ethereum entre la mise en œuvre de l'EVM Snark et la promotion des Rollups natifs. Ce processus doit encore passer par la gouvernance communautaire pour former des propositions d'amélioration d'Ethereum, qui seront déployées lors de forks majeurs. Dans un scénario optimiste, des propositions connexes pourraient être soumises d'ici la fin de l'année et mises en ligne lors du fork après la mise à niveau de Glamsterdam. Cependant, ce calendrier reste très incertain et doit être considéré avec prudence.