Gedankenexperiment zur Theorie der Spiele über die Beweisführung der Speicherung
Das Beweissystem für die Speicherung kann als ein unvollständiges Informations-Spiel zwischen Knoten und Überprüfern betrachtet werden. Die Knoten können wählen, entweder alle Daten ehrlich zu speichern oder nur einen Teil der Daten zu speichern, um Kosten zu sparen; die Überprüfer nutzen Stichprobenuntersuchungen, um Betrug aufzudecken. Das Nash-Gleichgewicht des Spiels hängt von der Strafintensität, der Prüffrequenz und den Speicherkosten ab. Wenn die Strafen zu gering oder die Prüfwahrscheinlichkeit zu klein sind, könnten die Knoten Betrug begehen; im umgekehrten Fall würde eine zu häufige Prüfung die Netzwerkbelastung erhöhen. Die optimale Einstellung der Parameter für die Speicherbeweisführung sollte dazu führen, dass ehrliches Verhalten die dominante Strategie für die Knoten ist, gleichzeitig die Überprüfungsbelastung minimiert wird. Mechanismen zur dynamischen Anpassung können die Parameter basierend auf der historischen Rate an Betrug adaptiv anpassen, um das Gleichgewicht des Spiels aufrechtzuerhalten.
