L'avenir possible du protocole Ethereum ( six ): prospérité
La phase de prospérité contient de nombreux "détails" qui sont essentiels au succès d'Ethereum. Environ la moitié du contenu concerne diverses améliorations de l'EVM, tandis que le reste est composé d'une série de sujets de niche.
Amélioration de l'EVM
problème résolu
Actuellement, l'EVM est difficile à analyser statiquement, ce qui rend la création de mises en œuvre efficaces, la vérification formelle du code et l'extension ultérieure difficiles. De plus, l'efficacité de l'EVM est faible, rendant difficile la mise en œuvre de nombreuses formes de cryptographie avancée, sauf par un soutien explicite via des précompilations.
principe de fonctionnement
Le format d'objet EVM ( EOF ) est la première étape de la feuille de route d'amélioration actuelle de l'EVM, prévue pour être intégrée dans le prochain hard fork. EOF spécifie une nouvelle version du code EVM, avec plusieurs caractéristiques :
Séparation du code et des données
Interdire les redirections dynamiques
Le code EVM ne peut pas observer les informations liées au carburant
Ajouter un mécanisme de sous-routine explicite
Les anciens contrats continueront d'exister, mais pourraient finalement être progressivement abandonnés. Les nouveaux contrats bénéficieront des gains d'efficacité apportés par l'EOF.
Les mises à jour futures incluent l'extension arithmétique du module EVM ( EVM-MAX ) et les caractéristiques SIMD ( à instruction unique et données multiples ). Celles-ci peuvent être utilisées pour accélérer diverses formes de calculs cryptographiques.
recherche existante
EOF:
EVM-MAX:
SIMD:
travail restant
Le plan EOF sera inclus dans le prochain hard fork. Il est nécessaire de réaliser des fonctionnalités similaires à EVM-MAX et SIMD, et de réaliser des tests de référence sur la consommation de gas des différentes opérations cryptographiques.
avec les autres parties de la feuille de route
L'ajustement de l'EVM pour L1 permet également des ajustements plus faciles pour L2. L'EVM-MAX et SIMD peuvent réduire les coûts en gas de nombreux systèmes de preuve, rendant L2 plus efficace.
Abstraction de compte
problème résolu
Actuellement, les transactions ne peuvent être vérifiées que par des signatures ECDSA. L'abstraction du compte vise à permettre à la logique de validation du compte d'être tout code EVM, permettant ainsi une variété d'applications :
Passer à la cryptographie résistante aux quanta
Rotation de clé
Portefeuille à signatures multiples et récupération sociale
Clé de niveau
Prise en charge du protocole de confidentialité sans relais
principe de fonctionnement
ERC-4337 est une solution pour réaliser "l'abstraction idéale des comptes". Elle divise le traitement des opérations des utilisateurs en deux étapes : la vérification et l'exécution, afin de prévenir les attaques par défaillance multiple.
EIP-7701 réalise l'abstraction des comptes au-dessus de l'EOF, permettant aux comptes d'avoir une partie de code de validation distincte.
La recherche existante
Historique de l'abstraction de compte:
ERC-4337:
EIP-7701:
travail restant
Il est nécessaire de résoudre comment intégrer complètement l'abstraction des comptes dans le protocole. Le principal compromis est "écrire rapidement une solution qui satisfait peu de personnes" contre "attendre plus longtemps, peut-être obtenir une solution plus idéale".
avec d'autres parties de la feuille de route
La liste incluse doit prendre en charge les transactions d'abstraction de compte. La mise en œuvre de l'abstraction de compte doit être coordonnée autant que possible entre L1 et L2.
Amélioration EIP-1559
problème résolu
EIP-1559 a amélioré le temps moyen d'inclusion des blocs, mais des problèmes subsistent:
La formule présente quelques défauts.
Dans des cas extrêmes, l'ajustement n'est pas assez rapide.
Le Gas multidimensionnel peut résoudre le problème d'inefficacité des prix des ressources en établissant des prix et des limites différents pour différentes ressources.
Principe de fonctionnement
EIP-7706 introduit une nouvelle dimension de gas spécifiquement pour calldata et simplifie le mécanisme de Gas multidimensionnel. EIP-7623 propose des solutions plus précises, limitant strictement le maximum de calldata.
recherche existante
FAQ EIP-1559 :
Multi-Gas:
travail restant
Le principal compromis de Gas multidimensionnel est l'augmentation de la complexité du protocole et de la complexité de l'algorithme de remplissage de blocs optimal. Des recherches supplémentaires sont nécessaires pour trouver le point d'équilibre idéal.
avec les autres parties de la feuille de route
Le Gas multidimensionnel peut réduire l'utilisation des ressources dans certains "pire scénarios" et diminuer la pression sur la performance d'optimisation. La présence de l'Eof facilite la mise en œuvre de versions plus extrêmes du Gas multidimensionnel.
Fonction de délai vérifiable ( VDFs )
problème résolu
La randomisation actuelle de RANDAO donne à chaque proposeur "1 point de contrôle". Le VDF peut fournir une source de randomisation plus robuste.
principe de fonctionnement
La VDF est une fonction qui ne peut être calculée que de manière séquentielle et ne peut pas être accélérée par parallélisation. Les entrées sont basées sur les informations disponibles à un moment T, et la sortie est disponible à un moment donné après T. Le principal risque est l'optimisation accidentelle.
La recherche existante
Site de recherche VDF:
travail restant
Il est nécessaire de trouver une construction VDF qui répond entièrement aux besoins d'Ethereum. Le principal compromis est entre fonctionnalité et complexité du protocole ainsi que les risques de sécurité.
avec d'autres parties de la feuille de route
Le VDF est relativement indépendant dans le protocole Ethereum, en plus d'améliorer la sécurité du choix des proposeurs, il peut également être utilisé pour des applications en chaîne dépendant du hasard et des pools de mémoire cryptographique.
Obfuscation et signature unique
problème résolu
Ces primitives cryptographiques avancées permettent de réaliser des applications de tiers sans confiance plus puissantes, offrant presque une sécurité et une garantie de confidentialité parfaites.
principe de fonctionnement
Indiscernable et confus, il est permis de créer des "programmes cryptographiques" qui exécutent des calculs arbitraires tout en cachant les détails internes. La signature quantique à usage unique peut empêcher la copie du programme.
La recherche existante
protocole indistinguable de confusion (2021):
Comment l'obfuscation aide Ethereum :
travail restant
Indistinguable confusion reste encore très immature, nécessitant une mise en œuvre plus efficace. Les ordinateurs quantiques n'ont pas encore été réalisés. Le principal compromis concerne les hypothèses de sécurité.
avec d'autres parties de la feuille de route
Ces puissantes primitives cryptographiques pourraient révolutionner le jeu, simplifier la conception des protocoles, et renforcer la sécurité et la protection de la vie privée. Les premiers avantages apparaîtront au niveau des applications, mais cela pourrait avoir des effets disruptifs.
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.
19 J'aime
Récompense
19
4
Partager
Commentaire
0/400
gas_guzzler
· Il y a 23h
L'analyse statique est cruciale.
Voir l'originalRépondre0
PonziDetector
· Il y a 23h
La mise à niveau du système est imminente.
Voir l'originalRépondre0
TaxEvader
· Il y a 23h
L'amélioration de l'efficacité est la clé de la prospérité.
Feuille de route de mise à niveau du protocole Ethereum : amélioration de l'EVM, abstraction de compte et renforcement de la sécurité
L'avenir possible du protocole Ethereum ( six ): prospérité
La phase de prospérité contient de nombreux "détails" qui sont essentiels au succès d'Ethereum. Environ la moitié du contenu concerne diverses améliorations de l'EVM, tandis que le reste est composé d'une série de sujets de niche.
Amélioration de l'EVM
problème résolu
Actuellement, l'EVM est difficile à analyser statiquement, ce qui rend la création de mises en œuvre efficaces, la vérification formelle du code et l'extension ultérieure difficiles. De plus, l'efficacité de l'EVM est faible, rendant difficile la mise en œuvre de nombreuses formes de cryptographie avancée, sauf par un soutien explicite via des précompilations.
principe de fonctionnement
Le format d'objet EVM ( EOF ) est la première étape de la feuille de route d'amélioration actuelle de l'EVM, prévue pour être intégrée dans le prochain hard fork. EOF spécifie une nouvelle version du code EVM, avec plusieurs caractéristiques :
Les anciens contrats continueront d'exister, mais pourraient finalement être progressivement abandonnés. Les nouveaux contrats bénéficieront des gains d'efficacité apportés par l'EOF.
Les mises à jour futures incluent l'extension arithmétique du module EVM ( EVM-MAX ) et les caractéristiques SIMD ( à instruction unique et données multiples ). Celles-ci peuvent être utilisées pour accélérer diverses formes de calculs cryptographiques.
recherche existante
travail restant
Le plan EOF sera inclus dans le prochain hard fork. Il est nécessaire de réaliser des fonctionnalités similaires à EVM-MAX et SIMD, et de réaliser des tests de référence sur la consommation de gas des différentes opérations cryptographiques.
avec les autres parties de la feuille de route
L'ajustement de l'EVM pour L1 permet également des ajustements plus faciles pour L2. L'EVM-MAX et SIMD peuvent réduire les coûts en gas de nombreux systèmes de preuve, rendant L2 plus efficace.
Abstraction de compte
problème résolu
Actuellement, les transactions ne peuvent être vérifiées que par des signatures ECDSA. L'abstraction du compte vise à permettre à la logique de validation du compte d'être tout code EVM, permettant ainsi une variété d'applications :
principe de fonctionnement
ERC-4337 est une solution pour réaliser "l'abstraction idéale des comptes". Elle divise le traitement des opérations des utilisateurs en deux étapes : la vérification et l'exécution, afin de prévenir les attaques par défaillance multiple.
EIP-7701 réalise l'abstraction des comptes au-dessus de l'EOF, permettant aux comptes d'avoir une partie de code de validation distincte.
La recherche existante
travail restant
Il est nécessaire de résoudre comment intégrer complètement l'abstraction des comptes dans le protocole. Le principal compromis est "écrire rapidement une solution qui satisfait peu de personnes" contre "attendre plus longtemps, peut-être obtenir une solution plus idéale".
avec d'autres parties de la feuille de route
La liste incluse doit prendre en charge les transactions d'abstraction de compte. La mise en œuvre de l'abstraction de compte doit être coordonnée autant que possible entre L1 et L2.
Amélioration EIP-1559
problème résolu
EIP-1559 a amélioré le temps moyen d'inclusion des blocs, mais des problèmes subsistent:
Le Gas multidimensionnel peut résoudre le problème d'inefficacité des prix des ressources en établissant des prix et des limites différents pour différentes ressources.
Principe de fonctionnement
EIP-7706 introduit une nouvelle dimension de gas spécifiquement pour calldata et simplifie le mécanisme de Gas multidimensionnel. EIP-7623 propose des solutions plus précises, limitant strictement le maximum de calldata.
recherche existante
travail restant
Le principal compromis de Gas multidimensionnel est l'augmentation de la complexité du protocole et de la complexité de l'algorithme de remplissage de blocs optimal. Des recherches supplémentaires sont nécessaires pour trouver le point d'équilibre idéal.
avec les autres parties de la feuille de route
Le Gas multidimensionnel peut réduire l'utilisation des ressources dans certains "pire scénarios" et diminuer la pression sur la performance d'optimisation. La présence de l'Eof facilite la mise en œuvre de versions plus extrêmes du Gas multidimensionnel.
Fonction de délai vérifiable ( VDFs )
problème résolu
La randomisation actuelle de RANDAO donne à chaque proposeur "1 point de contrôle". Le VDF peut fournir une source de randomisation plus robuste.
principe de fonctionnement
La VDF est une fonction qui ne peut être calculée que de manière séquentielle et ne peut pas être accélérée par parallélisation. Les entrées sont basées sur les informations disponibles à un moment T, et la sortie est disponible à un moment donné après T. Le principal risque est l'optimisation accidentelle.
La recherche existante
travail restant
Il est nécessaire de trouver une construction VDF qui répond entièrement aux besoins d'Ethereum. Le principal compromis est entre fonctionnalité et complexité du protocole ainsi que les risques de sécurité.
avec d'autres parties de la feuille de route
Le VDF est relativement indépendant dans le protocole Ethereum, en plus d'améliorer la sécurité du choix des proposeurs, il peut également être utilisé pour des applications en chaîne dépendant du hasard et des pools de mémoire cryptographique.
Obfuscation et signature unique
problème résolu
Ces primitives cryptographiques avancées permettent de réaliser des applications de tiers sans confiance plus puissantes, offrant presque une sécurité et une garantie de confidentialité parfaites.
principe de fonctionnement
Indiscernable et confus, il est permis de créer des "programmes cryptographiques" qui exécutent des calculs arbitraires tout en cachant les détails internes. La signature quantique à usage unique peut empêcher la copie du programme.
La recherche existante
travail restant
Indistinguable confusion reste encore très immature, nécessitant une mise en œuvre plus efficace. Les ordinateurs quantiques n'ont pas encore été réalisés. Le principal compromis concerne les hypothèses de sécurité.
avec d'autres parties de la feuille de route
Ces puissantes primitives cryptographiques pourraient révolutionner le jeu, simplifier la conception des protocoles, et renforcer la sécurité et la protection de la vie privée. Les premiers avantages apparaîtront au niveau des applications, mais cela pourrait avoir des effets disruptifs.