Forscher der Abteilung Apple Machine Learning Research haben ein neues Konzept vorgestellt, das das Problem der Verifizierung von Aussagen über unbekannte Datenverteilungen löst. In dem beschriebenen Szenario verfügt eine Partei nur über eine begrenzte Anzahl von Stichproben, während eine andere, potenziell nicht vertrauenswürdige Partei behauptet, eine komplexe Analyse durchgeführt und Schlussfolgerungen über die Eigenschaften dieser Daten gezogen zu haben.
Die Autoren der Arbeit haben Systeme interaktiver Beweise konstruiert, die es der ersten Partei ermöglichen, die Behauptungen der zweiten Partei effizient zu überprüfen. Der entscheidende Vorteil des vorgeschlagenen Ansatzes besteht darin, dass die Verifizierung erheblich weniger Rechenressourcen erfordert als die eigenständige Durchführung der ursprünglichen tiefgehenden Analyse.
Das entwickelte System ist auf allgemeine Eigenschaften von Verteilungen anwendbar, die durch Schaltkreise begrenzter Tiefe (bounded-depth circuits) definiert werden können. Diese theoretische Leistung eröffnet Möglichkeiten für die Erstellung von Protokollen, bei denen das Vertrauen in die Ergebnisse der Verarbeitung großer Datenmengen mathematisch und nicht durch den Ruf des Ausführers gewährleistet wird.
redaktioneller Kommentar
Warum es wichtig ist
Als wahrscheinlichste Folge ist eine Vertiefung der Forschung im Bereich der kryptographischen Datenverifizierung innerhalb großer Technologieunternehmen zu erwarten. Das nächste beobachtbare Signal könnte das Erscheinen von Publikationen sein, die die Klasse der unterstützten Funktionen über Schemata begrenzter Tiefe hinaus erweitern, oder experimentelle Implementierungen des Protokolls. Die größte Unsicherheit besteht im Zeithorizont für den Übergang von der theoretischen Konstruktion zum Industriestandard.