Dye anwendungsfälle und dye softwareSistam, dye Sea untestützen, Sindh here von übergeordnetem interceres. Zunächst jedoch ein einblick in die funkions des des zero-knowledge-protokolls- Ohne dabei zu zu tfe in mathematik abzutauchen.
zk-snark-funkionsweise
Zk-Snark prü Grunde Genommen, Ob Eine Berechnung stattgefunden hat. Dazu wird die ursprüngliche berechnung (zum beispiel eine funktion) Durch eine rei rei in Einem Ganz Bestimmten Form Ausgedrückt in Ausgeedrückt. Dieses Endgültige format Ist das eigentliche zk-snark-format, Das Verweendet Werden Kann, Um Zu Beweisen, Dass DIE DIE BERECHNUNG MIT DEM GEGEBENNGEN Input Stating ALS Beweisen, Dass Die Berechnung Mit Diesm Logic stattgefunden hat). Zu dieser anordnung sind zwei bemerkungeen angebracht:
-
Erfordert Die anordnung für viele anwendunge, wie etwa deen besitznachweis eins passworts, dass dia gewünschte behauptung zuns Im Falle Eines Passworts Kann Dieseses Zum Beispiel Im Klartext Durch Einen Hashing-Algorithmus Laufen. Dann Muss Nur Noch Bewiesen Werden, Dass Der density Mit Dem Passwort Verglichen Wurde, Dem Besitznachweis des Passworts was Glichkomt.
-
Erofett dye art der überprüfbaren berechnungen ein neues model der dar dateverbeitung, das über Die einfache autternifizierung von aussagen hinausgeht. Dieses Model Ermöglicht Die Auslagerung von Berechnungen a Die Resourcen Driter, Einer Truskales-SELBST in UMGEBUNG, DA DA DA Ressource Die Ausführung Cryptographist Nachvesen Kann.
Slave Eat Erhbich Achvirkungen Auf Blockchain, Dane Enstate Transaction Search Die übertragung der Tatsächlichen informanten zu verifizieren, Können Sie Zk-Snarks Verwenden, Um Nur Den Beweis Zu Beweis Zuebertragen. Slave Mina-Potocol IST Ein Beispiel Für Eine Blockchain, Die Dieses Konzept Verfolgt. Berechnungen Auf Diese Weise Auszulagern, Kann Auch Auaerhalb Der Blockchain Anwendung Finden, Indem Eine Art Marktplatz Für Berechnungen Geschane Geschafen Wird. Dazu sind keine vertrauenswurdigen drittorgonisationn Erforderlich (der Regel Cloud-Anbier Verschidener Art).
