ZK/FHEs neueste Forschungsfortschritte (einschließlich einiger kryptografischer Projekte) In der neuesten Episode des Podcasts spricht Anna mit Dan Boneh, Professor für Informatik und Elektrotechnik an der Stanford University, über die Fortschritte in der ZK-Forschung. Zusammenfassung des Interviews: Einige vielversprechende Szenarien für ZK: 1) ZKML, das ZKML-Problem besteht darin, das korrekte Ausführen eines Modells auf gegebenen Daten zu beweisen, was auch der Forschungsrichtung des Teams von boundless @boundless_xyz @boundless_cn (@risczero) ist, die seit zwei Jahren verfolgt wird. 2) Inhaltsverfolgung und Authentizität: Der C2PA-Standard (Inhaltsverfolgung und Authentizität) ermöglicht es Kameras, Bilder durch eingebettete Schlüssel zu signieren, um die Herkunft, Zeit und Konfiguration des Bildes zu beweisen. Jetzt beginnen auch generative KI (wie DALL·E), C2PA-Nachweise zu Bildern hinzuzufügen, um anzugeben, dass sie KI-generiert sind. Auf Basis von Gittern, SNARK, FHE: - SNARKs, die auf Gittern (lattices) basieren (der Vorteil von Gittern ist die post-quantum Sicherheit). - Die Arbeit von Greyhound schlägt ein auf Gittern basierendes polynomiales Verpflichtungsschema (PCS) vor. - Die Forschung hat gezeigt, dass Gitter in Faltungsschemata sehr gut abschneiden, und in Zusammenarbeit mit Binyi Chen (Gründer/Forscher von Espresso @EspressoSys) wurde LatticeFold entwickelt: ein auf Gitter basierendes Faltungsschema. - Im Bereich FHE werden spezialisierte ASIC-Chips entwickelt, die voraussichtlich 2025 die FHE-Leistung erheblich steigern werden (möglicherweise um das 10- bis 100-fache). - Zama @zama_fhe erkundet die Ausführung von SNARKs auf FHE-Berechnungen, während die Ringstruktur von LatticeFold mit FHE kompatibel ist und sich für dieses Szenario eignet. Chinesische Version des Interviewinhalts: Originaltext des Podcasts: