Nejnovější pokrok ve výzkumu ZK/FHE (také související s některými krypto projekty) V nejnovější epizodě podcastu si Anna povídá s Danem Bonehem, profesorem informatiky a elektronického inženýrství na Stanfordově univerzitě, o pokroku výzkumu zk Shrnutí rozhovoru: Některé potenciální scénáře pro ZK: 1) ZKML, problém ZKML spočívá v prokázání správného provedení modelu na daných datech, což je také směr, kterým tým Boundless @boundless_xyz @boundless_cn (@risczero) dva roky zkoumá 2) Sledovatelnost a autenticita obsahu: Standard C2PA (Content Traceability and Authenticity) umožňuje kamerám podepisovat obrázky pomocí vestavěných klíčů, které prokazují původ, čas a konfiguraci obrazu. Nyní je generována umělá inteligence (například DALL· E) také začala k obrázkům připojovat nátisky C2PA, což znamená, že jsou generovány umělou inteligencí Na základě mřížky, SNARK, FHE: - SNARKy postavené na mřížkách (mřížky mají výhodu postkvantové bezpečnosti) - Greyhoundův článek navrhuje polynomiální závazkové schéma založené na mřížce (PCS) -Studie zjistila, že mřížka funguje velmi dobře ve schématech skládání, a vyvinula LatticeFold: schéma skládání založené na mřížce ve spolupráci s Binyi Chenem (zakladatelem/výzkumníkem ve společnosti Espresso @EspressoSys). Oblast FHE vyvíjí specializované ASIC čipy, u kterých se očekává, že do roku 2025 výrazně zlepší výkon FHE (možná 10 až 100krát rychleji) -Zama @zama_fhe zkoumá spouštění SNARKů na výpočtech FHE a kruhová struktura LatticeFold je kompatibilní s FHE a je vhodná pro tento scénář Obsah rozhovoru Čínská verze: Původní text podcastu: