jakiro
Das Ziel dieses Artikels ist es, das Paradigm -Reth -Team zu skizzieren[4]Für Prags Hardgabel ist Prag die nächste El Hard Fork nach Cankun und der Überblick über unseren Plan für „El Core Development“ von 2024.Die folgenden Ansichten sind in der Entwicklung, und nur die aktuelle Sicht des Reth -Teams repräsentiert nicht unbedingt ein breiteres Paradigmenteam.
Wir glauben, dass Prags Hardgabel im dritten Quartal 2024 im Ethereum Testing Network erreicht werden kann, und es wird am Ende des Jahres im Hauptnetzwerk erreicht.
Es sollte enthalten:
Jeder EIP, der sich auf die Verpfändung bezieht, wie EIP-7002, ermöglicht es für die Wiedereinstellung und den nicht treuen Teich.
Unabhängige EVM -Änderungen.
Wir sind bereit, mit jedem Team zusammenzuarbeiten, das wir Prag oder andere zukünftige El -Hard -Splits weiter studieren möchten, und bereit zu sein, den Standort der Reth -Code -Bibliothek zu ändern oder zur Änderung des Standorts der Reth -Code -Bibliothek zu leiten.
Unterstützung:
Wir glauben, dass der folgende EIP Priorität erhalten muss: 7002[5], 6110[6], 2537[7]Wesen
Wir unterstützen EOF, wie z. B. Spezifikationen[8]Dabei hoffe ich, den Umfang so schnell wie möglich zu bestimmen und ein Meta -Eip zu erstellen, um zu versprechen, den Umfang einzuhalten.
Wir sind bereit[9]Version.Wir haben keine Meinung zu den richtigen Zahlen, aber wir laden das Datenpersonal ein, mit uns zusammenzuarbeiten, um dieses Problem zu untersuchen.
Wir sind bereit, EIP-7547 zu veröffentlichen: Listen einschließen[10]Die Version, die der Basic Layer Anti -Review hilft.
Nicht unterstützt:
Wir unterstützen nicht die Verwendung von Verkle -Versuchen in Prag[11]Wir unterstützen das Kundenteam jedoch seit dem zweiten Quartal 2024 und versprechen, Mitte -2025 Mitte -2025 in Osaka freizugeben.
Wir glauben nicht, dass die L1 -Ausführungsgasgrenze oder die Vertragsgröße erhöht werden sollte, aber wir laden das Datenpersonal ein, mit uns zusammenzuarbeiten, um die Auswirkungen auf das Netzwerk zu untersuchen.Wir sind bereit, unsere Ansichten zu ändern, da die vergangenen Tests zeigen, dass der Reth -Knoten die erhöhte Last ohne Probleme bewältigen kann.
Wir glauben, dass Wallet/Account Abstraktion EIP mehr gegenseitige Konfrontationstests erfordert, um den Gleichgewichtsraum besser zu verstehen.Wenn sie sich nicht gegenseitig ausschließen, sind wir bereit, in Zukunft mehrere AA -bezogene EIPs einzusetzen.
Wenn die Gemeinschaft im Gerücht ist[12]NSA[13]Hintertür[14]OK, wir können EIP-7212 (SECP256R1) akzeptieren.
Andere Routenkartenthemen: Wir haben keine spezifischen Ansichten zur Kopplung von Cl EIP oder CL/El Splits, aber EIP 7549[15]Und 7251[16]Es scheint sehr vielversprechend.Wir hoffen auch, dass Peerdas so viel wie möglich in EL beitragen.Wir hoffen, die Einführung von SSZ -Wurzeln vorübergehend zu vermeiden (EIP 6404, 6465, 6466).Schließlich bemerkten wir die Möglichkeit, langfristige Datenarchivlösungen für abgelaufene Blob, Geschichte und Status bereitzustellen, da EIP-4844[17]Und EIP-4444[18]Nichts ist angegeben und ob Ethereum bereit ist, eine solche Lösung zu liefern.
Das Folgende ist Argumentation.
Unterstützung
Zusammenfassung, wir unterstützen 1) die Lücke zwischen CL und EL weiter, 2) EVM -Modifikation kann als einzelne Personarbeit durchgeführt und isoliert und parallele Tests erfolgen.
EIP-7002[19]
Dieser EIP entspannte den RE -Pledged- und Pledge -Pool, indem die CL -Seite kontrollierte, indem die CL -Seite der CL -Seite gesteuert wurde.Aus unserer Sicht ist dies ein EIP, über den nicht nachdenken muss, da er zumindest dem vorhandenen zugesagten Pool eine Zentralisierungsschicht aus dem intelligenten Vertrag entfernen kann, der seinen Entzug implementiert.
Die Einführung der staatlichen Vorbereitung in die EVM -Implementierung ist eine neue Abstraktion, die wir in der EVM -Implementierung erfassen müssen. Darüber hinaus denken wir, dass dies ein EIP ist, der direkt ausgeführt werden kann.
EIP-6110[20]
Dieser EIP führt Einlagen im EL -Staat ein und vereinfacht das staatliche Management, das auf dem CL benötigt wird.In Bezug auf die Implementierung ähnelt dies der Verfolgung des CL -Rückzugs. Wir sind daher im Allgemeinen der Meinung, dass dies auch ein EIP ist, der leicht zu erreichen und unabhängig ist.
EIP-2537[zwanzig eins]
Jetzt gibt es außerhalb der Implementierung von BLS12-381 draußen.Wir glauben, dass die Komplexität niedrig ist, da sie nur den Verifizierungsalgorithmus der Kurve durch die Vorbereitung vor der Komparation offenbart.Vielleicht wollen wir auch eine Vorkompilierung eines Hashs zur BLS12-381-Kurve.
Eof[Zweiundzwanzig]Ethereum -Objektformat
TL;Es ist eine Sache, die es einfacher macht, das Codeformat und die Überprüfungsanpassung zu analysieren.
Nutzen:
Nur EVM -Änderungen können durch Ethereum/Tests getestet und von einer Person implementiert werden.
Nehmen Sie die EVM -Änderungen vor, die Sie Vyper und Solidität wünschen!
Es hilft bei der Leistung und verbessert die Vertragsgröße.
EVM beseitigt die Anforderungen der Bytecode -Analyse während der Laufzeit.
Es kann teilweise geladen werden, um große Verträge auszuführen.
Devex: Es darf DUPN/SWAPN verwenden, um „Stack Too Deep“ und andere Werkzeuge in der Solidität zu reparieren.
Zukünftige Überprüfung: Es kann sicher neue Funktionen in L2 einführen, und die Tools werden wissen, welche Kompatibilität ist.
unzureichend:
Das Ziel ändern.
Keine Unterstützer haben versucht, seine Ergänzung zu fördern.
Ich muss den alten Code noch unterstützen
Bis zu
Wir glauben, dass die folgenden EOF -Funktionen im Jahr 2024 eingesetzt werden sollten.Wir empfehlen, den Umfang so schnell wie möglich zu bestimmen und zu versprechen zu beobachten.Jede andere Sache sollte die anschließende Bereitstellung berücksichtigen.Unsere Vorschläge:
EIP -3540: EOF -EVM -Objektformat v1[dreiundzwanzig]: Führen Sie Code- und Datencontainer ein und fügen Sie Strukturen und Versionen zu Ethereum -Bytes hinzu.
EIP -3670: EOF -Code -Überprüfung[vierundzwanzig]: Verweigern Sie Verträge, die dem EOF -Format während des Einsatzes nicht folgen.Obligatorische und strukturiertere Code und deaktivieren Sie ungültige und nicht verärgerte Anweisungen.
EIP-663: Unbegrenzte Swap- und DUP-Anweisungen[25]: Dies löst das Problem „Stack Too Deep“ in der Solidität und kann Nebenwirkungen durch die springdeste Analyse als momentaner Wert haben.Die EVM -Sprache hofft, eine solche Funktion sehr zu haben.
EIP -4200: EOF -STATISCH REBER[26]: Bessere statische Analyse, es gibt keinen unsicheren Sprung.Bessere AOT -Zusammenstellung.Für den Code entspannt für den Code ist besser.
EIP -4750: EOF -Funktion[27]: Sie müssen sich mit Sub -Routinen befassen, die möglicherweise einen dynamischen Sprung haben, aber keinen statischen Sprung haben.Außerdem kann ein Code geladen werden, was bei Perkle gut verwendet wird und Vertragsgrößenbeschränkungen hinzugefügt werden.
EIP -5450: EOF -Stack -Überprüfung[28]: Überprüfen Sie den Code und die Stapelanforderungen.Alle Anweisungen mit Ausnahme von CALLF (EIP-4750) haben den Stapelüberlauf und die Nachfrist während der Laufzeit gelöscht.
EIP -7480: EOF -DATA -Segmentzugriffsanweisung[29]: Erlauben Sie das Datensegment des Byte -Codes.
EIP-7069: Die verbesserte Anrufanweisung[30]: Machen Sie das Gas in den Anrufen verschwinden, damit das Gas in Zukunft reduziert wird.Obwohl wir unabhängig von EOF sind, sind wir der Meinung, dass dies eine gute Gelegenheit ist, es vorzustellen.
Wir TIP-6206: EOF-Jumpf- und Nicht-Rückkehrfunktionen[31]Es ist in der Tat niedrig.Obwohl es die Schwanzaufrufoptimierung in der EOF -Funktion ermöglicht, müssen wir noch die Sprachanalyse seiner Nützlichkeit erkennen.Wenn wir dies nicht haben, können wir es aus dem Bereich entfernen und nachfolgende EOF -Updates einfügen.
Wir werden das oben genannte Arbeitsbudget für 1-2 Monate haben, das von 1 Person abgeschlossen ist.Wenn dies bedeutet, Motivation aufrechtzuerhalten, sind wir bereit, den oben genannten Umfang weiter zu reduzieren.
Erklärung traditioneller Bytezien:
Obwohl wir neue traditionelle/nicht -eof -Bytecodes verbieten können, kann es die vorhandene traditionelle Bytecode nicht aufgeben.Die herkömmliche Bytecode muss nach EOF noch eine Springdest -Analyse durchführen, und es muss noch eine spezielle Codeverarbeitung benötigt werden, um sie in die Versuche von Verkle zu segmentieren.
Soweit wir wissen, gibt es keine Überprüfung der Konvertierung von Nicht -EOF -Bytecode zu EOF ohne Zugang zu Quellarbeitsarbeiten, aber wir sind bereit, den Mechanismus der Förderung dieser Konvertierung zu untersuchen.
Alternativ sind wir bereit, die Ablaufmethode der Migration des Staates in EOF zu untersuchen.
Erhöhen Sie die Anzahl der EIP-4844-Blob
Wir sind bereit, diese Änderung zu akzeptieren, was richtig sein wirdMAX_BLOB_GAS_PER_BLOCKUndTarget_blob_gas_per_blockErhöhen Sie, bitte beziehen Sie sich auf EIP-4844[32]Der
Target_blob_gas_per_block und max_blob_gas_per_block werden für jeden Block mit einem Maximum von 6 Blob (0,75 MB) als 3 -Blob (0,375 MB) ausgewählt.Diese kleineren anfänglichen Beschränkungen sollen den durch das EIP auf das Netzwerk verursachten Druck maximieren, und es wird erwartet, dass das zukünftige Upgrade so erhöht wird, dass das Netzwerk die Zuverlässigkeit unter größeren Blöcken aufweisen kann.*
Tatsächlich ist dies eine kleine Codeänderung.Die Konsensschicht kann auf Schwierigkeiten stoßen, wenn wir mehr Blob verbreiten.
Nicht Unterstützung
VERKLE versucht[33]
TL;Wir empfehlen, dass das Team im zweiten Quartal von 2024 Ressourcen zuordnet und verspricht, im zweiten Quartal von 2025 auf das dritte Quartal von Osaka einzusetzen.
Nutzen:
Ein billigerer leichter Client wird durch kleinere Speichernachweis erreicht.
Realisierung der staatenlosen Ausführung durch den Status vor dem State im Block des Blocks, der auch auf den statischen Zustand des Zustands zurückzuführen ist.
Erhöhen Sie die Vertragsgrößengrenze, indem Sie den Bytecode laden und einen Teil des Codes aktivieren.
Aufgrund der niedrigen Kosten des „Auferstehungsstatus“ wird der Staat attraktiver.
unzureichend:
Große Arbeitsbelastung: Auswirkungen, Integrationsimplementierung und Testen von Änderungen.
Änderung der Gasabrechnung: Verkle -Versuche haben den Zeugen der Gasberechnungsfunktion eingeführt.Wir befürchten, dass die Änderungen der Speicherpreise nicht untersucht wurden (z.
Anwendungsintegration: Was sollte die Anwendung mit Merkle Patricia Trie -Überprüfungsgerät bei der Overlay -Übergangs ausführen?ETH_GETROFEWie sollte sein?
Obwohl wir die Vorteile von Verkle -Versuchen verstehen, müssen wir mehr darüber nachdenken, wie die dritten Teilnahmewerkzeuge/Verträge anpassen müssen, und wie die Auswirkungen des Übergangs auf die Lösung der zweiten Schicht.Zunächst waren wir skeptisch gegenüber der Migrationsstrategie, weil es feststellte, dass Querle Trie beim Lesen des Status aus dem vorhandenen MPT aktualisiert werden sollte, aber es scheint, dass dies jetzt nicht der Fall ist.Daher unterstützen wir die Overlay -Baummethode als praktikable Migrationspfad.
Das Dokument der Migrationsstrategie der Leerzeichen scheint im Allgemeinen veraltet zu sein, da die meisten Ressourcen immer noch darauf hinweisen, dass der Verkle -Trie beim Lesen des Staates von MPT aktualisiert werden sollte, obwohl die Situation nicht der Fall ist.Wir hoffen, das wichtigste Übergangsdokument -Update für die neueste Methode zu sehen, wie zum Beispiel dieses hervorragende Dokument[34]WesenWir hoffen auch, einen Entwurf der Übergangsstrategie EIP zu sehen.
Daher unterstützen wir immer noch den Start von Verkle im Jahr 2025, aber wir haben den Bereitstellungsweg beim Prager Upgrade nicht gesehen.
L1 Gasgrenze
Wir glauben, dass die Erhöhung der L1 -Gasbeschränkungen aus der Sicht der Nachfrage in der Praxis nicht viel Auswirkungen haben wird.Wir sind auch der Meinung, dass die meisten Kunden die Erhöhung der durchschnittlichen Last bewältigen können, aber wir hoffen, über die schlimmste Situation wachsam zu sein. Wir empfehlen daher, vorerst die L1 -Gasgrenze zu erhöhen.Wir glauben, dass das Hinzufügen von Blobgasgrenze kurzfristig eine vielversprechendere Lösung ist.
Wir laden alle ein, mit uns zusammenzuarbeiten, um Forschungen zu dieser Richtung und den Weg zur Messung der Ressourcenmessung um EVM durchzuführen.Papier gebrochenes Meter[35]Es ist ein guter Ausgangspunkt in dieser Forschungsrichtung.
Kontoabstraktion
Wir sind bereit, 1 oder mehr EIP (oder Protokoll -Implementierung ERCs) einzubeziehen, aber wir hoffen, dass mehr Benutzererfahrung und Entwicklungserfahrung mehr Vergleich der Waage- und Werkzeugintegration jedes Vorschlags verstehen.Wir achten auf die folgenden EIP/ERCs, schlagen Sie uns jedoch jederzeit vor:
EIP-3074: Auth- und Authall-Opcodes[36]
ERC-4337: Kontoabstraktion mit Alt Mempool[37]
EIP-5806: Delegiertransaktion[38]
EIP-5920: Opcode bezahlen[39]
EIP-6913: SETCODE-Anweisung[40]
EIP-7377: Migrationstransaktion[41]
RIP -7560: Native Account Abstraktion -Kore -EIPS -Fellschiff der Ethereum Magicians[42]
Wir möchten erklären, dass sich in dem obigen Inhalt „Kontoabstraktion“ auf die Funktion „abstrakter Überprüfung“ bezieht, das Hauptziel ist es, die Schlüsseldrehung zu ermöglichen, mehrere Signaturen zu einer ersten Funktion der ersten Klassen zu machen und uns einen automatischen Quantenwiderstandsweg zur Verfügung zu stellen „(h“ /t vb), nur für 4337 und 7560 geeignet, während andere Vorschläge in zwei Kategorien unterteilt sind, nämlich Gassponsoring und Operation Batch -Verarbeitung.
Autor:
>
Georgios Konstantopoulos[43]
Georgios Konstantopoulos ist Chief Technology Officer und Forschungspartner von Paradigm und konzentriert sich auf die Forschung des Anlageportfolios und des Open -Source -Protokolls von Paradigm.Zuvor war Georgios ein unabhängiger Berater und Forscher.
