“今天关于 ZK 有很多问题。” 我们邀请了 @donnoh_eth（@l2beat 的研究员）在我们的柏林 Ethproofs 峰会上发表演讲，提供关于 ZK 的对立观点——而这正是我们所得到的。 一些关键要点： • 验证者是不透明的。智能合约可以被检查，但一旦你接触到 ZK 验证者，你看到的就是随机数字——而且如果不从源代码重现验证者，你无法知道到底证明了什么。 • 可重现性很难。许多项目不发布再生其验证者所需的确切提交哈希或工具版本。在某些情况下，几乎不可能确认链上运行的内容。 • 自定义工具增加了风险。每个项目构建自己的技术栈，使得验证在生态系统中变得复杂且不一致。 • 审计不够。审计可能是部分的、过时的，或者遗漏了修复。简单声称“完全审计”在没有透明链接和范围的情况下是误导性的。 卢卡的核心观点：ZK 并不一定消除信任。相反，它转移了信任——挑战在于最小化和澄清这种信任所在的地方。 观看完整演讲：