Dernière revue AMA de la Fondation Ethereum : ensemble de validateurs, nombre aléatoire, DVT, direction technique

Compilation originale : GaryMa Wu dit blockchain

Le 12 juillet, l'équipe de recherche de la Fondation Ethereum a organisé la 10e AMA sur le forum reddit. Les membres de la communauté peuvent poser des questions dans le message et les membres de l'équipe de recherche y répondront. Wu a déclaré que les questions/points techniques pertinents impliqués dans cette AMA sont résumés et compilés comme suit :

**1. Lié à la sortie du validateur : permet au validateur de retirer le certificat de sa couche d'exécution (0x 01) pour déclencher la sortie. Si le solde est inférieur à 16 ETH (une pénalité de travail relâché ou un événement de coupure se produit), le validateur sera Le seuil de 16 ETH est-il trop bas ? **

Ceci est principalement lié au projet EIP-7002. Il est entendu que Danny Ryan et d'autres développeurs de recherche ont publié conjointement le projet EIP-7002, qui vise à permettre aux validateurs de retirer les informations d'identification de leur couche d'exécution (0x 01) pour déclencher la sortie vers le chaîne marquée. Étant donné que le validateur a deux clés, la clé active et le certificat de retrait, mais actuellement, seule la clé active peut initier la sortie du validateur, ce qui signifie que dans toute relation de séquestre non standard, le titulaire du certificat de retrait ne peut pas s'exclure et commencer le processus de retrait. Pour garantir que les jetons de retrait détenus par les EOA et les contrats intelligents peuvent contrôler l'ETH jalonné sans confiance, cette spécification permet aux jetons de retrait 0x 01 de déclencher des sorties. Cette proposition bénéficiera au développement de pistes telles que le staking liquide et la vérification distribuée, favorisera davantage la décentralisation de la chaîne des balises, et en même temps mieux gérera les risques, tels que la perte de clés privées, ou la perte de vérificateurs DVT avec la plupart Connexions à clé partagée, etc.

2. Problème de nombre aléatoire : RANDAO + VDF

RANDAO est un moyen de générer des nombres aléatoires. Supposons qu'il y ait 10 élèves dans la classe et que l'enseignant veuille sélectionner au hasard un élève pour lui donner une récompense. La méthode de sélection donnée par l'enseignant est que tous les élèves donnent un nombre aléatoire en même temps, l'enseignant additionne les 10 nombres aléatoires obtenus, et le dernier nombre obtenu est le reste de 10, et le nombre restant est l'élève qui doit être sélectionné. Cependant, un problème peut en fait être trouvé à partir du processus de fonctionnement RANDAO ci-dessus. Si un camarade de classe triche et donne des nombres aléatoires à 9 camarades de classe, il peut alors choisir un nombre qui lui est le plus avantageux en fonction des informations sur les nombres aléatoires données par 9 camarades de classe, de sorte que le résultat final pointe vers lui. Par conséquent, le fonctionnement efficace de RANDAO nécessite la mise en place d'un mécanisme anti-triche, c'est-à-dire qu'une certaine méthode est nécessaire pour s'assurer que tout le monde donne des réponses en même temps. VDF a également été utile. Le nom complet de VDF est Verifiable Delay Function.La caractéristique importante de cette fonction est que le processus de calcul pour obtenir le résultat ne peut pas être calculé en parallèle, c'est-à-dire qu'il ne peut pas être accéléré. Cependant, une fois le résultat obtenu, la quantité de calculs pour vérifier le résultat est très faible. VDF est réalisé par une fonction de hachage, et la caractéristique de calcul lent et de vérification rapide de la fonction de hachage est également cohérente avec la nature de VDF.

Cependant, les membres de l'équipe de recherche ont déclaré que l'économie ultime d'essayer d'exploiter cette vulnérabilité du "dernier proposant" n'est peut-être pas idéale, et une telle tromperie pourrait sérieusement nuire à la réputation du validateur.

**3. SSV (Secret Sharing Verifier) et DVT (Distributed Verifier Technology) sont-ils "indispensables" pour Ethereum ? **

Avec un jalonnement d'Ethereum dépassant 20 %, face au risque de centralisation des opérateurs de nœuds potentiels, deux membres de l'équipe de recherche ont déclaré qu'une telle technologie pourrait être une solution « incontournable » à court et moyen terme.

