zk-STARK
Ein zk-STARK (Zero-Knowledge Scalable Transparent Argument of Knowledge) ist ein kryptographisches Beweissystem, das es einem Beweisführer ermöglicht, einen Prüfer von der Korrektheit einer Berechnung zu überzeugen, ohne eine vertrauenswürdige Einrichtung (trusted setup) oder Details der Berechnung preiszugeben. zk-STARKs wurden 2018 von Ben-Sasson und Kollegen eingeführt und adressieren eine wesentliche Einschränkung von zk-SNARKs: Sie erfordern keine Vorverarbeitungsphase, die anfällig für Beschädigungen ist. Stattdessen verlassen sich STARKs ausschließlich auf kryptographische Hash-Funktionen, was sie einfacher, transparenter und vermutlich post-quantensicher macht.
Die vollständige Methode lesen
Melden Sie sich mit einem kostenlosen Konto an, um diesen Abschnitt zu lesen.
Methodenkarte
Die Nachbarschaft verwandter Methoden — wählen Sie einen Knoten, um sie zu erkunden.
Quellen
- Ben-Sasson, E., Bentov, I., Horesh, Y., & Riabzev, M. (2019). Scalable, transparent, and post-quantum secure computational integrity. In IACR Cryptology ePrint Archive, Report 2018/046. link ↗
- Ben-Sasson, E., Riabzev, M., Rozenkraut, M., Shacham, H., & Stemen, M. (2021). Aurora: Transparent Succinct Non-Interactive Zero-Knowledge Proofs. In IACR Cryptology ePrint Archive, Report 2018/828. link ↗
So zitieren Sie diese Seite
ScholarGate. (2026, June 3). Zero-Knowledge Scalable Transparent Argument of Knowledge. ScholarGate. https://scholargate.app/de/cryptography/zk-stark
Welche Methode?
Stellen Sie diese Methode neben ihre nächsten Verwandten und lesen Sie sie nebeneinander — die Bibliothek legt die Bücher auf den Tisch; die Wahl liegt bei Ihnen.
- Gitterbasierte KryptographieKryptographie↔ vergleichen
- Post-Quanten-Kryptographie (Kyber)Kryptographie↔ vergleichen
- zk-SNARKKryptographie↔ vergleichen
Referenziert von
Einen Fehler auf dieser Seite entdeckt? Melden oder Korrektur vorschlagen →