EVM -Objektformat (EFO) umfassende Upgrade -Analyse

Autor:Dragan Rakita,Paradigmenübersetzung: Gute Oudba, Bitt -Kette Vision World

EOF (EVM -Objektformat)

EOF (EVM -Objektformat) ist ein Satz kleiner EIPs, die zur Verbesserung der EVM entwickelt wurden.Es führt ein neues Byte -Code -Format ein, um sich auf die Zukunft von EVM vorzubereiten.

Eofs Vorteil

Der Wert von EOF ist schwer zu erklären, da es keine einzige Sache ist und dass es in der Gabel und vielen Jahren der Entwicklung und Forschung verzögert wurde und die Entwicklung verschiedener Versionen komplizierter wird.

Der Zweck dieses Artikels ist es, diese Vorteile zusammenzufassen und sie in einem Satz zu erklären:

Vorteile:

EOF ermöglicht die Änderung des Betriebscode -Gaspreises

Wenn sich die Preisgestaltung von Gas ändert, kann der herkömmliche Bytecode unterschiedlich sein.

Gasbeobachtung entfernen

Dies bedeutet, den Gasbetriebscode und die Gasgrenze in der Anruf/Delegatecall/staticcall zu entfernen.

Erlauben Sie L2, Gas gemäß dem Anwendungsfall zu ändern

Zum Beispiel die hohen Kosten für den Hash -Betrieb in ZK L2.
EIP-7667: Erhöhen Sie die Gaskosten der Hash-Funktionen.

Reduzieren Sie die Größe des Byte -Codes und reduzieren Sie die Verwendung von Gas

Frühe Daten geben an, dass die Größe des Code-/Initialisierungscode und die Menge der Gasverbrauch abnimmt:
Der Einsatz von UNISWAP-V3 nahm um 6,5%und den Bereitstellungscode ab.
Rufen Sie UNISWAPV3Factory ein, um etwa 14%weniger Gas zu verwenden. Rufen Sie Runtest an, um etwa 9%weniger Gas zu verwenden.
Die ENS -DNSREGISTRAR -Bereitstellung nimmt um ca. 6%Initialisierungscode und etwa 1,5%des Bereitstellungscodes ab.
ENS Calls ProveandClaim: Verwenden Sie etwa 10%weniger Gas.

Bytecode -Konvertierung und aktualisierbar zulassen

Beobachtung des Entfernens von Codes bedeutet, PC, Erstellen/Erstellen 2, extcodeHash, extcodesize, extcodecopy, codessize und codecopy -Betriebscode zu entfernen.
Wenn der Code geändert wird, kann der traditionelle Vertrag nicht ausführen.
Auf diese Weise können wir den EOF -Bytecode bei der Einführung von Verkle in der Zukunft ändern.

EOF Aktivieren Sie den Betriebscode sofort Nummer

Öffnen Sie die Möglichkeit des Öffnens von Swapn, Dupn und Austausch.
Dies bietet mehr Freiheit für die Stapelgröße und löst die Tiefe des Stapels in der Solidität.

Entfernen Sie die teure Jump -Zielanalyse

In der Reth werden die Analyseergebnisse mit Bytecode erhalten, andere Clients sind jedoch unterschiedlich.Entfernen Sie die Sprungzielanalyse, bevor die Vertragsausführung die Geschwindigkeit verbessert.
Mit der Entfernung der Analyse können wir in Zukunft die maximale Bytecodegröße erhöhen.

Die statische Analyse wird einfacher

Unter -Programme für obligatorische und strukturellere Kontrollströme machen den Fuzzy -Test effektiver und können eine statische Analyse der linearen Zeit erreichen.
Die Trennung von Daten und Code ist einfacher zu begründen.

EOF -Bytecode kann in schnellere Bytecode kompiliert werden

EOF Bytecode kann in einen Maschinencode kompiliert werden.

Zukünftiger Beweis EVM

Die Version und Struktur des Byte -Codes ermöglicht es Skalierbarkeit.Dies ist besonders nützlich für L2 und Standardisierung.
Ein Beispiel ist EIP-7701: Lokale Kontoabstraktion mit EOF hat einen neuen Kopfteil hinzugefügt.

Ansprechen der Raumausdehnung

