Quelle devrait la prochaine mise à niveau après la division dure à Cancun d’Ethereum?

Le but de cet article est de décrire l’équipe de paradigme Reth^{[4]Pour la fourche dure de Prague, Prague est la prochaine fourche El Hard après Cankun, et l’aperçu de notre plan « El Core Development » 2024.Les opinions suivantes sont en cours de développement, et seule la vision actuelle de l’équipe RETH ne représente pas nécessairement une équipe de paradigme plus large.}

Nous pensons que la fourche dure de Prague peut être réalisée sur le réseau d’essais Ethereum au troisième trimestre de 2024, et elle sera réalisée sur le réseau principal à la fin de l’année.

Il devrait inclure:

Tout EIP lié à l’engagement, tel que EIP-7002, permet de redémarrer et de ne pas être un étang.

Changements EVM indépendants.

Nous sommes prêts à coopérer avec toute équipe que nous voulons étudier plus loin Prague ou d’autres futurs scissions durs El, et être disposées à guider ou à fournir des conseils pour modifier l’emplacement de la bibliothèque de code Reth.

soutien:

Nous pensons que le PEI suivant doit être prioritaire: 7002^{[5], 6110[6], 2537[7]Essence}

Nous soutenons l’EOF, tels que les spécifications^{[8]En cela, j’espère déterminer la portée dès que possible et créer un méta -eip pour promettre de se conformer à la portée.}

Nous sommes prêts^{[9]Version.Nous n’avons aucune opinion sur les bons chiffres, mais nous invitons le personnel de données à coopérer avec nous pour enquêter sur ce problème.}

Nous sommes prêts à publier l’EIP-7547: inclure les listes^{[10]La version pour aider la couche de base anti-review.}

Non pris en charge:

Nous ne soutenons pas l’utilisation des essais Verkle à Prague^{[11]Cependant, nous soutenons l’équipe client pour y parvenir depuis le deuxième trimestre de 2024, et nous promettons d’être publiées à Osaka au milieu de -2025 au milieu de 2025.}

Nous ne pensons pas que la limite de gaz d’exécution L1 ou la taille du contrat devraient être augmentées, mais nous invitons le personnel de données à coopérer avec nous pour étudier l’impact sur le réseau.Nous sommes prêts à modifier nos vues, car les tests passés montrent que le nœud Reth peut gérer la charge accrue sans problèmes.

Nous pensons que l’abstraction du portefeuille / compte EIP nécessite des tests de confrontation plus mutuels pour mieux comprendre l’espace d’équilibre.S’ils ne s’excluent pas mutuellement, nous sommes prêts à déployer plusieurs EIP liés à AA à l’avenir.

Si la communauté est dans la rumeur^{[12]NSA[13]porte arrière[14]OK, nous pouvons accepter EIP-7212 (SECP256R1).}

Autres thèmes de carte d’itinéraire: Nous n’avons pas de vues spécifiques sur le couplage des divisions CL EIP ou CL / El, mais EIP 7549^{[15]Et 7251[16]Cela semble très prometteur.Nous espérons également contribuer au travail de Peerdas autant que possible dans EL.Nous espérons éviter temporairement l’introduction des racines SSZ (EIP 6404, 6465, 6466).Enfin, nous avons remarqué l’opportunité de fournir des solutions d’archives de données à long terme pour le blob expiré, l’histoire et le statut, car EIP-4844[17]Et EIP-4444[18]Rien n’est spécifié et si Ethereum est disposé à fournir une telle solution.}

Ce qui suit est le raisonnement.

soutien

Résumé, nous soutenons 1) l’écart entre Cl et El plus approfondi, 2) la modification EVM peut être effectuée en tant que travail d’une seule personne et peut être isolé et des tests parallèles.

EIP-7002^[19]

Cet EIP a déverrouillé la piscine relevée et gage en contrôlant le côté CL en contrôlant le côté CL du côté CL.De notre point de vue, il s’agit d’une PPE qui n’a pas besoin de penser, car au moins cela permettra au pool existant de retirer une couche de centralisation du contrat intelligent qui met en œuvre son retrait.

L’introduction de la pré-compilation de l’état dans la mise en œuvre de l’EVM est une nouvelle abstraction que nous devons capturer dans la mise en œuvre de l’EVM, mais en outre, nous pensons qu’il s’agit d’un EIP qui peut être directement exécuté.

EIP-6110^[20]

Cet EIP introduit des dépôts dans l’État EL, simplifiant la gestion de l’État nécessaire sur le CL.En termes de mise en œuvre, cela est similaire au suivi du retrait de CL, donc en général, nous pensons qu’il s’agit également d’une PDE facile à réaliser et indépendante.

EIP-2537^{[vingt-et-un]}

Maintenant, il y a plusieurs implémentations BLS12-381 à l’extérieur.Nous pensons que la complexité est faible, car elle ne révèle que l’algorithme de vérification de la courbe via l’interface de pré-compilation.Peut-être que nous voulons aussi une pré-compilation d’un hachage à la courbe BLS12-381.