Justin Drake a déclaré que sa réflexion récente a partiellement changé, car à long terme, si les signatures One-shot sont mises en œuvre, l'importance de ces défis liés aux risques sera considérablement réduite. Cependant, les signatures uniques peuvent prendre des décennies à atteindre, de sorte que la DVT sera une solution plus efficace à court et moyen terme.

Les signatures uniques sont un type particulier de signature cryptographique dans laquelle la clé privée ne peut être utilisée que pour signer un seul message. Il peut résoudre de nombreux problèmes de longue date dans le domaine de la blockchain, offrant de nombreux avantages tels que des pénalités de sortie, une finalité parfaite, un jalonnement de liquidités sans confiance, etc.

**4. Le solde effectif maximum : l'augmentation de la limite supérieure de l'engagement du validateur (32 ETH), peut réduire le nombre de validateurs dans le réseau, afin d'obtenir une finalité de transaction plus rapide (finalité à un seul emplacement), comme : 1) 32 ETH La limite supérieure de , mais la limite supérieure du nombre de vérificateurs de réseau ; 2) S'il faut considérer le nombre d'attestations de vérificateurs (attestations) dans le poids du vote. **

L'option 1 créerait un marché pour l'échange des qualifications de validateur existantes, introduisant un risque de sécurité potentiellement grave.

L'option 2 changera le modèle de sécurité du protocole et réduira la difficulté pour les attaquants de réorganiser la chaîne.

Il y a eu une récente proposition de la communauté d'augmenter le solde maximal du validateur actif de 32 ETH à 2048 ETH pour aider à réduire la croissance de l'ensemble de validateurs actifs.

**5. Quel est l'état d'avancement actuel de l'élection SSLE/Single Secret Leader ? **

Vitalik a déclaré que SSLE en est encore au stade de la recherche.Puisque le non-secret du chef n'a pas été prouvé comme étant un problème, la priorité de SSLE sera relativement faible.

ps : Élection d'un chef secret unique, actuellement les proposants sélectionnés pour chaque Slot de la chaîne de balises seront divulgués à l'avance, ce qui les rend vulnérables aux attaques DoS. La dernière solution crypte et cache ce processus, et seul le proposant connaît son identité, ce qui peut efficacement atténuer les risques potentiels.

**6. Y a-t-il une mise à jour sur la feuille de route technique actuelle d'Ethereum ? **

Vitalik a déclaré que la plupart d'entre eux progressent comme prévu. Bien sûr, il y a aussi des priorités réajustées. Par exemple, en avril, en raison de la vulnérabilité Mev-Boost, des vérificateurs malveillants ont attaqué des robots MEV. À l'heure actuelle, PBS au niveau du protocole sera amélioré (séparation des proposants et des constructeurs) Les inquiétudes concernant les risques de sécurité potentiels introduits par le re-staking (re-staking) augmenteront la priorité d'optimisation et de simplification de l'expérience de staking en solo.

De plus, dans la direction générale, ce qui doit être priorisé est d'aider efficacement beaucoup de choses au niveau de l'écosystème, comme les portefeuilles intelligents ERC-4337 doivent atteindre un cross-L2 amical et améliorer l'efficacité du gaz.

**7. L'EIP 4844 peut-il résoudre le problème de fragmentation de la liquidité des L1 et L2 ? **

La composabilité immédiate des zk-rollups (qui peut ne pas être possible entre les OP Rollups) ne dépend pas de l'achèvement de l'EIP 4844. L'espace de conception pour la coordination composable entre les zk-rollups est énorme. Par exemple, l'une des solutions possibles est d'avoir un zk-rollup minimum dédié comme agrégation de liquidité.

**8. Justin Drake a proposé une idée appelée Based Rollups pour résoudre le problème de tri des Rollups (tri en L1). A-t-elle déjà été appliquée ? **

Les cumuls basés (ou cumuls appelés ordre L1) signifient que l'ordre du réseau Rollup se produit sur le L1 sur lequel il est basé (dans la plupart des cas, le réseau Ethereum). Plus précisément, dans le cas d'Ethereum, cela signifie que les Seekers, Builders et Proposers du réseau participent tous à la commande du réseau Rollup.

