Ein ZK-STARK (Zero-Knowledge Scalable Transparent ARgument of Knowledge) ist ein kryptografisches Beweissystem, das es einer Partei ermöglicht, einer anderen Partei den Besitz geheimer Informationen oder die Korrektheit einer Berechnung nachzuweisen – ohne das Geheimnis preiszugeben und ohne dass ein Vertrauensaufbau erforderlich ist. Entwickelt von Eli Ben-Sasson und StarkWare Industries, erreichen STARKs Transparenz (kein Vertrauensaufbau) und Quantenresistenz (basierend ausschließlich auf …). Hash-Funktionenund Skalierbarkeit (die Zeit für die Beweisverifizierung ist polylogarithmisch in der Rechengröße). Während zk-SNARKs kleinere Beweise erzeugen, bieten zk-STARKs stärkere kryptografische Annahmen und bilden die Grundlage der Ethereum-Skalierungstechnologie von StarkWare (StarkEx und StarkNet).
Herkunft & Geschichte
| Datum | Event |
| 1985 | Grundlagen der Zero-Knowledge-Beweistheorie (Goldwasser, Micali & Rackoff) |
| 2012 | zk-SNARKs formalisiert; erfordern eine vertrauenswürdige Einrichtung – eine Einschränkung |
| 2018 | Ben-Sasson et al. veröffentlichen „Skalierbare, transparente und postquantensichere Rechenintegrität“ – stellen STARKs vor |
| 2018 | StarkWare Industries wurde von Ben-Sasson, Bentov, Horesh und Riabzev gegründet. |
| 2020 | StarkEx (StarkWares Skalierungs-Engine) wird zusammen mit dYdX und DeversiFi eingeführt. |
| 2021 | Das StarkNet-Testnetz (dezentrales L2) startet auf Ethereum |
| 2022 | StarkNet Mainnet Alpha; Cairo-Programmiersprache für STARK-beweisbare Programme |
| 2023 | StarkNet verarbeitet monatlich Millionen von Transaktionen; STRK-Token angekündigt |
| 2024 | StarkWare veröffentlicht rekursive STARK-Forschung, die die Beweiskonstruktion ermöglicht |
„STARKs sind SNARKs größer, postquantum„Sie opfern die Beweisgröße für Transparenz und Sicherheit – im Gegensatz zu ihren Vorgängern, die auf Sicherheit Wert legen.“ – Eli Ben-Sasson, Mitbegründer von StarkWare
Funktionsweise
ZK-STARK vs. ZK-SNARK VERGLEICH ───────────────────────────────────────────────────────────────────── SNARK STARK ────────────────────────────────────────────────────────────── Vertrauenswürdige Einrichtung: Erforderlich (Giftmüll) KEINE (transparent) Beweisgröße: ~200 Bytes ~50–200 KB Verifizierungszeit: Millisekunden Millisekunden Quantensicher: Nein (elliptische Kurve) Ja (nur Hash-Funktionen) Beweiszeit: Schnell Langsamer (größere Konstanten) Verwendet in: Zcash, zkSync, Groth16 StarkNet, StarkEx ────────────────────────────────────────────────────────────────────────────
STARK-BEWEISGENERIERUNG: Berechnung → Algebraische Zwischenrepräsentation (AIR) → Polynomielle Verpflichtung (FRI-Protokoll) → STARK-Beweis (von jedem verifizierbar) → Ethereum L1-Verifizierer prüft den Beweis in ca. 200–500 Gas
| Eigenschaft | ZK-SNARK | zk-STARK |
| Einrichtung | Vertrauenswürdige Zeremonie | Keine (transparent) |
| Mariä Himmelfahrt | Elliptische Kurven | Nur Hashfunktionen |
| Post-Quanten-Verschlüsselung | Nein | Ja |
| Proofgröße | ~200 Byte | ~50–200 KB |
| Verifizierungsgas (ETH) | Gastemperatur ~200K-300K | Gastemperatur ~200K-500K |
| Skalierbarkeit | Hoch | Sehr hohe |
Einfach ausgedrückt
- Kein vertrauenswürdiges Setup – STARKs benötigen keine geheime Zeremonie zur Parametergenerierung. Es gibt keinen „Giftmüll“, der vernichtet werden muss; jeder kann die Fairness der Zufälligkeit überprüfen.
- Quantensicher – STARKs basieren ausschließlich auf kollisionsresistenten Hashfunktionen, die Quantencomputer nicht knacken können (im Gegensatz zur elliptischen Kurvenmathematik, die SNARKs verwenden).
- Größere Beweismengen, gleiche Sicherheit – Ein STARK-Beweis ist wesentlich größer als ein SNARK-Beweis (50 KB gegenüber 200 Byte), beinhaltet aber stärkere Sicherheitsannahmen.
- Skaliert mit der Rechenleistung – Die STARK-Verifikationszeit wächst polylogarithmisch mit der Rechengröße – der Beweis einer Berechnung mit 1 Million Schritten ist nicht 1 Million Mal schwieriger zu verifizieren.
- Kairoer Sprache – StarkWare entwickelte Cairo, eine Sprache zum Schreiben von STARK-beweisbaren Programmen, die es ermöglicht, komplexe Smart-Contract-Logik auf L2 zu beweisen und auf Ethereum abzuwickeln.
Beispiele aus der Praxis
| Szenario | Umsetzung | Ergebnis |
| dYdX v3 auf StarkEx | Abwicklung von Perpetual Futures über STARK-Proofs | 1,000 Transaktionen pro Sekunde bei Ethereum-Sicherheit; Gebühren unter 1 US-Dollar |
| Immutable X NFT-Prägung | StarkEx ZK-Rollup für Gaming-NFTs | 9,000 NFT-Prägungen pro Sekunde; keine Gasgebühren für Nutzer |
| StarkNet DeFi | JediSwap, Ekubo DEX-Bereitstellung auf StarkNet | Vollständiges Smart Contract DeFi mit 100-facher Ethereum-Geschwindigkeit |
| Kairo-Verträge | Entwickler schreibt Kairo-Vertrag für On-Chain-Spiel | Jeder Schritt wurde in der Blockchain als korrekt nachgewiesen; Betrug ist unmöglich. |
| Rekursive STARKs | StarkWare liefert Beweise für Beweise | Milliarden von Transaktionen in einer einzigen Ethereum-Transaktion komprimieren |
Vorteile
| Vorteil | Detail |
| Kein vertrauenswürdiges Setup | Eliminiert das Sicherheitsrisiko im Zusammenhang mit Zeremonien vollständig |
| Quantenresistent | Das einzige Kryptosystem, das nachweislich sicher gegen Quantencomputer ist |
| Transparente Zufälligkeit | Alle Beweisparameter sind öffentlich überprüfbar. |
| Extreme Skalierbarkeit | Rekursive Beweise können unbegrenzte Berechnungen aggregieren. |
| Kampferprobte Mathematik | Basiert auf gut verstandenen Hashfunktionen, nicht auf neuartigen Annahmen. |
Nachteile & Risiken
| Risiko | Detail |
| Proofgröße | Das Hochladen von 50–200 KB großen Proofs auf Ethereum ist teuer (Anrufdatenkosten). |
| Verifizierungsgaskosten | ~200K-500K Gas zur Überprüfung eines STARK vs ~200K-300K für einen SNARK |
| Lernkurve in Kairo | Die Cairo-Sprache unterscheidet sich von Solidity; das Entwickler-Ökosystem ist kleiner. |
| Prover berechnet Kosten | Die STARK-Generierung erfordert erhebliche Rechenressourcen. |
| EVM-Kompatibilität | Das native StarkNet ist nicht EVM-äquivalent; Kakarot (EVM auf Cairo) umgeht dieses Problem. |
Tipps zum Risikomanagement:
- Beobachten Sie StarkNets Dezentralisierungs-Roadmap – die Zentralisierung der Beweiser stellt ein aktuelles Risiko dar.
- Für EVM Entwickler sollten Kakarot (EVM auf Cairo) für eine einfachere Migration zu StarkNet in Betracht ziehen.
- Nutzen Sie L2Beat, um die Sicherheit von StarkNet zu überwachen und wichtige Risiken zu beheben.
FAQ
F: Was bedeutet „transparent“ im ZK-STARK-Modell?
A: Es wurden keine geheimen Parameter generiert. Jeder kann unabhängig überprüfen, ob das Beweissystem fair aufgebaut ist – im Gegensatz zu SNARKs, bei denen die Integrität einer vertrauenswürdigen Zeremonie vorausgesetzt werden muss.
F: Warum sind STARK-Proofs größer als SNARK-Proofs?
A: SNARKs verwenden elliptische Kurvenpaarung (kompakte, aber weniger sichere Annahmen); STARKs verwenden Merkle Bäume und FRI-Polynomverpflichtungen (von Natur aus größer, aber sicherer).
F: Ist StarkNet EVM-kompatibel?
A: StarkNet verwendet nativ Cairo (nicht die EVM). Kakarot ist eine in Cairo geschriebene EVM-Implementierung, die es ermöglicht, Solidity-Verträge indirekt auf StarkNet auszuführen.
F: Ist STARKs auf Milliarden von Transaktionen skalierbar?
A: Rekursive STARK-Verfahren (Beweise von Beweisen) skalieren theoretisch auf beliebige Rechenoperationen. Der Stwo-Beweiser von StarkWare zielt darauf ab, Millionen von Transaktionen pro Sekunde zu beweisen.
F: Wer hat ZK-STARKs erfunden?
A: Eli Ben-Sasson (Technion-Professor und Mitbegründer von StarkWare) veröffentlichte zusammen mit Iddo Bentov, Lior Horesh und Michael Riabzev im Jahr 2018 das ursprüngliche STARK-Papier.
Quellen
- Ben-Sasson et al., „Skalierbare, transparente und postquantensichere Rechenintegrität“ (2018) — IACR ePrint
- StarkWare-Dokumentation — starkware.co
- StarkNet-Dokumentation — docs.starknet.io
- Vitalik Buterin, „STARKs, Teil 1“ — vitalik.ca
UPay-Tipp: Aufgrund ihrer Quantenresistenz stellen STARKs die langfristig sicherste Wahl für kryptografische Beweissysteme im Zuge der Weiterentwicklung des Quantencomputings dar. Obwohl SNARKs aktuell effizienter sind, bietet die schrittweise Umstellung des Krypto-Ökosystems auf STARKs eine sinnvolle Absicherung gegen zukünftige Quantenrisiken.Haftungsausschluss: Dieser Glossareintrag dient ausschließlich Bildungszwecken und stellt keine Finanz- oder Rechtsberatung dar.
Bezahlen — Eine Krypto-Enzyklopädie erstellen
