Nach Jahren der Entwicklung hat Ethereum einen neuen Plan, um den Algorithmus zu aktualisieren, der sein gesamtes Netzwerk synchron hält.

Vitalik Buterin, Schöpfer von Ethereum, hat kürzlich einen groben Implementierungsleitfaden veröffentlicht, der enthüllt, dass die Entwickler des Netzwerks zunächst mit einem "hybriden" System beginnen werden, das Bitcoin-artige Proof-of-Work-Mining mit seinen lang erwarteten und immer noch experimentellen Beweisen verbindet des Pfahlsystems namens Casper, erstellt von Buterin.

Der Plan bedeutet effektiv, dass Ethereum zwischen den beiden Systemen alternieren wird, so dass einige Transaktionsblöcke (einer von 100) durch einen Pfandnachweis gesichert werden und der Rest auf dem Arbeitsnachweis verbleibt.

Buterin hat an seiner Umsetzung parallel zum Entwickler Vlad Zamfir gearbeitet, um ihre Ideen zu "durchforsten". Laut Karl Floersch, Blockchain-Entwickler für das Ethereum-Startup ConsenSys und einem Programmierer, der mit Buterin an Caspers Entwicklung arbeitet, ist das Ergebnis, dass das Netzwerk den konservativeren von zwei möglichen Wegen wählt.

Floersch sagte CoinDesk:

"Was Vitalik erfunden hat, ist eine funktionierende Version, die funktioniert, aber theoretisch vielleicht weniger revolutionär ist als die von Vlad."

Weil Buterins Die Umsetzung von Casper kann, so glaubt er, schneller in die Produktion gehen, sie wird in der ersten Stufe der Entwicklung des Ethereums eingesetzt werden.

Wenn dies umgesetzt würde, wäre dies das erste Mal, dass Proof-of-Stake auf der Plattform live ethereum eingesetzt würde, wenn auch nur eine untergeordnete Rolle. Es würde auch einen großen realen Test des Beweises des Pfahls geben, der es der Kryptowährungsgemeinschaft ermöglichen würde, zu bestimmen, ob der Beweisalgorithmus ein überlegener ist, wie die Befürworter argumentiert haben.

Für die Befürworter ist das Ziel dieser potenziell revolutionären Änderung des Pfahlnachweises die Verringerung der Elektrizität, die erforderlich ist, um eine Einigung über den Stand der Transaktionen und Verträge im Netz zu erzielen. Aber da Kritiker immer wieder zurückgedrängt wurden, sehen Kritiker diesen Hybrid als den neuesten Beweis dafür, dass der Proof-of-Stock niemals auf Ethereum erfolgreich umgesetzt werden kann.

Andere sagen, dass die hybride Implementierung nur um Sicherheit geht, da das Netzwerk jetzt Millionen von Dollar an Wert sichert.

Blockchain-Berater Ciaran Murray zum Beispiel nannte diesen Schritt eine "Vorsichtsmaßnahme", während Buterin dies als "Sprungbrett" bezeichnete, das er erwartet, nachdem sich ethereum zu Stufe drei seines Entwicklungsprozesses, einer geplanten Phase, verlagert habe Metropole.

Buterin sagte zu CoinDesk:

"[T] er wird nach Metropolis von einem Entwicklungsstandpunkt aus unser Hauptaugenmerk sein, und wir sind gerade dabei, einen Prototyp in Python zu entwickeln."

Virtualisierung von Mining

Um einen Schritt zurück zu machen, besteht die große Idee hinter Proof-of-Stake darin, den Mining-Prozess zu "virtualisieren".

In Arbeitsbeweisen berechnen Bergleute Puzzle-Antworten in schwindelerregender Geschwindigkeit, ein Prozess, der Geld für Ausrüstung und Strom erfordert. Beim Proof-of-Peach setzen die Teilnehmer ebenfalls Geld in das System, jedoch nicht mit Strom und Ausrüstung. Mit Casper verpflichten sich virtuelle Minenarbeiter, die als Validierer bekannt sind, dem System Geld zu geben, mit dem Verständnis, dass sie ihre Einlagen verlieren werden, wenn sie die Regeln nicht befolgen.

In jüngster Zeit hat die Ethereum Foundation, ein formaler Verifizierungsingenieur, die Algorithmen von Casper, neben den Fortschritten in der Algorithmustheorie, über einen mathematischen Fehlerdetektor laufen lassen, einen Prozess, der als "formale Verifikation" bekannt ist.

Laut allgemeinen Anmerkungen zu seiner formalen Verifikationsarbeit verwendet Hirai das mathematische Werkzeug für intelligente Verträge, "damit nach dem Einsatz keine Überraschungen passieren".

Da Smart Contracts nach der Bereitstellung nicht geändert werden können, gehen die Entwickler mit besonderer Vorsicht vor. Die gleiche Vorsicht gilt für Casper, die selbst durch einen intelligenten Vertrag ermöglicht wird.

Caspers erste Stufe

In der ersten Stufe von Buterins Plan wird der Pfahlnachweis alle 100 Blöcke als "Checkpoint" verwendet und bietet weitere Beweise dafür, dass Blöcke die richtigen Transaktionen speichern (was die Entwickler nennen). Endgültigkeit').

Floersch programmiert derzeit die 'fork choice rules' für pyethereum, den Python ethereum client. Diese Regeln umreißen, wie Validatoren bestimmen, auf welche Ethereum-Kette gebaut werden soll, erklärte er. Validatoren betrachten die Ketten vor ihnen und treffen ihre Wahl teilweise basierend darauf, wie viel Ether für jede Kette verwendet wird.

Wenn Validierer die falsche Entscheidung treffen, verlieren sie Geld.

"Man kann sehen, wie es einen Konsens bildet, oder es bildet eine einzelne Kette statt einer Kette von Ketten", sagte Floersch.

Casper-Entwickler werden den Smart-Vertrag bei ethereum veröffentlichen und ein offizielles Casper-Konto erstellen, über das jeder Äther hinterlegen kann, wenn er sich am virtuellen Mining-Prozess beteiligen möchte.

Sobald die pyethereum-Version fertig ist, gibt das Team die Arbeit weiter, die in den Casper-Dämon aufgenommen werden soll, ein Paket, das schließlich mit jedem ethereum-Client ausgeführt wird, zum Beispiel Geth oder Parity.

In der zweiten Stufe wird dieser Prozess in größerem Maßstab bereitgestellt.

Eine gute Idee?

Ob der Pfahlbeweis funktionieren wird oder nicht, wurde bereits im Vorfeld diskutiert, wobei sich die Seiten weitgehend auf Basis der früheren Kryptowährungseinkäufe der Leute spalteten.

Aber Dissidenten haben Grund zur Sorge. Wenn das Netzwerk nicht wie geplant funktioniert, besteht die Möglichkeit, dass die Transaktionen nicht so ausgeführt werden, wie es die Benutzer erwarten, oder dass sich die intelligenten Vertragsregeln nicht aufaddieren. Aus diesem Grund versuchen die Ingenieure von ethereum, die Eigenschaft "Finalität" zu erarbeiten.

Andere sind dem hybriden Ansatz im Allgemeinen skeptisch gegenüber.

"Ich bin mir nicht sicher über die Weisheit eines inszenierten Übergangs. Entweder haben Sie Vertrauen und Vertrauen in Ihren Konsensalgorithmus oder Sie tun es nicht", sagte Charles Hoskinson, CEO des Blockchain-Technologieunternehmens IOHK.

Es ist anzumerken, dass IOHK maßgeblich an der Entwicklung von ethereum classic beteiligt ist, das oft als Konkurrent von ethereum angesehen wird.

"Das Hinzufügen einer ungeprüften oder unsicheren Komponente zu Ihrem Netzwerk als Abwarten ist eine schreckliche Idee", fuhr er fort. "Auch wo ist der Peer Review? Zu welchen Konferenzen haben sie ein richtiges Whitepaper eingereicht und welches Feedback haben sie bekommen? "

Aber für einige in diesem entstehenden Bereich der" Kryptowirtschaft "ist dieses hin und her aufregend. Floersch erwähnte die Kombination von Ökonomie und Kryptografie, die Casper zugrunde liegt, möglicherweise auf andere globale Probleme.

"Natürlich [Proof-of-Stake] ein wirklich cooles Problem und es ist toll. Aber ich denke, es wird noch andere Anwendungen der Kryptowissenschaften geben, die meiner Meinung nach ein völlig neues Feld von Mechanismen zur Nutzung der Ökonomie sind "All4bitcoin" Casper ist einer der ersten, die das machen. "

Weckerbild über Shutterstock