De senaste forskningsframstegen om ZK/FHE (även relaterade till vissa kryptoprojekt) I det senaste avsnittet av podden pratar Anna med Dan Boneh, professor i datavetenskap och elektronik vid Stanford University, om framstegen inom zk-forskningen Sammanfattning av intervjun: Några potentiella scenarier för ZK: 1) ZKML, ZKML-problemet är att bevisa korrekt exekvering av modellen på en given data, vilket också är den riktning som det gränslösa @boundless_xyz @boundless_cn (@risczero) teamet har lagt ut forskning i två år 2) Innehållets spårbarhet och äkthet: C2PA-standarden (Content Traceability and Authenticity) gör det möjligt för kameror att signera bilder genom inbäddade nycklar, vilket bevisar bildens ursprung, tid och konfiguration. Nu har generativ AI (t.ex. DALL· E) har också börjat bifoga C2PA-korrektur till bilder, vilket indikerar att de är AI-genererade Baserat på gitter, SNARK, FHE: - SNARK:er som bygger på gitter (gitter har fördelen av postkvantsäkerhet) - Greyhounds artikel föreslår ett gitterbaserat polynomåtagandeschema (PCS) -Studien visade att gitter presterade mycket bra i vikningsscheman och utvecklade LatticeFold: ett gitterbaserat vikningsschema i samarbete med Binyi Chen (grundare/forskare på Espresso @EspressoSys). -FHE-fältet utvecklar specialiserade ASIC-chip, som förväntas förbättra FHE-prestanda avsevärt fram till 2025 (möjligen 10 till 100 gånger snabbare) -Zama @zama_fhe utforskar att köra SNARKs på FHE-beräkningar, och LatticeFolds ringstruktur är FHE-kompatibel och lämplig för detta scenario Intervjuns innehåll Kinesisk version: Ursprunglig podcasttext: