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兼容，适合这种场景 访谈内容中文版本： 播客原文：