Was sind die offenen Punkte beim Casper Proof-of-Stake-Algorithmus?

März / April 2017 Update von Vitalik Buterin über Casper

Übertragen von Jim Manning in Eth News

Muss noch erledigt werden:

(1) Vervollständigung des Codes des CASPER-Vertrags (3/4 erledigt).

Die 25 %, die noch umgesetzt werden müssen, sind:

• Ein Sequenznummernmechanismus für Nachrichten (erforderlich, um Slashing-Bedingungen vollständig zu überprüfen)

• Wechsel von der Überprüfung von ECDSA-Signaturen zur Überprüfung von beliebigem Validierungscode

(2) Vervollständigung der Validator-Daemon-Logik (in Bearbeitung)

Der Validator-Daemon wäre ein Programm, das außerhalb der Kette läuft (nicht auf der Blockchain, sondern auf dem Computer eines Benutzers), das mit dem Casper-Vertrag interagiert, damit ein Knoten weiß, wann er die richtigen Nachrichten senden muss (mehr zum Vorbereiten/Festschreiben von Nachrichten kann gesehen werden hier), um einen Block zu validieren.

(3) Abschließen der Fork-Choice-Regel (in Bearbeitung)

Die Fork-Choice-Regel ist ein Stück Code, das jeder Knoten ausführt, um zu bestimmen, unter welchen genauen Bedingungen die kanonische (längste) Kette hergestellt wird. Dadurch soll sichergestellt werden, dass ein Knoten auf die Gewinnkette setzt. Wenn ein Knoten auf eine falsche (böswillige) Kette setzt, verliert dieser Knoten (Validator) seine Einzahlung. Dies ist ein sehr wichtiger Aspekt bei der Sicherung eines Blockchain-Netzwerks, da hier ein Konsens darüber festgestellt wird, welche Blockchain die kanonische Kette ist.

(4) Die Frage der Mindestgröße von Validator-Einzahlungen. dh "wie viel ETH muss ich einsetzen, um die Gaskosten (Transaktionsgebühren) für das Senden von Vorbereitungs-/Commit-Nachrichten auszugleichen und einen Gewinn zu erzielen?"

Antwort von VB:

Das ist ein heikles Thema. Hier gibt es ein implizites Minimum, weil Sie Gas bezahlen müssen, um sich vorzubereiten/zu verpflichten, und so ist es insgesamt nicht rentabel, es sei denn, Sie hinterlegen mindestens 1000-4000 ETH. Eine Möglichkeit, über die wir nachdenken, ist in späteren Phasen das Hardforking eines Rabatts speziell für die Ausführung im Zusammenhang mit diesem Vertrag, aber das ist noch lange nicht abgeschlossen.

Alle Auszüge aus diesem Artikel von Jim Manning vom 5. April 2017: https://www.ethnews.com/proof-of-stake-vitalik-buterin-shares-casper-contract-code

Kredit: @Vitalik im Ethereum Research Gitter Chatroom :

Stand 11. Januar 2016:

1. Wie sollen die Staking Rewards und Penalties (genauer gesagt die Parameter für die Scoring-Regel) für CASPER festgelegt werden?
2. Wie viele Validatoren sollte CASPER haben? Wie sollten wir angesichts dieses Werts darauf abzielen?
3. Was ist ein gutes Beteiligungsziel (in % aller gestaketen ETH)? Wie sollten wir diesen Wert anvisieren?

Berücksichtigen Sie bei (1) und (3) egoistische Mining-Bedenken; Grundsätzlich möchten Sie versuchen, die Validierung NICHT zu einem Nullsummenspiel zu machen, um das Risiko solcher Strategien zu mindern.

4. Wie genau sollte das Sharding vom Standpunkt der Datenstruktur aus implementiert werden (feste Anzahl von Shards, variable Anzahl von Shards, das von Vitalik auf der devcon vorgestellte Binärschema usw.)? Sollte es Sharding auf Untervertragsebene geben? Wenn Sie darüber nachdenken, denken Sie an den Zielanwendungsfall eines Entwicklers, der versucht, ein skalierbares Krypto-Token in einem HLL zusätzlich zu diesem Schema zu erstellen.
5. Wie sollten Transaktionsgruppen validiert werden? (z. B. welche Art von Stichprobenverfahren)

Die aktuellen Probleme sind ... ob es wirklich funktioniert oder nicht. Grundsätzlich kann der Algorithmus darauf reduziert werden, sich wie ein Prognosemarkt zu verhalten. Theoretisch sollte das funktionieren, aber ob es in der Realität funktioniert, ist eine andere Frage. Aber wir werden mehr wissen, sobald es im Testnetz ist. Bis dahin gibt es nicht viel zu kritisieren, da es sich noch in der Entwicklung befindet.

November 2017 (nach Devcon3) Update:

Vollständig

• Casper Friendly Finality Gadget ("Vitalik's Casper") Spezifikation und PoC-Code
• Casper The Friendly GHOST ("Vlad's Casper") Sicherheitsprüfpapier und PoC-Code

Im Gange

• Casper FFG-Testnetz (pyethapp / pyethereum)
• Casper FFG Kryptoökonomie (Parameteroptimierung)
• Capser FFG-Blockvorschlag
• Casper TFG Lebendigkeitsnachweis

Casper FFG wird vor Casper TFG implementiert.