jakiro
Auteur: Vitalik; Compilation: Deng Tong, Vision de Bitchain
Merci pour les commentaires rapides et l’examen de Dankrad Feist, Caspar Schwarz-Schilling et Francesco.
Je m’assois ici pour écrire cet article le dernier jour de l’interaction des développeurs dans le Kenya Ethereum. Enregistrements en arrière-plan de l’EIP 4444.De mon propre point de vue, la vitesse de développement d’Ethereum et notre capacité à fournir des fonctions importantes et importantes sont continuellement améliorées.
L’équipe du client Ethereum travaille ensemble pour livrer PECTRA DEVNET
Compte tenu de l’amélioration des capacités techniques, une question importante qui doit être soulevée est: évoluons-nous vers le bon objectif?Une série de tweets insatisfaits récemment publiés par le développeur Geth Core à long terme Peter Szilagyi nous a incité à réfléchir à ce problème:
Ces préoccupations ont du sens.C’est une préoccupation pour de nombreuses personnes dans la communauté Ethereum.Je m’inquiétais personnellement de ces problèmes à plusieurs reprises.Cependant, je ne pense pas que la situation soit aussi désespérée que l’implique par les tweets de Peter.Au contraire, de nombreux problèmes ont été résolus par la fonction de protocole en cours, et de nombreux autres problèmes peuvent être résolus en effectuant des ajustements très réalistes à la feuille de route actuelle.
Pour comprendre ce que cela signifie dans la pratique, passons en revue trois exemples fournis par Peter un par un.Ces problèmes sont généralement préoccupés par de nombreuses communautés, et il est important de résoudre ces problèmes.
MEV et dépendance du constructeur
Dans le passé, le bloc Ethereum a été créé par des mineurs, et ils ont utilisé des algorithmes relativement simples pour créer des blocs.Les utilisateurs envoient des transactions aux réseaux P2P publics, généralement appelés « Mempool » (ou « Txpool »).Les mineurs écoutent le pool de mémoire, acceptent des transactions efficaces et des frais de paie.Ils incluent des transactions qui peuvent être effectuées.
Il s’agit d’un système très simple, et il est très convivial pour la décentralisation: en tant que mineur, il vous suffit d’exécuter le logiciel par défaut, et vous pouvez obtenir le même niveau de revenu du même niveau à partir d’une mine professionnelle élevée.Cependant,> « >Vers 2020, les gens ont commencé à utiliser les mineurs ainsi appelés pour extraire la valeur (MEV): ce n’est que par des stratégies compliquées que nous pouvons obtenir des revenus, ces stratégies comprennent les activités qui se produisent dans divers protocoles Defi.
Par exemple, considérez les échanges décentralisés comme uniswap.Supposons qu’au moment t, les échanges centralisés et les taux de change USD / ETH sur uniswap sont de 3 000 $.Dans T + 11, le taux de change USD / ETH de l’échange centralisé est passé à 3005 $.Mais Ethereum n’a pas de prochain bloc.Le temps t + 12 est en effet le cas.Peu importe qui a créé le bloc, leurs premières transactions peuvent être une série d’achats uniswap, achetant tous les ETH disponibles sur uniswap au prix de 3 000 $ à 3004 $.Il s’agit d’un revenu supplémentaire, appelé Mev.Il y a des problèmes similaires dans des applications autres que Dex.Le document Flash Boys 2.0 publié en 2019 l’a présenté en détail.
Le graphique du papier Flash Boys 2.0 montre le montant de revenu qui peut être obtenu en utilisant les méthodes ci-dessus.
> « >La question est que cela rompt la raison pour laquelle l’exploitation minière (proposition de bloc après 2022) peut être « juste »: maintenant, les grands participants avec une meilleure optimisation de capacité peuvent être obtenus dans chaque bloc plus bon retour.
Depuis lors, il y a eu une controverse entre les deux stratégies.> « >Mev Minimum et Mev Isolement.Il existe deux formes de MEV à minimiser: (i) développer activement l’alternative sans MEV d’UNISWAP (comme CowSwap), et (ii) pour construire une technologie interne dans l’accord, telles que les pools de mémoire cryptés pour réduire les informations disponibles pour Block Les producteurs, les réduisant ainsi peuvent obtenir des revenus.En particulier, le pool de mémoire crypté peut empêcher les stratégies telles que les sandwichs.
> « >Le principe de travail de l’isolement MEV est d’accepter MEVCependant, il essaie de limiter l’impact sur la centralisation de l’engagement en divisant le marché en deux participants: le vérificateur est responsable de la preuve et des blocs proposés, mais la tâche de sélection du contenu des blocs passera le protocole d’enchères.Les engagements individuels n’ont plus à s’inquiéter d’optimiser l’arbitrage Defi; ils se joignent à l’accord d’enchères et acceptent la plus haute offre.C’est ce qu’on appelle la séparation de la proposition / constructeur (PBS).Cette méthode a déjà un précédent dans d’autres industries: une raison principale pour que les restaurants maintiennent une telle décentralisation est qu’ils comptent souvent sur des fournisseurs considérables pour effectuer diverses entreprises, et ces entreprises ont une économie à grande échelle.Jusqu’à présent, PBS a réussi à garantir que les petites vérifications et les vérifications à grande échelle sont dans un environnement compétitif équitable, du moins pour MEV.> « >Cependant, cela porte une autre question: les tâches dont les transactions incluent plus de concentration.
> « >Mon opinion à ce sujet a toujours été que la minimisation de Mev est bonne.Par conséquent, nous avons également besoin d’un certain isolement MEV.Cela produit une tâche intéressante: comment rendre la « boîte d’isolement Mev » aussi petite que possible?Comment pouvons-nous donner aux constructeurs le moins possible, tout en leur permettant d’absorber le rôle de l’optimisation de l’arbitrage et d’autres formes de collection MEV?
Si le constructeur a le droit d’exclure complètement la transaction du bloc, il sera facile d’attaquer.Supposons que vous ayez des postes de dette hypothécaire (CDP) dans le protocole Defi et un soutien d’actifs qui a chuté rapidement par le prix.Vous souhaitez augmenter les hypothèques ou quitter le CDP.Les constructeurs malveillants peuvent essayer de se lancer et refuser d’inclure vos transactions, retardant ainsi la transaction jusqu’à ce que le prix tombe à une liquidation forcée de votre CDP.Si cela se produit, vous devrez payer une énorme amende et le constructeur obtiendra une grande partie.Alors, comment empêcher les constructeurs d’exclure les transactions et de terminer ces attaques?
C’est l’endroit où la liste contient la liste.
Source:Ethresear.ch
Y compris la liste a permis des propositions de blocs (c’est-à-dire les parties prenantes) pour choisir de saisir la transaction requise pour le bloc.Les constructeurs peuvent toujours trier ou insérer leurs propres transactions, mais ils doivent inclure la transaction de la proposition.En fin de compte, il a été modifié pour restreindre le bloc suivant au lieu du bloc actuel.Dans tous les cas, ils priveront la capacité des constructeurs à lancer pleinement la transaction.
MEV est un problème complexe; même la description ci-dessus a raté de nombreuses différences importantes.Comme vous l’avez dit,> « > »Vous ne cherchez peut-être pas MEV, mais Mev vous cherche »Essence> « >Les chercheurs d’Ethereum ont été très systématiquement engagés dans l’objectif de « minimiser la boîte d’isolement » et de minimiser le préjudice que le constructeur peut causer(Par exemple, un moyen d’attaquer ou de retarder les transactions comme attaquant des applications spécifiques).
En d’autres termes, je pense que nous pouvons aller plus loin.Historiquement, y compris les listes sont souvent considérées comme une « fonction de situation spéciale »: en général, vous ne les considérez pas, mais en cas de constructeurs malveillants commencer à faire des choses folles, ils vous donneront le « deuxième » chemin « … cette attitude se reflète dans La décision de conception actuelle: dans le PEI actuel, la limite de gaz contient une liste est d’environ 2,1 millions.
Je pense que l’idée de cette direction – promouvant la promotion de la boîte d’isolement aussi petite que possible – très intéressante, je suis d’accord avec cette direction.Ceci est la transformation de la « philosophie de l’ère 2021 »: dans la philosophie de l’ère 2021, nous sommes plus intéressés par cette idée: puisque nous avons maintenant les constructeurs, nous pouvons « surcharger » leurs fonctions, afin qu’ils puissent en faire plus dans un plus La manière compliquée d’une manière plus compliquée.> « >En soutenant le marché des coûts ERC-4337.Dans ce nouveau concept, la partie de vérification des transactions de l’ERC-4337 doit être incluse dans l’accord.Heureusement, l’équipe ERC-4337 est devenue de plus en plus enthousiaste à propos de cette direction.
Résumer:> « >La pensée de MEV est revenue dans la direction du producteur de blocs autorisé, y compris les producteurs de blocs pour s’assurer directement que les transactions utilisateur ont été incluses.La proposition d’abstraction du compte est revenue dans le sens d’éliminer la dépendance des parents centralisés et même des faisceaux.Cependant, il y a un bon argument selon lequel nous ne sommes pas loin.
Liquide
Aujourd’hui, la proportion de gages séparés dans tous les promesses d’Ethereum est relativement faible, et la plupart des engagements sont complétés par divers fournisseurs – certains opérateurs centraux et autres DAO, tels que Lido et Rocketpool.
我做了自己的研究 —— 各种民意调查 、调查、面对面对话 ， 提出问题 “为什么你 —— 特别是你 —— 今天不单独下注？” 对我来说 ， 到目前为止 ，> « >Un écosystème de gage séparé fort est le premier choix pour mon Ethereum promis, et l’une des meilleures choses d’Ethereum est que nous essayons réellement de soutenir un écosystème promis fort, plutôt que de simplement succomber à la Commission.Cependant, nous sommes encore loin de ce résultat.Dans mon enquête et enquête sur l’opinion publique, il existe des tendances cohérentes:
> « >La plupart des gens qui ne sont pas promis seuls attribuent leurs principales raisons à un minimum de 32 ETH.
Parmi ceux qui proposent d’autres raisons, le plus important est les défis techniques de l’exécution et de la maintenance du nœud du dispositif de vérification.
La perte de disponibilité instantanée par ETH, le risque de sécurité de la clé privée « chaude » et la perte de la capacité de participer au protocole Defi est tous des problèmes majeurs mais plus petits.
Les sondages de Farcaster montrent que les gens ne réalisent pas les principales raisons de l’engagement séparé.
> « >La recherche sur les engagements doit résoudre deux problèmes clés:
> « >Comment résoudre ces préoccupations?
> « >Bien qu’il existe des solutions efficaces à la plupart des problèmes, si la plupart des gens ne veulent toujours pas être individuellement, alors, comment pouvons-nous maintenir la stabilité et la robustesse de l’accord pour résister à l’attaque?
De nombreux projets de recherche et développement sont conçus pour résoudre ces problèmes:
L’arbre Verkle plus EIP-4444 permet au nœud de gage de fonctionnement à un disque dur très bas.De plus, ils permettent au nœud de gage de gage de simplifier presque immédiatement, ce qui simplifie considérablement le processus de réglage et les opérations d’une réalisation à une autre.Ils réduisent également la bande passante de données requise pour chaque accès d’état pour rendre les clients Ethereum Light plus réalisables.
Les études (par exemple, ces propositions) permettent un ensemble d’authentification plus important (la plus petite valeur de gage), tout en réduisant la méthode de la surcharge du nœud consensuel.Ces idées peuvent être mises en œuvre dans le cadre de la partie ultime de la groove unique.Cela rendra également le client léger plus sûr car il sera en mesure de vérifier un ensemble complet de signatures au lieu de s’appuyer sur le comité synchrone).
Malgré les histoires croissantes, le coût et la difficulté de l’optimisation du client Ethereum réduisent en permanence le coût et la difficulté d’exécuter les nœuds de dispositifs de vérification.
Des études sur la limite supérieure de la punition peuvent réduire les préoccupations concernant les risques privés de clés et permettre aux engagements de promettre leur ETH au protocole Defi en même temps (s’ils le souhaitent).
Le bon de retrait 0x01 permet aux promis de définir l’adresse ETH sur l’adresse de retrait.Cela rend la piscine de gage décentralisée plus réalisable, ce qui le rend plus avantageux que les piscines de gage centralisées.
Cependant, nous pouvons encore en faire plus.Théoriquement, permet aux vérifications de se retirer plus rapidement: même si l’authentificateur définit à chaque détermination finale (c’est-à-dire une fois à chaque fois), plusieurs points de pourcentage se produiront et Casper FFG est toujours sûr.Par conséquent, si nous travaillons dur, nous pouvons raccourcir considérablement le cycle.Si nous voulons réduire considérablement la plus petite échelle de dépôt, nous pouvons prendre des décisions difficiles et les peser dans d’autres directions.Par exemple, si nous augmenterons la dernière fois de 4 fois, la plus petite échelle de dépôt diminuera de 4 fois.La nature finale de la rainure unique sera résolue en dépassant complètement le modèle « chaque Pledker pour participer à chaque époque ».
Une autre partie importante de tout le problème est l’économie de l’engagement.Une question clé est la suivante: voulons-nous être un événement relativement niche, ou voulons-nous que tout le monde ou presque tout le monde s’engage à l’ETH?Si tout le monde est promis, quelles responsabilités voulons-nous que tout le monde supporte?Si les gens attribuent enfin leurs responsabilités en raison de la paresse, ils peuvent éventuellement conduire à la centralisation.Il y a ici des problèmes philosophiques importants et profonds.La mauvaise réponse peut amener Ethereum à prendre une route centralisée, et « réintégrer le système financier traditionnel à travers des étapes supplémentaires »; Pisse de gage.Ces problèmes impliquent l’économie et les valeurs centrales d’Ethereum, nous avons donc besoin d’une participation plus diversifiée.
Exigences matérielles de nœud
> « >Beaucoup des principaux problèmes d’Ethereum décentralisés sont finalement attribués à un problème qui définit la blockchain pendant dix ans: comment voulons-nous exécuter facilement les nœuds et comment y parvenir?
Aujourd’hui, il est difficile d’exécuter des nœuds.La plupart des gens ne font pas cela.Sur l’ordinateur portable que j’ai utilisé pour écrire cet article, j’ai un nœud Reth qui occupe 2,1 TB-est déjà le résultat de l’ingénierie logicielle héroïque et de l’optimisation.J’ai besoin d’acheter un disque dur supplémentaire de 4 To et de le mettre dans mon ordinateur portable pour stocker le nœud.Nous voulons tous exécuter des nœuds plus facilement.Dans mon monde idéal, les gens pourront exécuter des nœuds sur les téléphones mobiles.
Comme je l’ai écrit ci-dessus, les EIP-4444 et Verkle Tree sont deux technologies clés qui nous rapprochent de cet idéal.Si les deux sont réalisés, la demande matérielle des nœuds peut éventuellement être réduite à moins de cent octets propices.Le type 1 ZK-EVM éliminera vos propres besoins pour exécuter EVM, car vous pouvez simplement vérifier les preuves de l’exécution correcte.Dans mon monde idéal, nous empilons toutes ces technologies ensemble, et même le portefeuille étendu du navigateur Ethereum (comme Metamask, Rabby) a également un nœud construit pour vérifier ces preuves, effectuer des échantillons d’utilisation des données et nous assurer que la chaîne est correcte .
La vision ci-dessus est généralement appelée « le verge ».
Ceci est bien connu et compris, même ceux qui s’inquiètent de la taille des nœuds Ethereum.Cependant, il y a une préoccupation importante: si nous avons déchargé l’état de maintenance et la responsabilité de fournir des preuves, n’est-ce pas un vecteur centralisé?Même s’ils ne peuvent pas tromper les données en fournissant des données non valides, ne s’appuient-elles pas trop qu’elles violent le principe d’Ethereum?
Cette version récente des préoccupations est l’inconfort de nombreuses personnes pour EIP-4444: si le nœud Ethereum conventionnel n’a plus besoin de stocker d’anciens documents historiques, qui a besoin?Une réponse courante est: il doit y avoir suffisamment de grands participants (tels que les navigateurs de blocs, les échanges, les couches 2) avec la motivation pour conserver ces données, et comparé à 100 PB stockés par la machine Wayback, la chaîne Ethereum est très petite.Par conséquent, il est ridicule de penser que toute histoire sera réellement perdue.
Cependant, cet argument dépend d’un petit nombre de grands participants.Dans ma classification du modèle de confiance, il s’agit d’une hypothèse en n, mais n est très petite.Cela présente son risque de queue.Une chose que nous pouvons faire est de stocker les anciens enregistrements historiques du réseau de pairs, et chaque nœud stocke uniquement une petite partie des données.Ce type de réseau sera toujours suffisamment reproduit pour assurer la stabilité: chaque données aura des milliers de copies, et à l’avenir, nous pouvons utiliser le code Cornerstone (en fait, l’enregistrement historique est mis dans le blob du style EIP-4844, et cela a été construit en codes tactiques) pour améliorer encore la stabilité.
Blob a un code de correction entre Blob et Blob.Le moyen le plus simple de fournir à tous les histoires d’Ethereum un stockage exagéré est susceptible de mettre la balise et le bloc d’exécution dans le blob.Source de l’image: Codex.storage
Depuis longtemps, ce travail a été dans une position secondaire.Le réseau de portail existe, mais en fait, il n’attire pas l’attention sur l’importance de son importance future dans Ethereum.Heureusement,> « >Désormais, les gens ont un fort intérêt dans l’élan pour investir plus de ressources dans le portail minimisée du stockage distribué et de l’accès historique.Nous devons travailler ensemble pour implémenter l’EIP-4444 dès que possible, et faire correspondre le puissant réseau point à point décentralisé pour stocker et récupérer les anciens enregistrements historiques.
Pour l’état et le ZK-EVM, cette méthode distribuée est plus difficile.Pour construire un bloc efficace, il vous suffit d’avoir un état complet.Dans ce cas, j’ai personnellement tendance à adopter une méthode pragmatique: nous définissons et insistons pour avoir un certain degré de matériel requis pour que « le nœud fasse tout », ce qui est plus élevé que celui des nœuds de vérification simples (idéalement, constamment constamment constamment constamment constamment La chaîne de coûts est réduite, mais elle est encore assez basse et les amateurs peuvent se le permettre.Nous comptons sur 1 hypothèse en n pour nous assurer que N est assez grand.
> « >ZK-EVM prouve que c’est peut-être la partie la plus délicate, Leo-EVM en temps réel peut devoir être plus puissant que les nœuds d’archives, même avec des progrès comme Binius et la pire limite de frontière entre le gaz multidimensionnel.Nous pouvons travailler dur sur la preuve distribuée du réseau, chacune étant responsable de la preuve, telle qu’un pour cent de l’exécution du bloc, puis le producteur de blocs n’a besoin que de agréger une centaine de certificats à la fin.Prouvez que l’arbre d’agrégation peut fournir plus d’aide.Mais si cela ne peut pas bien fonctionner, un autre compromis est que les exigences matérielles autorisées à être prouvées sont devenues plus élevées, mais pour s’assurer que « Node faire tout » peut vérifier directement le bloc Ethereum (pas de certificat), la vitesse est suffisamment rapide et suffisamment efficace pour être suffisamment efficace.
Résumer
À mon avis, tant qu’il existe un mécanisme de marché ou un système de preuve de connaissance zéro pour forcer les participants centralisés à faire l’honnêteté, Ethereum pensait à l’ère 2021 est en effet habitué à transférer des responsabilités aux grands participants minoritaires.Ces systèmes se déroulent généralement bien dans des circonstances normales, mais les défaillances catastrophiques se produisent dans le pire des cas.
Dans le même temps, je pense qu’il est nécessaire de souligner que la proposition actuelle du protocole Ethereum s’est considérablement écartée de ce modèle et prend plus au sérieux les besoins de réseaux vraiment décentralisés.Les idées de nœuds sans état, de relief MEV, d’endalité de tranche à temps et de concepts similaires sont allés plus loin dans cette direction.Il y a un an, les gens ont sérieusement considéré l’idée de l’échantillonnage de la disponibilité des données via le relais comme un nœud demi-center.Cette année, nous n’avons plus besoin de faire ces choses, Peerdas a fait de forts progrès surprenants.
Cependant, dans les trois problèmes centraux que j’ai mentionnés ci-dessus et de nombreux autres problèmes importants, nous pouvons faire beaucoup de choses pour aller plus loin dans cette direction.Helios a fait de grands progrès en fournissant des «vrais clients légers» pour Ethereum.Maintenant, nous devons l’inclure dans le portefeuille Ethereum par défaut, et laisser le fournisseur RPC fournir une preuve et ses résultats afin de le vérifier et d’étendre la technologie du client léger à l’accord du deuxième étage.Si Ethereum élargit la feuille de route centrée sur Rollup, la deuxième couche doit obtenir la même garantie de sécurité et décentralisée que la première couche.Dans le monde centré sur le rollup, il y a beaucoup d’autres choses que nous devons prendre plus au sérieux;De nombreux DAPP obtiennent des journaux via des protocoles centralisés, car la numérisation du journal d’Ethereum devient trop lente.Nous pouvons améliorer cela grâce à un sous-agence décentralisé décentralisé;
> « >Il y a des projets de blockchain presque illimités visant « nous pouvons être super rapides, nous considérerons la décentralisation plus tard ».Je pense que Ethereum ne devrait pas rejoindre ces rangs.Ethereum L1 peut et bien sûr être une puissante couche de base du projet du deuxième étage qui utilise une grande méthode à l’échelle, en utilisant Ethereum comme pilier de décentralisation et de sécurité.Même la méthode centrée sur la deuxième couche nécessite que la première couche elle-même ait une évolutivité suffisante pour gérer un grand nombre d’opérations.mais> « >Nous devons respecter profondément les caractéristiques uniques d’Ethereum et continuer à travailler dur pour maintenir et améliorer ces caractéristiques avec l’expansion d’Ethereum.