Les rollups basés présentent de nombreux avantages par rapport aux réseaux rollup traditionnels qui gèrent eux-mêmes le tri. Premièrement, ils dépendent d'Ethereum pour commander des transactions et bénéficient ainsi de l'activité d'Ethereum. Lorsque nous avons discuté des risques des différents Rollups ci-dessus, nous avons constaté que si les ordonnateurs ou les validateurs échouent, de nombreux problèmes peuvent survenir, mais pour les Rollups basés, à moins qu'il n'y ait un problème avec le réseau Ethereum, il n'y a pas un tel risque. De plus, il existe des avantages tels que la décentralisation et l'absence de jetons.

Taiko, l'un des projets Layer 2 zkEVM, sera publié sous la forme de Based Rollups.

Certaines personnes peuvent confondre et penser que les cumuls basés utiliseront le pool de mémoire partagé avec L1, mais ce n'est pas le cas, les cumuls auront leur propre pool de mémoire.

**9. Préoccupations concernant le risque de centralisation pour les constructeurs de blocs ? **

Justin Drake a déclaré que le marché actuel des constructeurs est en fait très centralisé (voir le principal risque de la centralisation des constructeurs est la censure, et la meilleure solution actuelle consiste à mettre aux enchères certains blocs, tels que les listes d'inclusion (listes d'inclusion), les suffixes de proposition (proposer suffixes), modifications des suffixes du proposant : pré-engagement et mempool chiffré, destruction de MEV, etc.

**10. Si le nombre de validateurs dépasse 1 million cette année, le réseau principal pourra-t-il fonctionner de manière stable ? Combien de validateurs le réseau principal peut-il actuellement prendre en charge ? **

A l'heure actuelle, l'équipe client indique que le nombre de vérificateurs que le réseau principal peut supporter se situe entre 1 et 2 millions. La communauté des développeurs mène également des explorations connexes.Le prochain testnet, Holesky, comptera 1 million de vérificateurs.

** 11. La Fondation Ethereum sera-t-elle dissoute ? Quelle sera la fin de la Fondation ? **

Justin Drake a déclaré que la Fondation Ethereum n'a aucun revenu et que certaines conférences sont généralement à but non lucratif et n'utiliseront pas l'ETH dans le Trésor pour s'engager à générer des revenus. Si la trésorerie de la Fondation Ethereum est épuisée, le financement pourrait provenir de deux sources :

● Infrastructure publique de financement des produits au sein de l'écosystème ;

● Budget Ethereum L1 relativement faible ;

**12. À l'heure actuelle, il n'existe pas de solution technique mature pour l'exécution des opérations de cumul croisé. Quelles sont vos opinions et suggestions ? **

Vitalik a déclaré qu'il ne pense pas que les cas d'utilisation de l'exécution de transactions de cumuls croisés synchrones soient élevés, et l'exécution de transactions de cumuls croisés asynchrones est acceptable et qu'il existe de nombreux cas d'utilisation. L'exécution commerciale synchrone à travers les cumuls ressemble plus à un domaine de définition ésotérique, et si nous le découvrons, cela améliorera certainement l'efficacité du marché dans une certaine mesure, mais sinon nous pouvons nous en passer entièrement.

** 13. Si la performance des cumuls tombe dans un goulot d'étranglement à l'avenir, est-il possible que le double partitionnement de l'étape précédente d'Ethereum revienne à l'étape ? **

Justin Drake a déclaré que l'exécution du sharding ne fournit pas plus d'expansion.En outre, le goulot d'étranglement des Rollups est les données plutôt que l'exécution. Nous pouvons en fait considérer chaque réseau rollup comme un fragment d'exécution.

Tant que l'EVM L1 implémentera SNARKified (étape The Verge de la feuille de route Ethereum), Ethereum aura un rollup consacré (un rollup qui bénéficie d'une sorte d'intégration consensuelle sur L1).On peut également dire qu'Ethereum a un rollup consacré au niveau du consensus L1 Effectuez le partitionnement. Une fois le travail acharné de SNARKifying terminé, il devient relativement facile dans l'EVM L1 d'exposer la logique de vérification SNARK elle-même en tant qu'opcodes EVM. De cette façon, un nombre illimité de rollups enchâssés peuvent être réalisés.Au niveau du consensus Ethereum, ces rollups enchâssés sont comme le partage d'exécution du réseau principal, avec une évolutivité et la même sécurité que le réseau principal.

Lien d'origine