Dernier article de Vitalik: que devez-vous supprimer dans la phase de purge d’Ethereum

Auteur: Vitalik, fondateur d’Ethereum;

L’un des EIP inconnus de la récente fourche Dencun Hard Split est l’EIP-6780, qui supprime la majeure partie de la fonction de l’autodestructeur du code de fonctionnement.

Cet EIP est un exemple clé du développement de l’accord Ethereum.En éliminant la complexité et en ajoutantNouveauGarantie de sécurité pour simplifier les efforts de l’accord.Il s’agit d’une partie importante de la « purge » que j’appelle: rationaliser Ethereum et effacée des projets de dette technique.Il y aura plus de EIP avec un esprit similaire, doncIl vaut la peine de comprendre comment les objectifs de l’EIP-6780 et des autres EIP pourraient être effacés en purge à l’avenir.

Comment EIP-6780 simplifie-t-il l’accord Ethereum?

L’EIP-6780 réduit la fonction du code d’opération Selforencture.Cela n’a pas diminuéspécificationLa complexité.Cependant, il s’améliore en introduisant deux nouvelles variables invariablesaccomplirLe

1. Après EIP-6780, le nombre de créneaux de stockage pouvant être modifiés en un seul bloc est maximum (à peu près: limite de gaz / 5000).

2. Si le contrat a un code non empty au début de la transaction ou du bloc, il aura le même code à la fin de la transaction ou à la fin du bloc.

Auparavant, ces variables invariantes n’étaient pas vraies:

1,Auto-destructionUn contrat avec une grande quantité de fente de stockage peut effacer la quantité illimitée de fente de stockage dans un seul bloc.Cela rendra la réalisation de l’arbre Verkle plus difficile et rendra la mise en œuvre du client Ethereum plus compliqué, car ils ont besoin de code supplémentaire pour gérer efficacement cette situation spéciale.

2. Le code du contrat peut être changé de l’emploi et du vide par le vide par l’autodestruction.Il est difficile pour les transactions dans les portefeuilles abstraites de compte d’utiliser des bibliothèques de code sans être facilement attaqués par DOS.

Maintenant, ce ne sont pas des variablesTousTrue facilite la construction d’un client Ethereum et d’autres types d’infrastructure.Quelques années plus tard, j’espère que le futur EIP sera en mesure de terminer ce travail etAuto-destructionComplètement éliminé.

Quels autres «purges» sont en cours?

Geth a récemment supprimé des milliers de lignes de code et supprimé le support pour le réseau POW avant-fusion.
Cet EIP reflète officiellement un tel fait: nous n’avons plus besoin de code pour nous soucier des « comptes vides » (voir: EIP-161, il introduit ce concept dans le cadre de la réparation d’attaque de Shanghai DOS)
La fenêtre de stockage à Dencun est de 18 jours, ce qui signifie que les nœuds Ethereum n’ont besoin que d’environ 50 Go pour stocker les données BLOB, et ce nombre n’augmentera pas avec le temps avec le temps.

Les deux premiers ont considérablement amélioré l’expérience des développeurs de clients.Ce dernier a considérablement amélioré la durée de vie des opérateurs de nœuds.

Quelles autres choses qui peuvent nécessiter une purge?

Préréglage (précompiles)

La pré-compilation est le contrat Ethereum.Cette idée est que la pré-compilation peut être utilisée pour réaliser des formats complexes qui ne peuvent pas être mis en œuvre efficacement dans EVM.

Aujourd’hui, la pré-compilation est très réussie, en particulier l’application basée sur l’application basée sur la pré-compilation de la courbe ovale.Cependant, il existe d’autres pré-compilations qui utilisent rarement:

Rimemd-160: L’introduction de la fonction de hachage est de soutenir une meilleure compatibilité avec Bitcoin
Identité: Retour à la pré-compilation de la même sortie que l’entrée
Blake2: L’introduction de la fonction de hachage est de soutenir une meilleure compatibilité avec ZCash
ModexpIntroduire une très grande puissance de moisissure pour prendre en charge le cryptage basé sur RSA

Les faits ont prouvé que les besoins de ces pré-compilationsLoinCi-dessous que prévu.IdentitéIl est largement utilisé car il est le moyen le plus simple de copier des données, mais depuis Dencun, le code opérationnel Mcopy l’a remplacé.Malheureusement, ces pré-compilations sont une énorme source d’erreurs de consensus, et c’est aussi une énorme source de douleur obtenue par le nouvel EVM, y compris le circuit ZK-Snark, la vérification formelle d’une réalisation amicale.

Il existe deux façons de supprimer ces pré-compilations:

Supprimez simplement la pré-compilation, par exemple.EIP-7266 Deletes Blake2.C’est simple, mais il détruira toute application qui l’utilise toujours.
Remplacez la compilation de pré-compilation dans le bloc de code EVM qui effectue la même opération (bien qu’elle générera inévitablement des coûts de gaz plus élevés), par exemple.Ce projet EIP est effectué pour la pré-compilation de l’identité.C’est plus difficile, mais il ne détruira presque certainement pas l’application en l’utilisant (sauf s’il y a très peu de cas, le coût du gaz du nouveau code EVM dépasse celui de certaines limites de gaz de bloc d’entrée)

