Was ist ein ZK-Snark?

Verständnis der Grundlagen von ZK-Snarks

Zk-Snark steht für Zero-Knowledge Locinct, nicht-interaktives Wissensargument . Es ist ein kryptografisches Beweissystem, mit dem eine Partei (dem Prover) einer anderen Partei (dem Verifizierer) beweisen kann, dass sie einen Wert oder ein Geheimnis kennen, ohne die tatsächlichen Informationen selbst zu enthüllen. Dieses Konzept ist besonders relevant in Blockchain und Kryptowährung, wo Privatsphäre und Effizienz von größter Bedeutung sind.

Stellen Sie sich vor, Sie möchten jemanden davon überzeugen, dass Sie ein Passwort kennen, ohne ihm tatsächlich zu sagen, was es ist. Ein ZK-Snark ermöglicht dies, indem ein prägnanter Beweis erstellt wird, der schnell überprüft werden kann, ohne die zugrunde liegenden Daten freizulegen. Dies macht es in Umgebungen wie dezentralen Netzwerken sehr wertvoll, in denen Transaktionsdetails vertraulich bleiben müssen, während sie noch validiert werden.

Die Komponenten von ZK-Snarks

Das Abbau des Akronyms hilft dabei, seine Funktion zu klären:

• Zero-Knowledge : Der Prover überzeugt den Überprüfer, dass sie bestimmte Kenntnisse besitzen, ohne das Wissen selbst offenzulegen.
• Prägnant : Die erzeugten Beweise sind klein und können schnell verifiziert werden, unabhängig von der Komplexität der nachgewiesenen Aussage.
• Nicht-interaktiv : Herkömmliche Null-Wissen-Beweise erfordern häufig eine Hin- und Her-Kommunikation zwischen dem Prover und dem Verifizierer. Im Gegensatz dazu eliminieren ZK-Snarks diesen Bedarf, indem der Prover den Beweis unabhängig generieren kann.
• Argument des Wissens : Der Beweis zeigt nicht nur, dass die Aussage wahr ist, sondern auch, dass der Prover die erforderlichen Informationen tatsächlich kennt.

Jede dieser Komponenten spielt eine entscheidende Rolle bei der Wirksamkeit von ZK-Snarks für Anwendungen wie private Transaktionen auf Blockchains wie ZCASH , bei denen Transaktionsmengen und Adressen vor der öffentlichen Sicht versteckt sind.

Wie ZK-Snarks funktionieren: Ein vereinfachter Überblick

Der Betrieb von ZK-Snarks umfasst mehrere Phasen:

• Setup -Phase : Ein vertrauenswürdiges Setup generiert zwei Tasten - ein nachweisender Schlüssel und ein Überprüfungsschlüssel. Diese Schlüssel stammen aus einer mathematischen Struktur, die als arithmetischer Schaltung bezeichnet wird und die die Berechnung darstellt, die nachgewiesen werden muss.
• Nachweisphase : Mit dem Providenschlüssel erstellt der Prover einen kryptografischen Beweis dafür, dass er eine gültige Eingabe (genannt Zeuge) kennt, die die Schaltung erfüllt.
• Überprüfungsphase : Der Überprüfer verwendet den Überprüfungsschlüssel, um die Gültigkeit des Proofs zu überprüfen. Wenn der Beweis vergeht, ist der Überprüfer davon überzeugt, dass der Prover die richtige Eingabe kennt, ohne zu lernen, was er ist.

Dieser Prozess stützt sich stark auf elliptischen Kurvenpaarungen und fortschrittlichen algebraischen Strukturen, um Sicherheit und Korrektheit zu gewährleisten.

Anwendungen in Blockchain und Kryptowährung

ZK-SNARKs haben eine signifikante Nische innerhalb des von Privatsphäre ausgerichteten Blockchain-Raums gefunden. Zum Beispiel:

• ZCASH war eine der ersten Kryptowährungen, die ZK-Snarks implementieren und vollständig abgeschirmte Transaktionen ermöglichten, bei denen Sender, Empfänger und Betrag vertraulich bleiben.
• Ethereum hat die Integration von ZK-Snarks zur Verbesserung der Skalierbarkeit und Privatsphäre durch Lösungen wie ZK-Rollups untersucht, die mehrere Transaktionen in einen einzigen Beweis bündeln und die Last an der Hauptkette verringern.
• Vertrauliche intelligente Verträge können ZK-SNARKs verwenden, um Berechnungen auszuführen, ohne empfindliche Eingänge oder Ausgänge auszustellen.

Diese Implementierungen zeigen, wie ZK-Snarks dazu beitragen, sicherere, skalierbare und private dezentrale Systeme aufzubauen.

Herausforderungen und Einschränkungen

Trotz ihrer Vorteile haben ZK-Snarks mehrere Herausforderungen:

• Trusted Setup : Die erste Generation von Tasten erfordert eine sichere Setup -Phase. Wenn dies gefährdet ist, kann das gesamte System anfällig für Angriffe sein. Dies wird häufig als Problem mit giftigem Abfall bezeichnet, da, wenn die Setup -Parameter durchgesickert sind, können böswillige Akteure Beweise vornehmen.
• Rechenaufwand : Es kann rechenintensiv sein und leistungsstarke Hardware erfordern. Dies beschränkt die Zugänglichkeit für einige Benutzer und Geräte.
• Komplexität : Die Implementierung von ZK-Snarks erfordert korrektes Fachwissen in Kryptographie und Mathematik und erhöht die Eintrittsbarriere für Entwickler.

Diese Einschränkungen belegen, warum ZK-Snarks nicht allgemein auf allen Blockchain-Plattformen übernommen werden und warum alternative Technologien wie ZK-Starks entwickelt werden.

Häufig gestellte Fragen

F1: Können ZK-Snarks außerhalb der Blockchain verwendet werden? Ja, obwohl sie in Blockchain-Kontexten am weitesten verbreitet sind, können ZK-Snarks überall dort angewendet werden, wo immer eine sichere Authentifizierung erforderlich ist, ohne Geheimnisse zu enthüllen , z.

F2: Was ist der Unterschied zwischen ZK-Snarks und ZK-Starks? ZK-Starks ( skalierbare transparente Wissensargumente ) beseitigen die Notwendigkeit eines vertrauenswürdigen Setups und stützen sich auf Hash-Funktionen anstelle von elliptischen Kurvenpaarungen, wodurch sie gegen Quantencomputerbedrohungen resistenter werden. Sie neigen jedoch dazu, größere Beweise zu erzeugen als ZK-Snarks.

F3: Sind ZK-Snarks quantenresistent? Die meisten aktuellen ZK-Snark-Konstruktionen sind aufgrund ihrer Abhängigkeit von der kryptographischen Elliptikkurve nicht quantenresistent , die durch ausreichend große Quantencomputer unterbrochen werden könnte.

F4: Wie überprüfe ich einen ZK-Snark-Beweis? Um einen ZK-Snark-Beweis zu überprüfen, verwenden Sie normalerweise den mit der spezifischen Berechnung verbundenen Überprüfungsschlüssel . Der Überprüfungsprozess umfasst die Überprüfung mathematischer Einschränkungen mithilfe einer pairing-basierten Kryptographie, die selbst bei Geräten mit geringer Leistung effizient erfolgen kann.