SNARKChain: Proof-of-Useful-Work Blockchain Consensus with General-Purpose SNARK Marketplace
Dieses Paper stellt SNARKChain vor, ein neuartiges Proof-of-Useful-Work-Konsensprotokoll, das die Blockchain durch die Integration von clientseitig ausgelagerter SNARK-Beweiserzeugung direkt in den Mining-Prozess absichert und dadurch Energieverschwendung eliminiert, während es gleichzeitig den ersten dezentralen Marktplatz für SNARK-Beweise auf der Konsensebene etabliert.
Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen
Stellen Sie sich die Welt der Blockchain als ein riesiges, globales digitales Kassenbuch vor, dem alle vertrauen, das aber von keiner einzelnen Person kontrolliert wird. Um dieses Kassenbuch vor bösen Akteuren zu schützen, nutzen die meisten Blockchains ein System namens Proof of Work (PoW). Man kann es sich wie eine massive, hochtechnologische Schnitzeljagd vorstellen, bei der Computer darum wetteifern, unglaublich schwierige mathematische Rätsel zu lösen. Der Erste, der das Rätsel löst, darf die nächste Seite im Kassenbuch schreiben und erhält dafür eine Belohnung.
Das Problem? Diese Rätsel sind wie das Verbrennen einer Bibliothek, nur um ein Feuer am Brennen zu halten. Sie verbrauchen Unmengen an Elektrizität, produzieren aber außerhalb der Blockchain selbst nichts Nützliches. Einige Berichte deuten darauf an, dass allein eine berühmte Blockchain (Bitcoin) so viel Kohlendioxid verursachen könnte, wie das gesamte Land Griechenland in einem Jahr ausstößt!
Hier kommt SNARKChain ins Spiel, eine neue Idee eines Forscherteams der Technischen Universität Brünn. Sie stellten die Frage: Was wäre, wenn die „nutzlosen“ Rätsel, die wir lösen, um die Blockchain sicher zu halten, tatsächlich etwas Sinnvolles für die reale Welt tun könnten?
Die große Idee: Rätsel lösen, die zählen
Die Forscher schlagen ein System vor, das Proof of Useful Work (PoUW) genannt wird. Anstatt Energie für zufällige mathematische Probleme zu verschwenden, würden Miner Rätsel lösen, die zk-SNARKs generieren.
Um zk-SNARKs zu verstehen, stellen Sie sich einen Magier vor, der beweisen kann, dass er ein geheimes Passwort kennt, ohne das Passwort jemals laut auszusprechen. Dies sind mächtige Werkzeuge für Privatsphäre und Sicherheit in der digitalen Welt, aber sie sind unglaublich aufwendig zu erstellen. Sie erfordern massive Computer und viel Zeit, was es für normale Menschen zu teuer macht, sie im Alleingang zu generieren.
SNARKChain verwandelt die Blockchain in einen dezentralen Marktplatz. So funktioniert die Magie:
- Clients (Personen, die diese magischen Beweise benötigen) posten eine Anfrage auf der Blockchain.
- Miner (die Computer, die das Netzwerk sicher halten) nehmen diese Anfragen an.
- Während sie daran arbeiten, die Blockchain zu sichern, generieren sie diese nützlichen Beweise als „Nebenprodukt“.
- Wenn ein Miner das Rätsel korrekt löst, darf er einen neuen Block zur Kette hinzufügen und eine Belohnung erhalten.
Dies ist das erste Mal, dass es den Autoren zufolge gelungen ist, einen solchen Marktplatz direkt in die Kern-Sicherheitsebene einer Blockchain einzubauen.
Der knifflige Teil: Es fair zu halten
Die Forscher wussten, dass es nicht ausreichte, einfach nur ein Rätsel durch ein anderes zu ersetzen. Sie mussten sicherstellen, dass das System die goldenen Regeln der Blockchain-Sicherheit nicht verletzt. Sie mussten einige spezifische Probleme lösen:
1. Das Problem des „gestohlenen Werks“
In der Vergangenheit war die Arbeit eines Miners wertlos, wenn er zwar ein Rätsel löste, aber das Rennen um das Hinzufügen des Blocks verlor. In SNARKChain ist ein Beweis, den ein Miner generiert, aber bei dem er die Lotterie um die Veröffentlichung des Blocks verliert, für niemanden sonst nutzbar, da er an einen spezifischen, einzigartigen „Integritätsparameter“ (einen digitalen Fingerabdruck des aktuellen Blocks) gebunden ist. Dies verhindert, dass böswillige Akteure die harte Arbeit eines anderen stehlen und für sich selbst verwenden.
2. Das Problem des „Reich-werden-durch-Reichtum“
Wenn das System einfach nur den schnellsten Computer belohnen würde, könnten nur die größten und teuersten Mining-Farmen jemals gewinnen. Die Forscher entwarfen ein Lotteriesystem, um dies zu beheben.
- Stellen Sie sich vor, ein Miner generiert einen Beweis. Anstatt nur zu prüfen, ob dieser „gut genug“ ist, würfelt das System einen digitalen Würfel.
- Je größer und komplexer der Beweis ist, desto höher ist die Chance, die Lotterie zu gewinnen.
- Das bedeutet, dass ein kleinerer Miner mit einem schwächeren Computer immer noch eine faire Chance hat zu gewinnen, solange er kontinuierlich arbeitet. Die Autoren führten Simulationen (Computermodelle) durch, um dies zu testen, und die Ergebnisse deuteten darauf hin, dass die Belohnungen fair basierend auf der tatsächlichen Arbeit jedes Miners verteilt werden.
3. Das Problem des „Verkehrsstaus“
Was passiert, wenn alle gleichzeitig versuchen, dieselbe Anfrage zu lösen? Die Forscher schlugen ein „Bucketing“-System vor. Stellen Sie es sich wie ein Postamt mit vielen verschiedenen Postfächern vor. Anstatt dass alle um dasselbe Fach kämpfen, werden die Anfragen in verschiedene Fächer sortiert. Miner wählen ein Fach aus und arbeiten nur an den Anfragen innerhalb dieses Fachs. Dies verhindert, dass sich Miner gegenseitig behindern und Energie verschwenden. Ihre Simulationen zeigten, dass die Verwendung von mehr Fächern die verschwendete Arbeit signifikant reduziert.
Was das Paper sagt (und was nicht)
Die Autoren sind sehr vorsichtig mit ihren Behauptungen. Sie schlagen vor, dass ihr System funktioniert, und haben seine Sicherheitsmerkmale durch Simulationen demonstriert. Sie behaupten nicht, eine vollständig laufende, echte Blockchain gebaut zu haben, die jahrelang in der realen Welt getestet wurde.
Sie schließen auch explizit einige Ideen aus, die zwar logisch erscheinen, aber nicht funktionieren:
- Sie lehnen die Idee der „Amortisierung“ ab: Man kann nicht einfach mehrere Beweise zusammenfassen, um sie einfacher zu machen. Das System ist so konzipiert, dass jeder einzelne Beweis von Grund auf neu berechnet werden muss, um sicherzustellen, dass niemand schummeln kann, indem er weniger Arbeit investiert.
- Sie lehnen die Idee der Vorberechnung ab: Ein Miner kann nicht heute heimlich ein Rätsel für einen Block lösen, der erst in einer Woche existieren wird. Das Rätsel ändert sich jede Sekunde basierend auf dem aktuellen Zustand der Blockchain, sodass man es jetzt lösen muss.
Das Fazbeispiel
Die Forscher haben ein System entwickelt, bei dem die Energie, die aufgewendet wird, um eine Blockchain zu sichern, nicht verschwendet wird. Stattdessen wird diese Energie genutzt, um wertvolle kryptografische Beweise zu erstellen, die andere Teile des Internets privater und sicherer machen.
Obwohl sie durch Simulationen gezeigt haben, dass die Mathematik Bestand hat und das System fair ist, räumen sie ein, dass die Implementierung in der realen Welt ein zukünftiger Schritt ist. Sie haben den Bauplan für eine Blockchain geschaffen, die nicht nur Energie verbrennt, sondern tatsächlich etwas Nützliches tut – und so die „nutzlose Arbeit“ der Vergangenheit in die „nützliche Arbeit“ der Zukunft verwandelt.
Ertrinken Sie in Arbeiten in Ihrem Fachgebiet?
Erhalten Sie tägliche Digests der neuesten Arbeiten passend zu Ihren Forschungsbegriffen — mit technischen Zusammenfassungen, in Ihrer Sprache.