Einführung von dynamischen zk-SNARKs – ein Durchbruch des Lagrange-Forschungsteams Weijie Wang, @chbpap, @s_shravan und @dipapadopo Dynamische zk-SNARKs stellen einen großen Fortschritt dar, um Echtzeit-aktualisierbare kryptografische Beweise Wirklichkeit werden zu lassen. Hier ist, was das bedeutet und warum es wichtig ist 🧵

2/ Traditionelle zk-SNARKs sind in ihrer statischen Natur begrenzt – wenn sich Ihre Daten ändern, müssen Sie den gesamten Beweis von Grund auf neu erstellen (d.h. langsam, teuer und unpraktisch für datenintensive Anwendungen). Dynamische zk-SNARKs beseitigen diese Einschränkungen.

3/ Kurz gesagt, dynamische zk-SNARKs ermöglichen es Ihnen, einen Beweis zu aktualisieren, wenn sich Ihre Daten ändern – kein Neuanfang erforderlich. Stellen Sie sich vor, Sie aktualisieren einen Beleg, anstatt jedes Mal einen neuen zu drucken, wenn ein Kunde einen Artikel hinzufügt (schneller, günstiger und intelligenter – praktisch für datenintensive Anwendungen).

4/ Diese Forschung bietet immense Vorteile für reale Anwendungsfälle. z.B.: – KI, die kontinuierlich lernt – Spiele mit Echtzeit-Logik – Blockchains, die Live-Daten verfolgen – Smart Contracts, die sich anpassen, wenn sich die Eingaben ändern Dynamische zk-SNARKs machen diese Anwendungsfälle verifizierbar, ohne Rechenleistung zu verschwenden.

5/ Stell dir das vor… 💭 - Eine KI gibt dir eine Antwort - Ein dynamisches zk-SNARK beweist, dass sie korrekt ist. - Du gibst der KI einen neuen Input, der auf deinem vorherigen aufbaut. - Mit dem dynamischen zk-SNARK kann eine KI den Beweis für die neue Antwort in Sekunden aktualisieren (es ist nicht nötig, alles neu zu berechnen).

6/ Prost auf unser Forschungsteam, das neu definiert, was wir mit ZK-Technologie erreichen können. Einen Durchbruch nach dem anderen, wir entwickeln KI, die sicher, überprüfbar und vertrauenswürdig ist. Verpassen Sie nicht den Vortrag auf der SBC '25: Lesen Sie das vollständige Papier hier: