最近一直在深入研究AI自主性的机制，令人着迷的是这些部分是多么迅速地拼凑在一起。特别对选择性零知识证明感兴趣——你可以验证模型计算的关键部分，而无需通常伴随的证明生成的性能开销。这就像能够验证真正重要的内容，同时保持系统的响应速度。在链上模型验证和在受限环境中运行的自主代理方面，这里的效率提升可能是巨大的。零知识技术与AI基础设施的融合正在开启一些关于无需信任的模型执行的有趣可能性。