“未来是将AI融入你的应用和生活中。但如果它需要亲密数据来为你提供良好的服务,你需要围绕它构建零知识和其他安全技术。” - @DacEconomy,@ProjectZKM的联合创始人 今天的大型语言模型已经在我们的浏览器标签中,但这并不是最终目标。正如ZKM的郭明所说,目标是让AI在你的应用程序和日常工作流程中运行,而不是一个你复制数据到的独立聊天框。 要在这个层面上真正有用,AI系统不可避免地需要访问私人上下文:你的行为、历史、偏好,甚至敏感的财务或健康相关数据。这就产生了直接的权衡: • 更多上下文 → 更好的AI辅助 • 更多数据暴露 → 更高的隐私和安全风险 这就是零知识证明和zkVM的用武之地。ZK允许你: • 证明对你的数据进行的计算是正确的,而不透露数据本身。 • 强制AI代理遵循某些规则或政策,而不暴露模型内部或完整日志。 • 将可验证的证明附加到应用中的AI驱动操作上,以便其他方可以信任结果,而无需查看你的基础输入。 换句话说,如果AI要深度嵌入产品和我们的生活中,我们需要在其下方建立基于ZK的安全层——像ZKM的Ziren这样的通用zkVM,以及保持AI好处的应用级证明系统,同时限制它可以看到的内容和使用方式。 观看关于AI与工作的完整小组讨论 - 证明人类贡献: