Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK)

Was ist Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK)?

Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) ist ein Beweissystem, das es ermöglicht nachzuweisen, dass eine Berechnung korrekt durchgeführt wurde, ohne die Eingabedaten oder die gesamte Berechnung offenzulegen. Es ist skalierbar und transparent, weil es auf vertrauenswürdige Zeremonien verzichtet und einfache Hashfunktionen verwendet, was auch mit Ideen zur Postquantensicherheit kompatibel ist. Stell es dir wie einen kleinen, überprüfbaren Beleg vor, der sagt, die Hausaufgabe wurde erledigt, ohne die Hausaufgabe zu zeigen.

Wie Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) funktioniert

Stell dir vor, ein Rollup weist nach, dass tausende Trades korrekt verarbeitet wurden. Mit Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) führt die Chain nicht alles erneut aus. Sie prüft nur einen kompakten Beweis und macht weiter.

1. Schritt 1: Ein Prover wählt eine Aussage zum Nachweisen, zum Beispiel „dieser Transaktionsstapel hat die Regeln eingehalten.“
2. Schritt 2: Die Berechnung wird in eine strukturierte Spur umgewandelt. Der Prover bindet sich an diese Spur mittels Hashes, sodass später nichts mehr geändert werden kann.
3. Schritt 3: Aufwendige Mathematik im Hintergrund, verpackt in benutzerfreundlichem Code. Der Prover erstellt einen kleinen Beweis, den es sehr schwer wäre zu fälschen.
4. Schritt 4: Der Beweis wird an einen Verifier gesendet, oft ein Smart Contract. Der Verifier führt leichte Prüfungen aus.
5. Schritt 5: Besteht die Prüfung, wird das Ergebnis auf der Chain akzeptiert und der Zustand aktualisiert. Nettoeffekt: bessere Durchsatz und Leistung bei weniger Datenvolumen.

Das ist das Vorgehen, ganz ohne Kreidestaub.

Warum Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) wichtig ist

Das ist relevant, weil sich so Blockchains schnell und privat gestalten lassen, ohne Vertrauen preiszugeben.

• Vorteil: Große Berechnungen werden zu kleinen Prüfungen, das spart Gebühren und Zeit.
• Perspektive: Sie können Korrektheit nachweisen und gleichzeitig die Privatsphäre der Eingaben wahren. Teilen Sie den Beweis, nicht die Geheimnisse.
• Relevanz: Sie werden es in Rollups, Spielen, NFTs und Zahlungen sehen, dort wo Geschwindigkeit und Verlässlichkeit zählen.

Hauptmerkmale von Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK)

Das zeichnet es aus:

• Transparent: Keine Trusted Setup Zeremonie, daher gibt es keine spezielle Gruppe, der man blind vertrauen müsste.
• Skalierbar: Entwickelt für hohe Skalierbarkeit, indem große Arbeitslasten zu kleinen Beweisen gebündelt werden.
• Postquant: Basierend auf Hashfunktionen, die als widerstandsfähiger gegen zukünftige Quantenangriffe gelten.

Varianten

Ähnliche Varianten sind:

• SNARKs: Kleinere Beweise und schnelle Verifikation, benötigen jedoch oft ein Trusted Setup. Andere Kompromisse als zk-STARK.
• Validity proofs: Oberbegriff, der SNARKs und STARKs einschließt. Sie weisen nach, dass ein Zustandsupdate korrekt ist.
• Fraud proofs: Werden von Optimistic Rollups eingesetzt. Es wird von Korrektheit ausgegangen, bis jemand einen Fehler nachweist, dann folgt eine Herausforderung.

Beispiel

Eine DeFi Börse auf Starknet bündelt Trades und veröffentlicht einen zk-STARK Beweis auf Ethereum, sodass die Chain das gesamte Bündel mit minimalem Gasaufwand verifiziert.

Wissenswertes

Das Akronym prägten Forscher unter anderem Eli Ben Sasson, und ja, STARK bedeutet auf Deutsch „stark“. Das passt, da das Design auf robuste Hashfunktionen anstelle umfangreicher Public Key Zeremonien setzt.

Zusammenfassung

Kurzfassung: zk-STARK liefert kleine Beweise dafür, dass große Arbeit stattgefunden hat, sodass man Ergebnissen vertrauen kann, ohne die Daten einzusehen.