与普遍假设相反，今天大多数“零知识”系统并不私密。 基于数十年的研究，@mvenkita（@ligero_inc 的首席执行官）在这次 @WPReadingClub 会议中详细分析了为什么目前使用的大多数证明系统——包括许多基于 STARK 的 zkVM——提供可验证的计算，但未能实现真正的加密隐私。 Muthu 解释了 Ligero 和 Ligetron 如何改变这一局面： • 设计上注重时间和内存效率，它们甚至可以在内存受限的设备（如手机）上生成证明。 • 基于头脑中的 MPC 构造，它们保证了可证明的隐私，而许多当前系统则无法做到这一点。 • 已被 @googlecloud 采用用于移动身份验证，显示出现实世界的可行性。 讨论涵盖了 ZK 的学术基础、从理论到实施的演变，以及在满足合规要求的同时保护敏感数据的证明的迫切需求。 Muthu 强调了新兴应用——隐私池、zk-validiums 和设备上的身份证明——这些可能定义企业和监管采用的未来，并提到用 ZK 证明大型 ML 模型（如 LLaMA）的实验，指向隐私保护 AI 的下一步发展。 这是对我们今天认为 ZK 所做的事情与隐私、合规和可扩展性真正共存所需的世界之间差距的直接观察。 也可在 YouTube 上观看：