DieAnwendungsfälle and Die Softwaresysteme, Die sieunterstützen, Sind Hier VonübergeordNetemInteresse. zunächstjedoch ein einblick in die funktionsweise des Zero-newledge-protokolls – ohne dabei zu tief in Mathematik abzutauchen.
ZK-SNARK – FunktionsWeise
Zk-Snark Prüft Im Grunde Genomen, Ob eine berechnung stattgefunden hat. Dazu Wird DieUrsprünglicheBerechnung (Zum Beispiel Eine Funktion)Durch Eine Reihe Mathematischer transformationen einem Ganz bestimten format AusgedRückt in DIESESENDGültige format IST das eigentliche Zk-Snark-Format, Das Verwendet Werden Kann, Um Zu Beweisen, Dass Die Berechnung Mit Dem Gegebenen Input StattgeFunden hat (Der Input von Zk-Snark als a Zk-Snark Als’ Beweisen, Dass Die Berechnung Mit Diesem Argument Stattgefunden Hat). Zu Dieser Anordnung Sind Zwei Bemerkungen Angebracht:
-
Erfordert Die Anordnung Viele Anwendungen, Wie etwa den besitznachweis eines passwords, dass diegewünschtebehauptung zunpung zunpung Zuntächstein funtionales; Im Falle Eines Passworths Kann Dieses Zum Beispiel Im Klartext Durch Einen Hashing-Algorithmus laughen. Dann Muss Nur Noch Bewiesen Werden, Dass der hash-Algorithmus Mit Dem Passwort Verglichen Wurde is Dem besitznachweis des passwords gleichkommt.
-
Eröffnet Die Artderüber prüfbarenberechnungen ein neues neues model dedenverarbeitung, dasüberiagacheeinfache einfache authentifizierung von von aussagen hinauusgeht. Dieses ModellErmöglichtDie Auslagerung von berechnungen a die die ressourcen dritter，selbst in einer trust trust trust-umgebung，da die die die die dieausführungkryptograforafigrafisch nachweisen kann。
Das Hat Erhebliche Auswirkungen Auf Blockchain, Denn Anstatt Transaktionen Durch Die DieübertragungderTatsächlichen Information Zu Verifizieren, KönnenSie Zk-Snarks Verwenden, Um Nur nur Den Beweis Zuis ZuIs ZuIs ZuIs ZuIs Zuivertagen. Das Mina-Protokoll IST EINBEISPIELFürEine Blockchain, Die Dieses Konzept Verfolgt. Berechnungen auf Diese Weise Auszulagern, Kann Auchaußerhalbder blockchain Anwendung finden, Indem Eine Art Marktplatzfürberechnungen geschaffen wire. Dazu Sind Keinevertrauenswürdigendrittororganisationen erforderlich (heute in der regel cloud-anbieter verschiedener Art).
