Ethereum 2.0 hat einige kritische Fortschritte in Niederlande gemacht

Ethereum 2.0 hat einige kritische Fortschritte gemacht

Der Deposit Smart Vertrag für Ethereum 2.0 hat die formale Verifizierung und Prüfung des Bytecodes in der Niederlande abgeschlossen. Weitere Optimierungen an der Bakenkette der ETH 2.0 sind ebenfalls im Gange.
In en Niederlande bei Bitcoin Code richtig handelnDie formale Verifikation (FV) ist für die Entwicklung von Produktionssoftware unerlässlich. FV ist eine Methode zur niederländischen Analyse der Code-Semantik bei Bitcoin Code, um sicherzustellen, dass sie bestimmte Eigenschaften einhält. Viele der Schwachstellen in intelligenten Verträgen sind semantische Fehler im Code, die unerwünschte Ergebnisse der Codeausführung ermöglichen. Das bedeutet, dass es zu Störungen wie dem DAO-Hack kommen kann, entgegen den Absichten des Erstellers des Smart-Vertrags.

Ethereum hat gerade die FV-Analyse des Ethereum 2 Deposit Smart Contract Bytecodes abgeschlossen. Der Bytecode ist ein Low-Level-Code, der in der Ethereum Virtual Machine (VM) läuft. Die Ethereum VM nimmt in Solidity geschriebenen Code und übersetzt ihn dann und führt ihn in der VM als Bytecode aus. Ein Audit dieses Codes für den Depotvertrag der ETH 2.0 ist ein großer Schritt nach vorn.

Die Arbeit an den Optimierungen der Signalkette von Ethereum 2 wird ebenfalls fortgesetzt. Die Bakenkette ist die Hauptreferenzkette, die auch die Scherben der ETH 2 synchronisieren wird. Um eine bessere Skalierung zu ermöglichen, wird die ETH 2-Blockkette in Stücke, die Scherben genannt werden, zerlegt, jedes wie eine Mini-Blockkette, die eine Untergruppe der Gesamtmenge der Transaktionen bearbeitet. Jeder Shard muss sich mit dieser Hauptblockkette synchronisieren, um mit jedem anderen Shard synchron zu bleiben.

Das Lighthouse-Testnet von Ethereum 2.0 hat kürzlich einen Fehler gepatcht und konnte 100K-Validierungsknoten ohne Probleme ausführen. Prysm Testnetz, eine weitere Implementierung ist mit 35.000 Validierungsknoten erfolgreich gelaufen.

Core Spec auch auf dem Weg zum Mainnet

Die Kernspezifikation von Ethereum ist wie ein grober Entwurf der gesamten Codebasis, sie beschreibt, wie der Code richtig funktionieren sollte. An kritischen Stellen des Codes haben die ETH-Entwickler verschiedene Implementierungsmöglichkeiten und die damit verbundenen Kompromisse hinzugefügt. Dies erlaubt ihnen, jede in der Codebasis der ETH 2 implementierte Designwahl sorgfältig abzuwägen und zu berücksichtigen.

Der Code in der Spezifikation ist nicht auf Leistung optimiert, sondern soll den Entwicklern ermöglichen, zu überlegen, wie ihre Kunden gestaltet werden müssen, um die in der Spezifikation festgelegten Leistungsziele zu erreichen. Nachdem die endgültigen Design-Entscheidungen getroffen wurden, können die Entwickler dann einen ausgeklügelten Algorithmus implementieren, der es einem Kunden ermöglicht, effizient optimiert zu werden.

Consensys und die Ethereum Foundation (EF) haben beide an der Entwicklung von Phase zwei für Ethereum 2 gearbeitet. In Phase zwei werden den Ethereum-Scherben Zustand und Ausführung hinzugefügt. Dabei werden Methoden und Standards für die Kommunikation zwischen den Scherben entwickelt, wobei Werkzeuge wie Merkle-Proofs und Querverbindungen verwendet werden.

Die Forschungsarbeiten der zweiten Phase werden vom Quilt-Team von Consensys und dem eWASM-Team von EF durchgeführt, und jetzt ist ein weiteres Consensys-Team ins Rennen gegangen, TXRX. TXRX arbeitet an der Entwicklung von Modellen zum Verständnis der Cross-Shard-Komplexität.