Der neue Ext*-Anruf -Betriebscode wird mit Null gefüllt, indem das Adressfeld auf die zukünftige Adressausweitung vorbereitet wird.Wenn Ethereum beschließt, den Adressraum zu erweitern, wurde EOF für diese Änderungen vorbereitet.

In die aktuelle EVM integriert

Für Entwickler ist ein wichtiges Problem die Aufwand, die Testerkosten und die Kosten für die Aufrechterhaltung dieser Betriebscodes, die für Änderungen erforderlich sind.

Der neue Betriebscode steht nicht mit dem traditionellen Betriebscode in Konflikt, und die Überprüfung von EOF berührt den verlassenen Betriebscode nicht.

Die Kodierung und Dekodierung von Eof können verschwommen werden.Überprüfung ist eine neue Sache.

Erstellen Sie eine Transaktion für den EOF -Bytecode, ähnlich wie EOFCreate, erfordert jedoch eine Überprüfung vor der Ausführung.

Die meisten Betriebscodes sind sehr einfach:

Extcall (0xf8), extdelegatecall (0xf9), extstaticCall (0xfb)

Es hat den gleichen Entwurf wie der verlassene Anruf, entfernt jedoch Gas_Limit- und Speicherausgangsfelder.
Vor der Einführung von returnataload (in einer sehr frühen Gabel) muss die Speicherausgabe des Anrufbetriebscode vor dem Ausführen des Anrufbetriebscodes festgelegt werden.Dies erlaubt keine dynamische Ausgabe.

Eofcreate und returncontract

Es ist der neue Inhalt von EOF und erfordert eine besondere Behandlung.

Exchange (0xe8), Swapn (0xe7), Dupn (0xe6), DataCopy (0xd3), DataSize (0xD2), Dataloadn (0xd1), Dataload (0xd0), Rjumpi (0xe1), Rjump) V (0xe2), zurückgegeben, zurückgegeben, zurückgegeben, zurückgegeben), Rückgabedatal (0xe1), RJUMP), V (0xe2), Rückgabedatal.

Die Logik ist einfach, von denen die meisten nur durch 10-20 Zeilen implementiert werden müssen.Es gibt nicht viele Kanten, die abgedeckt werden müssen.

Callf (0xe3), RETF (0xE4) und Jumpf (0xe5)

Der Unterroutine-Stack und die Stapelüberprüfung sind erforderlich, und die Komplexität erfordert etwa 20 bis 30 Linien.
Es braucht einen Entwickler für etwa 2-3 Monate.Die Testarbeit hat begonnen.Gegenwärtig sind etwa 2.000 handgeschriebene Überprüfungstests und die Statusprüfung sind ebenfalls im Gange.

Die Änderung konzentriert sich in der EVM, sodass die Integration des Restes des Kunden von der Architektur des Kunden und dem Ort des Byte -Code abhängt.

Extcodesize und ExtcodeHash müssen wissen, ob das Konto EOF ist, und geben Sie den vordefinierten Wert (0xef00 -Größe und Hash) zurück, wodurch die Integrationsmethode des Clients geringfügig geändert werden kann.Eine Idee besteht darin, das IS_EOF -Logo in einem normalen Kontoformular zu speichern, um den Byte -Code zum Laden des Byte -Codes beim Aufrufen eines OtCode -Betriebscodes zu springen.

Auswirkung auf L2

Das größte Problem ist, warum L2 diese Änderungen nicht implementiert?Sollten wir EVM -Verbesserungen an Ethereum L1 stoppen?

Die Realität ist, dass L2 nicht bereit ist, nicht nur das, sie haben keine Plattform, um diese Innovationen zu integrieren.Die Byte -Code -Version erstellt eine Plattform, die von L2 verwendet werden kann. ).

Noch wichtiger ist, dass EOF nicht nur ein Format ist, sondern auch die Unterstützung der Sprache (Solidität/Vyper/Huff) und die Unterstützung der Werkzeugkette erfordert.Es erfordert ein Ökosystem, es zu verwenden.

Nachteile: Es gibt immer noch traditionelle Bytecodes

Dies ist ein häufiges Problem.Traditionelle Bytekien werden für immer existieren.Mit dem Bytecode eines alternativen Formats können wir in Zukunft den traditionellen Byte -Code übergehen und entfernen, wenn der Staat abläuft.