<为什么ZK失败了，而Succinct想要改变什么?> 1. 问题意识 比特币的创造者中本聪对零知识证明（ZKP）表示怀疑。 他指出，“要证明某样东西不存在，你需要知道整个交易”，并总结说将ZKP应用于区块链在结构上是困难的。 然而，他也提到，“如果找到解决方案，实施比特币将会更好、更容易、更方便。”换句话说，虽然承认ZK的技术局限性，但他也承认如果解决了这些问题，这可能会成为区块链演变的一个重要转折点。 几年后，密码朋克社区和ZK研究人员终于找到了这个解决方案。Zcash是第一个将ZKP应用于真实加密货币的案例，随后像StarkWare、zkSync和Scroll等项目将这项技术发展为增强以太坊可扩展性和可验证性的关键手段。 然而，现实中仍然存在差距。创建一个zkEVM需要深厚的专业知识、数年的开发时间和高性能硬件，而大多数项目最终依赖于特定的证明提供者，而不是自己运营ZKP基础设施。因此，ZKP仍然是一个复杂的工具，只有少数人能够处理，而不是任何人都可以使用的技术。 2. 什么是Succinct？ Succinct（@SuccinctLabs）试图直接解决这个问题。它的核心使命是将ZKP转变为所有开发者都能轻松使用的基础设施，使任何人都能在没有复杂电路或基础设施的情况下创建“无信任系统”。 Succinct是一个将区块链所追求的“无信任”系统的理想转变为可实际实施现实的基础设施。无信任并不意味着“不可信”；而是指一个独立运作的结构，不依赖于信任，即一个没有第三方或中央权威的数学可验证系统。 然而，当前的区块链生态系统仍然严重依赖信任。桥接黑客攻击、多签名操作和集中验证者委托都证明了我们仍然需要信任人或组织才能使系统正常运作。 突破这些基于信任的限制的尝试正是零知识证明（ZKP）技术。这项技术允许人们在不信任任何人的情况下，数学上证明“这个计算是正确的”，使其成为去中心化系统的基础。问题在于，ZKP对于实际使用来说过于复杂和繁重。 3. 为什么ZKP感觉困难？ ZKP技术的潜力与其高门槛成正比。特别是，创建一个zkEVM需要一个专业团队、数年的开发时间和昂贵的基础设施。大多数zk项目不得不设计自己的电路，构建专用的zkVM，并直接操作硬件。只有经过所有这些过程，他们才能声称自己是“ZK rollups”。 此外，现有的通用zkVM在生成证明方面非常低效。通常，证明一个区块需要一组数十台高性能机器，成本在每个区块10到20美元之间。由于这些技术负担和运营成本，许多项目要么完全放弃引入ZKP，要么选择依赖某些集中化的证明提供者。 4. Succinct的尝试 @SuccinctLabs将这些结构性问题视为“基础设施问题”。ZKP在技术上足够强大，但问题在于谁、如何以及以什么成本来实施。因此，Succinct正在创建一个去中心化的证明者网络，任何人都可以轻松访问，而不需要各个项目直接运营证明基础设施。 开发者不需要设置复杂的zkVM或采购硬件。当他们向网络发送证明请求时，各种具有不同硬件的证明者以拍卖的方式竞标处理这些请求。通过竞争，证明成本自然降低，证明者利用高性能设备高效生成证明。因此，开发者获得快速且便宜的证明，而整个生态系统则受益于高可用性和抗审查的证明基础设施。 Succinct不仅展示了技术的可能性；它还证明了其在实际需求出现的领域中的作用。一个典型的例子是@celestia生态系统中“CLOBs on Blobs”趋势的出现。使用高性能中央限价订单簿（CLOB）方法的去中心化交易所正在Celestia的blob空间中出现，导致对大规模数据处理和快速状态证明的基础设施需求。 像Hyperliquid和@hibachi_xyz这样的项目正在链上实现复杂的订单簿交易和价格发现逻辑，这需要超越简单rollups的可扩展性和性能。在这里需要的是Celestia的高性能数据可用性层和Succinct提供的去中心化ZK证明基础设施。 事实上，Celestia的blob空间实际使用量迅速增加，而在这背后，像Succinct这样的ZK基础设施正在默默贡献。如果Celestia提供“可验证的数据存储”，那么Succinct负责在这些数据上创建“可验证的状态转变”。这种组合可以被视为ZKP技术从抽象理论转变为现实中功能系统的起点。 5. 任何人都能处理的zkEVM，SP1和SP1 Reth 通过解决基础设施的可访问性，Succinct还旨在通过开发一个名为SP1（Succinct Processor 1）的开源zkVM来降低zkVM本身的入门门槛。SP1是一个用Rust实现的通用zkVM，旨在让任何人都能直接使用，而无需现有zkEVM所需的复杂电路设计。 一个早期示例展示了SP1的潜力，即SP1 Reth。SP1 Reth是一种类型1的zkEVM，仅用大约2000行Rust代码实现，轻松通过重用现有以太坊客户端生态系统（Reth、Revm、Alloy等）中的组件进行配置。更令人惊讶的是它的性能。SP1 Reth每个以太坊交易的平均证明成本仅约0.01到0.02美元，低于L2中常见的数据可用性成本。 这种性能之所以可能，是因为SP1拥有“预编译”系统。它以预优化的结构处理计算密集型操作，如哈希函数和签名验证，显著减少了zkVM消耗的资源。到目前为止，使用zkVM实现zkEVM的成本为每个区块10到20美元，但SP1 Reth成功将其降低到个位数。 SP1和SP1 Reth都是完全开源的，任何人都可以分叉并创建自己的zkEVM或添加预编译以提高性能。这代表了现有高成本、高难度zk开发环境的彻底变革，开启了任何Rust开发者都可以参与zk系统的时代。 6. 最终，ZK现在对每个人都可访问 Succinct正在填补ZKP技术潜力、可访问性和实用性的最后拼图。在没有复杂电路或专用硬件的情况下，任何人都可以创建利用ZKP的应用程序，而证明则由去中心化网络处理。 我们正进入一个所有rollups都可以成为ZK rollups的时代，互联网仅基于真相运作。在这一起点上是Succinct和SP1。现在，ZKP是一项面向每个人的技术，而不仅仅是少数人。