ZK/FHE的最新研究進展（同時涉及到一些加密項目相關） 最新一期的播客，Anna與斯坦福大學計算機科學與電子工程教授Dan Boneh的zk研究進展對話 訪談摘要： ZK的一些具有潛力的場景： 1）ZKML，ZKML問題是證明模型在給定數據上的正確執行，這也是 boundless @boundless_xyz @boundless_cn （@risczero）團隊兩年前就一直在佈局研究的方向 2）內容溯源與真實性：C2PA（內容溯源與真實性）標準讓相機通過嵌入的密鑰對圖像簽名，證明圖像來源、時間和配置。現在，生成式AI（如DALL·E）也開始為圖像附加C2PA證明，標明其為AI生成 基於格，SNARK，FHE： -基於格（lattices）構建的SNARK（格的優勢是具有後量子安全性） -Greyhound的論文提出了一個基於格的多項式承諾方案（PCS） -研究發現了格在摺疊方案中表現非常好, 與Binyi Chen（Espresso @EspressoSys 創始人/研究員） 合作開發了LatticeFold：基於格的摺疊方案 -FHE領域正在開發專用ASIC芯片，預計2025年將顯著提升FHE性能（可能快10到100倍） -Zama @zama_fhe 公司正在探索在FHE計算上運行SNARK，而LatticeFold的環結構與FHE兼容，適合這種場景 訪談內容中文版本： 播客原文：