Eof^{[Vingt-deux]Format d’objet Ethereum}

TL; DR: Soutenez une version claire d’une solidité et de Vyper.C’est une chose qui facilite l’analyse du format de code et de l’ajustement de vérification.

avantage:

Seuls les modifications EVM peuvent être testées par Ethereum / tests et implémentées par une seule personne.

Faites les modifications EVM que vous voulez Vyper et Solidity!

Il aide les performances et améliore la taille du contrat.

EVM élimine les besoins de l’analyse Bytecode pendant l’exécution.

Il peut être partiellement chargé pour aider à exécuter de grands contrats.

Devex: Il sera autorisé à utiliser DUPN / SWAPN pour réparer « Stack Too Deep » et d’autres outils de Solidity.

Vérification future: il peut introduire de nouvelles fonctionnalités en toute sécurité à L2, et les outils sauront ce qu’est la compatibilité.

insuffisant:

Changer l’objectif.

Aucun partisan n’a tenté de promouvoir son ajout.

Il faut encore prendre en charge l’ancien code

Jusqu’à l’adoption, il y aura des différences temporaires entre le réseau principal Ethereum et d’autres chaînes EVM.

Nous pensons que les fonctionnalités EOF suivantes devraient être déployées en 2024.Nous vous recommandons de déterminer la portée le plus tôt possible et de nous promettons d’observer.Toute autre chose devrait considérer le déploiement ultérieur.Nos suggestions:

EIP -3540: Format d’objet EOF -EVM V1^{[vingt-trois]: Introduire des conteneurs de code et de données et ajoutez des structures et des versions aux octets Ethereum.}

EIP -3670: Vérification du code EOF^{[vingt-quatre]: Refuser les contrats qui ne suivent pas le format EOF pendant le déploiement.Code obligatoire et plus structuré et désactiver les instructions invalides et invalides.}

EIP-663: instructions de swap et de dup illimité^{[25]: Cela résout le problème de la « pile trop profonde » dans la solidité, et il peut avoir des effets secondaires grâce à l’analyse la plus saut en tant que valeur momentanée.La langue EVM espère avoir une telle fonction.}

EIP -4200: saut relatif EOF -STATIQUE^{[26]: Une meilleure analyse statique, il n’y a pas de saut incertain.Meilleure compilation AOT.Détendu au code du code est meilleur.}

EIP -4750: EOF -FONCTION^{[27]: Vous devez faire face à des sous-routines qui peuvent avoir un saut dynamique mais qui n’ont pas de saut statique.Il permet également à certains code de charger, qui est bien utilisé avec Verkle et ajoute des restrictions de taille du contrat.}

EIP -5450: Vérification EOF-stack^{[28]: Vérifiez les exigences du code et de la pile.Toutes les instructions sauf Callf (EIP-4750) ont supprimé l’inspection de débordement et de remplissage de pile pendant l’exécution.}

EIP -7480: Instruction d’accès au segment EOF -DATA^{[29]: Autoriser le segment de données du code d’octets.}

EIP-7069: l’instruction d’appel améliorée^{[30]: Faites disparaître le gaz dans les appels, afin que le gaz soit réécrit à l’avenir.Bien que indépendamment de l’EOF, nous pensons que c’est une bonne occasion de l’introduire.}

Nous TIP-6206: fonctions EOF-Jumpf et non retournantes^{[31]C’est en effet bas.Bien qu’il permette l’optimisation des appels de queue dans la fonction EOF, nous devons toujours voir l’analyse du langage de son utilité.Si nous ne l’avons pas, nous pensons que nous pouvons le supprimer de la plage et inclure des mises à jour EOF ultérieures.}

Nous aurons le budget de travail ci-dessus pendant 1 à 2 mois, qui est achevé par 1 personne.Si cela signifie maintenir la motivation, nous sommes prêts à réduire davantage la portée mentionnée ci-dessus.

Explication des bytes traditionnelles:

Bien que nous puissions interdire les nouveaux bytecodes traditionnels / non-EOF, il ne peut pas abandonner le bytecode traditionnel existant.Le bytecode traditionnel doit encore effectuer une analyse le plus saut après l’EOF, et il a encore besoin d’un traitement de code spécial pour le segmenter en Verkle essaie.

Pour autant que nous le sachions, il n’y a pas de conversion de vérification du code non-EOF à EOF sans accès aux pièces source, mais nous sommes prêts à étudier le mécanisme de promotion de cette conversion.

Alternativement, nous sommes prêts à explorer la méthode d’expiration pour migrer l’État vers l’EOF.

Augmenter le nombre de blob EIP-4844

Nous sommes prêts à accepter ce changement, ce qui sera justeMax_blob_gas_per_blocketTarget_Blob_gas_per_BlockAugmenter, veuillez vous référer à l’EIP-4844^[32]Le

Target_Blob_gas_Per_Block et Max_Blob_Gas_Per_Block sont sélectionnés comme 3 blob (0,375 Mo) pour chaque bloc, avec un maximum de 6 blob (0,75 Mo).Ces restrictions initiales plus petites sont conçues pour maximiser la pression causée par l’EIP vers le réseau, et il devrait augmenter la mise à niveau future afin que le réseau puisse montrer de la fiabilité sous des blocs plus grands.*

En fait, il s’agit d’un petit changement de code.La couche de consensus peut rencontrer des difficultés lors de la diffusion de plus de blob; nous écoutons l’opinion de l’équipe CL.

Pas de soutien

Verkle essaie^[33]

TL; DR: Nous pensons qu’il n’y a aucun moyen de déployer des essais Verkle d’ici la fin 2024 / début 2025.Nous recommandons que l’équipe attribue des ressources au deuxième trimestre de 2024 et nous promettons de se déployer au deuxième trimestre de 2025 au troisième trimestre d’Osaka.

avantage:

Un client léger moins cher est réalisé grâce à une preuve de stockage plus petite.

Réalisant l’exécution apatride par l’état avant l’état dans le bloc du bloc, qui peut également être dû à l’accès à l’état statique.

Augmentez la limite de taille du contrat en chargeant le bytecode et activez la partie du code.

En raison du faible coût de l’état de «résurrection», l’État devient plus attractif.

insuffisant:

Grande charge de travail: l’impact, la mise en œuvre de l’intégration et les tests des changements.

Changement de facturation du gaz: Verkle essais a présenté le témoin de la fonction de calcul du gaz.Nous craignons que les changements de tarification de stockage n’aient pas été explorés (par exemple, quel est le coût des meilleurs consommateurs de gaz après Verkle)?

Intégration d’application: lorsque la transition de superposition est en cours d’exécution, que devrait faire l’application avec le dispositif de vérification de Merkle Patricia Trie?Eth_getproofÀ quoi devrait-il être?

Bien que nous comprenions les avantages de Verkle essaie, nous pensons que nous avons besoin de plus de réflexion pour comprendre comment les outils / contrats en troisième partie doivent être adaptés et l’impact de la transition sur la deuxième solution de couche.Initialement, nous étions sceptiques quant à la stratégie de migration car il stipulait que Verkle Trie devrait être mis à jour lors de la lecture du statut du MPT existant, mais il semble que ce ne soit pas le cas maintenant.Par conséquent, nous prenons en charge la méthode de l’arborescence de superposition comme chemin de migration réalisable.

Le document de la stratégie de migration de Verkle semble généralement dépassé, car la plupart des ressources soulignent toujours que Verkle Trie devrait être mis à jour lors de la lecture de l’État de MPT, bien que la situation ne soit pas le cas.Nous espérons voir la mise à jour du document de transition clé vers la dernière méthode, comme cet excellent document^{[34]EssenceNous espérons également voir un projet de la stratégie de transition EIP.}

Par conséquent, nous soutenons toujours le lancement de Verkle en 2025, mais nous n’avons pas vu le chemin de déploiement à la mise à niveau de Prague.

Limite de gaz L1

Nous pensons que l’augmentation des restrictions de gaz L1 du point de vue de la demande n’aura pas beaucoup d’effet dans la pratique.Nous pensons également que la plupart des clients peuvent gérer l’augmentation de la charge moyenne, mais nous espérons être vigilants sur la pire situation, nous ne recommandons donc pas d’augmenter la limite de gaz L1 pour le moment.Nous pensons que l’ajout de limite de gaz blob à court terme est une solution plus prometteuse.

Nous invitons tout le monde à coopérer avec nous pour mener des recherches sur cette direction et la façon de mesurer la mesure des ressources autour de l’EVM.Papier de compteur cassé^{[35]C’est un bon point de départ dans cette direction de recherche.}

Abstraction du compte

Nous sommes prêts à inclure 1 ou plusieurs EIP (ou les ERC de mise en œuvre du protocole), mais nous espérons voir plus d’expérience utilisateur et de comparaison d’expérience de développement pour mieux comprendre l’espace de pesée et le travail d’intégration des outils de chaque proposition.Nous faisons attention aux EIP / EIP suivants, mais veuillez nous suggérer à tout moment:

EIP-3074: Auth and Authcall Opcodes^[36]

ERC-4337: Abstraction du compte en utilisant Alt Mempool^[37]

EIP-5806: transaction déléguée^[38]

EIP-5920: Pay Opcode^[39]

EIP-6913: instruction SETCODE^[40]

EIP-7377: transaction de migration^[41]

RIP -7560: Abstraction du compte indigène -Core EIPS -Fellowship of Ethereum Magiciens^[42]

Nous voulons expliquer que dans le contenu ci-dessus, « l’abstraction des comptes » fait référence à la « fonction de vérification abstraite, l’objectif principal est de permettre la rotation clé, de faire de plusieurs signatures une fonction de première classe et de nous fournir un chemin de résistance quantique automatique « (H » / T VB), Convient uniquement pour 4337 et 7560, tandis que d’autres propositions sont divisées en deux catégories, à savoir le parrainage du gaz et l’opération de traitement par lots.

auteur:

>