Ultimi progressi nella ricerca su ZK/FHE (inclusi alcuni progetti crittografici correlati) Nell'ultimo episodio del podcast, Anna dialoga con il professor Dan Boneh, professore di informatica e ingegneria elettronica presso l'Università di Stanford, sui progressi nella ricerca su zk. Riepilogo dell'intervista: Alcuni scenari promettenti per ZK: 1) ZKML, il problema di ZKML è dimostrare l'esecuzione corretta di un modello su dati forniti, ed è anche la direzione di ricerca su cui il team di boundless @boundless_xyz @boundless_cn (@risczero) sta lavorando da due anni. 2) Tracciabilità e autenticità dei contenuti: lo standard C2PA (tracciabilità e autenticità dei contenuti) consente alle fotocamere di firmare le immagini tramite chiavi incorporate, dimostrando l'origine, il tempo e la configurazione dell'immagine. Ora, anche l'AI generativa (come DALL·E) inizia ad aggiungere prove C2PA alle immagini, indicando che sono generate dall'AI. Basato su reticoli, SNARK, FHE: - SNARK costruito su reticoli (il vantaggio dei reticoli è la sicurezza post-quantistica). - Il documento di Greyhound propone uno schema di impegno polinomiale (PCS) basato su reticoli. - La ricerca ha scoperto che i reticoli si comportano molto bene negli schemi di folding, sviluppando in collaborazione con Binyi Chen (fondatore/ricercatore di Espresso @EspressoSys) LatticeFold: uno schema di folding basato su reticoli. - Nel campo FHE si stanno sviluppando chip ASIC dedicati, previsti per migliorare significativamente le prestazioni di FHE entro il 2025 (potenzialmente da 10 a 100 volte più veloci). - L'azienda Zama @zama_fhe sta esplorando l'esecuzione di SNARK su calcoli FHE, mentre la struttura ad anello di LatticeFold è compatibile con FHE, adatta per questo scenario. Versione cinese del contenuto dell'intervista: Testo originale del podcast: