<为什么 ZK 失败了，Succinct 想要改变什么？> 1. 对问题的认识 比特币创造者中本聪对零知识证明（ZKP）表示怀疑。 “要证明某样东西不存在，你需要知道整个交易，”他说，并判断将 ZKP 应用于区块链在结构上是困难的。 不过，他也表示，“如果我们找到解决方案，将有可能更好、更容易、更方便地实现比特币。换句话说，在认识到 ZK 的技术局限性的同时，他们承认，如果这些问题得到解决，它们可能会成为区块链发展的一个重大转折点。 现在，多年后，密码朋克社区和 ZK 研究人员终于找到了解决方案。Zcash 是第一个将 ZKP 应用于现实世界加密货币的公司，StarkWare、zkSync 和 Scroll 等项目此后开发了这项技术，作为增强以太坊可扩展性和可验证性的关键手段。 然而，现实还是有差距的。创建 zkEVM 需要深厚的专业知识、多年的开发和高性能硬件，大多数项目依赖于特定的证明提供者，而不是运营自己的 ZKP 基础设施。因此，ZKP 仍然是一种只有少数人才能处理的复杂工具，而不是“任何人都可以使用的技术”。 2. 什么是简洁？ 简洁 （@SuccinctLabs） 是正面解决这个问题的尝试。关键是将 ZKP 变成一个可供所有开发人员轻松使用的基础设施，并帮助任何人创建一个“无需信任的系统”，而无需复杂的电路或基础设施。 简洁是一种基础设施，它将区块链一直在追求的“去信任”系统的理想转化为可以实际实现的现实。去信任并不是“不可信”的意思，而是指一种在没有信任前提的情况下自行运行的结构，即无需第三方或中央机构即可进行数学验证的系统。 然而，当前的区块链生态系统仍然严重依赖信任。桥接黑客、多重签名作和中心化验证者委托都证明，只有当我们仍然信任人和组织时，系统才能发挥作用。 正面突破这种基于信任的限制的尝试是 ZKP，即零知识证明技术。这项技术使我们能够在数学上证明“这个计算是正确的”，而不必信任任何人，显然是去中心化系统的关键基础。问题是 ZKP 过于复杂和繁重，无法实际编写。 3. 为什么 ZKP 感觉很难？ ZKP 技术一直与其潜力一样高。特别是，创建 zkEVM 需要专业的团队、多年的开发和昂贵的基础设施。大多数 zk 项目必须设计自己的电路，构建专用的 zkVM，甚至自己作硬件。只有在经历了所有这些过程之后，他们才能够称自己为“ZK rollups”。 此外，传统的通用 zkVM 在生成证明方面效率极低。通常情况下，证明一个区块需要数十台高性能机器的集群，每个区块的成本达到 10~20 美元。由于这种高昂的技术负担和运营成本，许多项目已经放弃了 ZKP 的引入，或者选择了依赖一些中心化证明提供者的结构。 ...