Bloc historique (EIP-4444)

Aujourd’hui, chaque nœud Ethereum devrait stocker en permanence tous les blocs historiques.Pendant longtemps, les gens ont toujours cru qu’il s’agit d’une méthode très gaspillée, et en raison des exigences de stockage élevées, il est devenu inutile d’exécuter le nœud Ethereum.À Dencun, nous avons présenté Blob, qui n’a besoin que de stocker environ 18 jours.Après avoir utilisé EIP-4444, après une période de temps, le bloc Ethereum sera également supprimé du nœud Ethereum par défaut.

Un problème clé à résoudre est: si les anciens enregistrements historiques ne sont pas stockés par chaque nœud, alors quoi utiliserViensEt ça?En fait, les grandes entités telles que les navigateurs de blocs le feront.Cependant, il est également possible de stocker et de passer le protocole P2P pour stocker et transmettre les informations, et ce n’est pas difficile, ce qui est plus optimisé pour les tâches.

La blockchain Ethereum est permanente, mais il est nécessaire que chaque nœud de stocker toutes les données pour toujours est un moyen très « exagéré » d’atteindre ce permanent.

Une façon consiste à cibler le réseau de torrent de points simples pour l’ancienne histoire.L’autre est un accord plus clair pour l’utilisation d’Ethereum, comme le réseau de portail.

Ou, le format du facteur:

La réduction du stockage du nœud Ethereum peut considérablement augmenter le nombre de personnes désireuses de nœuds.L’EIP-4444 peut également réduire le temps de synchronisation des nœuds, ce qui simplifie également le flux de travail de nombreux opérateurs de nœuds.Par conséquent, EIP-4444 peut améliorer considérablement la décentralisation des nœuds Ethereum.Potentiellement, si chaque nœud est par défaut d’une petite partie des enregistrements historiques, nous pouvons même stocker une copie de chaque enregistrement historique spécifique sur Internet comme aujourd’hui.

Réforme du journal

Citer ce projet EIP:

L’introduction originale du journal a été de permettre à l’application d’enregistrer des informations sur les événements sur la chaîne afin que les applications décentralisées (DAPP) puissent facilement interroger ces informations.À l’aide d’un filtre Bloom, DAPP pourra parcourir rapidement les enregistrements historiques, identifier plusieurs blocs contenant des journaux liés à son application, puis identifier rapidement les transactions uniques ont les journaux requis.

En fait, ce mécanisme est trop lent.Presque tous les DAPP qui visitent les enregistrements historiques ne sont pas en fin de compte via des appels RPC des nœuds Ethereum (et même des nœuds d’hébergement à distance), mais via des protocoles supplémentaires centralisés.

Que pouvons-nous faire?Nous pouvons supprimer le filtre Bloom et simplifierEnregistrerCode de fonctionnement, de cette façonilCe que vous faites est de créer une valeur qui a mis le hachage dans l’état.Ensuite, nous pouvons créer un protocole distinct, en utilisant ZK-Snark et un calcul accru incrémentiel (IVC) pour générer l’arbre de journal correct, cela indique que tous les journaux donnés qui sont faciles à rechercher le tableau de recherche facile à recherchersujetEt si vous avez besoin de journaux et d’applications que vous souhaitez être décentralisés, vous pouvez utiliser ces protocoles distincts.

Tournez-vous vers SSZ

Aujourd’hui, la plupart des structures de blocs (y compris les transactions et les reçus) d’Ethereum utilisent toujours un format obsolète basé sur les arbres RLP et Merkle Patricia pour le stockage.Cela rend les difficultés inutiles à développer des applications à l’aide de ces données.

La couche de consensus Ethereum s’est déplacée vers une simplification plus propre et plus efficace (SSZ):

>

Source: https://eth2book.info/altair/part2/building_blocks/merkleization/

Cependant, nous devons encore terminer la conversion et déplacer la couche d’exécution vers la même structure.

Les principaux avantages de SSZ comprennent:

Les spécifications sont plus simples et claires

Comparé à l’arbre hexagonal actuel de Merkle Patricia, dans la plupart des cas, la durée de la preuve de Merkle a été raccourcie de 4 fois

Par rapport au pire et au pire des cas, la durée de la preuve de Merkle est bornée (par exemple, le code du contrat ou la sortie de réception longue)

Pas besoin de réaliser le code d’opération de bits complexe (besoins RLP)

Pour les cas d’utilisation de ZK-Snark, la mise en œuvre existante de la mise en œuvre existante de l’arbre Binary Merkle peut être réutilisé

Aujourd’hui, il existe trois types de structures de données cryptées dans Ethereum: arbre binaire SHA256, liste de hachage RLP SHA3 et arbre Hexadecimal Patricia.Une fois que nous avons terminé la transition vers SSZ, nous n’en aurons que deux: arbre binaire SHA256 et Verkle.À long terme, une fois que nous nous débrouillons suffisamment bien dans le hachage de grondement, nous sommes susceptibles d’utiliser l’arbre Merkle binaire pour remplacer l’arbre binaire SHA256 et Verkle par l’arbre de merkle binaire qui utilise le hachage amical de Snark (une sorte de structure de données cryptée pour pour Tout Ethereum).