Siste forskningsfremgang på ZK/FHE (også relatert til noen kryptoprosjekter) I den siste episoden av podcasten snakker Anna med Dan Boneh, professor i informatikk og elektronisk ingeniørfag ved Stanford University, om fremdriften til zk-forskning Sammendrag av intervju: Noen potensielle scenarier for ZK: 1) ZKML, ZKML-problemet er å bevise riktig utførelse av modellen på en gitt data, som også er retningen som Boundless @boundless_xyz @boundless_cn (@risczero)-teamet har lagt ut forskning i to år 2) Innholdssporbarhet og autentisitet: C2PA-standarden (Content Traceability and Authenticity) lar kameraer signere bilder gjennom innebygde nøkler, noe som beviser bildets opprinnelse, tid og konfigurasjon. Nå har generativ AI (som DALL· E) har også begynt å knytte C2PA-prøvetrykk til bilder, noe som indikerer at de er AI-generert Basert på gitter, SNARK, FHE: - SNARK-er bygget på gitter (gitter har fordelen av post-kvantesikkerhet) - Greyhounds artikkel foreslår en gitterbasert polynomforpliktelsesordning (PCS) -Studien fant at gitter fungerte veldig bra i foldeskjemaer, og utviklet LatticeFold: et gitterbasert foldeskjema i samarbeid med Binyi Chen (grunnlegger/forsker ved Espresso @EspressoSys). -FHE-feltet utvikler spesialiserte ASIC-brikker, som forventes å forbedre FHE-ytelsen betydelig innen 2025 (muligens 10 til 100 ganger raskere) -Zama @zama_fhe utforsker å kjøre SNARK-er på FHE-beregninger, og LatticeFolds ringstruktur er FHE-kompatibel og egnet for dette scenariet Intervjuinnhold kinesisk versjon: Original podcasttekst: