- Ethereum 2.0 macht weiterhin große Fortschritte. Runtime Verification Inc. hat die formelle Verifizierung des Ethereum 2.0 Deposit Contracts erfolgreich abgeschlossen.
- Die Benutzeroberfläche für den Deposit Contract könnte bereits in zwei Wochen auf der Ethereum Community Conference 3 vorgestellt werden.
Runtime Verification Inc., ein Startup-Unternehmen, das darauf abzielt, auf Laufzeitverifikation basierende Techniken einzusetzen, um die Sicherheit, Zuverlässigkeit und Korrektheit von Softwaresystemen zu verbessern, hat mitgeteilt, dass sie die formelle Verifizierung des Ethereum 2.0 Deposit Contracts erfolgreich abgeschlossen haben. Dieser ist der wohl wichtigste Smart Contract für ETH 2.0, der die Grundlage für die Phase 0 und die Beacon Chain bildet.
Wie CNF Anfang Februar berichtete, teilte Danny Ryan, der Projektkoordinator für Ethereum 2.0 mit, dass die Ethereum Foundation die formale Verifikation (FV) des Ethereum 2.0 Deposit Smart Contract Bytecodes abgeschlossen hat. Der Bytecode ist ein Low-Level-Code, der in der Ethereum Virtual Machine (EVM) läuft und den in Solidity geschriebenen Code nimmt und ihn in Bytecode für die EVM umwandelt.
Der Deposit Contract ist quasi das „Tor zum Beitritt“ zu Ethereum 2.0. Um als Validierer der Proof of Stake (PoS) Blockchain, genannt Beacon Chain beizutreten, müssen diese eine bestimmte Menge Ether (ETH) als „Stake“ hinterlegen, indem Sie eine Transaktion über das Ethereum 1.0 Netzwerk an den Deposit Contract senden. Der Deposit Contract zeichnet die Historie der Einzahlungen auf und sperrt alle Einzahlungen in der Ethereum 1.0 Blockchain, die später auf der Beacon Chain von Ethereum 2.0 eingefordert werden können.
Hierbei handelt es sich allerdings um einen Einwegsfunktion. Dies bedeutet, dass die ETH von dem Deposit Contract nicht wieder entfernt werden können und auf die ETH 1.0 Blockchain zurück übertragen werden können.
Wird die Benutzeroberfläche zum Deposit Contract nächste Woche präsentiert?
Die Ethereum Foundation arbeitet derzeit zusammen mit Consensys an der Benutzeroberfläche (UI) für den Deposit Contract. Zuletzt war bereits eine frühe Version durchgesickert. Gerüchten zufolge könnte nun auf der Ethereum Community Conference 3 (ETH, vom 03. bis 05. März in Paris, die UI offiziell präsentiert werden.
Wann der Contract für Einzahlungen geöffnet wird, steht noch nicht fest. Derzeit scheint April angestrebt zu werden, wie die Ethereum Core Entwickler im Rahmen eines AMA’s Anfang Februar erklärten. Für den Launch von Ethereum 2.0, Phase 0 wird derzeit der 30. Juli avisiert, der fünft Jahrestag von Ethereum.
Folge uns auf Facebook und Twitter und verpasse keine brandheißen Neuigkeiten mehr! Gefällt dir unsere Kursübersicht?

