什么是多重证明路线？与以太坊终局有何关联？

作者：LINDABELL 来源：chainfeeds

5 月 23 日，Taiko 公布了首轮空投查询页面，但却在社区掀起了一波关于公平性的争论。面对其创始人 Daniel Wang 的回应，社区似乎也并不买单。

同时，5 月 25 日，以太坊联创人 Vitalik Buterin 作为区块提议者在 Taiko 主网 propose 了首个区块，并在该区块附言称：「我很高兴看到 Taiko 作为一个 Based Rollup 平台而推出，以太坊受益于采用多种不同方法的 L2s，我很欣赏 Taiko 是第一批朝这个方向发展的项目。」

坎昆升级后，以太坊生态将关注点再次放回了 L2 领域。和其他 Rollup 项目不同，Taiko 正在开发基于 Based Rollup 的方案，并吸引了红杉中国、Generative Ventures、Hashed、Lightspeed Faction、Token Bay Capital 及 Flow Traders 等多家 VC 青睐。不禁让人好奇，相较于其他知名 ZK 扩容项目，Taiko 有何特别之处？它的扩容方案又将如何影响 L2 生态格局？

带着这些疑问，ChainFeeds 对话 Taiko 团队，就 Taiko 的起源、愿景、以太坊扩容方案等内容进行了探讨。

重点摘录：

• Taiko 创始人 Daniel Wang 希望能够在不牺牲去中心化的前提下扩展以太坊，实现中心化和去中心化二层网络并存的局面，使得 dApp 能够在两种选择之间做决策。

• Contestable Rollup 是对 zkRollup 和 Optimistic Rollup 的⼀种抽象。未来，如果零知识证明足够便宜，可以将 Contestable 配制成纯粹的 zkRollup。

• 在开发 SGX 证明的过程中， Taiko 团队逐渐意识到无状态客户端的重要性，并坚信未来在 zkVM 中运行无状态客户端生成零知识证明的可行性。

• Taiko 已经上线主网，区块的提交和证明都是无需许可的，但合约仍有所有者。Taiko 团队计划争取在主网上线一年左右将合约所有转移给 Taiko DAO，完全放弃对网络的所有权和控制权。

Taiko 起源：在不牺牲去中心化的前提下扩展以太坊

Taiko 创始人 Daniel Wang 在 2017 年创建了首个基于 ZKRollup 构建的以太坊生态 DEX 协议 Loopring。但 Loopring 的架构与 Daniel 的愿景不尽相符。Daniel 希望能够在不牺牲去中心化的前提下扩展以太坊，实现中心化和去中心化二层网络并存的局面，从而让去中心化应用能够在两种选择之间做出更明智的决策。但 Loopring 只能构建成一个非可编程的二层网络，缺乏虚拟机结构，并且为了降低成本，其出块机制也是中心化的。

在创立 Taiko 之前， Daniel Wang 和志同道合的开发者进行了多次讨论，主要聚焦在两个方向上：去中心化社交网络或去中心化社交网络所需的基础设施「无需许可的二层网络」。深思熟虑后，大家普遍认为涉足去中心化社交网络领域风险较高，而无需许可的二层网络则具有更大的差异化竞争空间，Taiko 应运而生。

Taiko 是一个 Type-1 zkEVM，提供了与以太坊完全相同的操作码和功能，确保了与现有以太坊生态的高度兼容性。Taiko 团队强调，最初 Taiko 的设计就是 Based Rollup 的结构，即让以太坊验证者最终负责 Taiko 的出块，这实现了提议者去中心化。截至目前，Taiko 拥有超 30,000 多名去中心化提议者和 14,000 多名去中心化验证者。今年 3 月，Taiko 完成了由 Lightspeed Faction、Hashed、Generative Ventures、Token Bay Capital 领投的 1500 万美元 A 轮融资，总融资金额达到 3700 万美元。针对 VC 的青睐，Taiko 团队表示他们非常重视投资机构和 Taiko 的战略协同性。且 Taiko 之所以能够在短时间内成为全球最⼤的 Discord 社区（超 107 万名成员）之一，并吸引数以百计的 dApp 进行部署，除了 Type-1 类型和完全去中⼼化架构的优势之外，投资者的⽀持功不可没。

以太坊 Rollup 设计框架探索：BCR 及 BBR

Taiko 与其他 Rollup 的主要区别之一在于其选择了 Based Rollup 机制，不依赖中心化的排序器，而是依赖以太坊验证者对交易和区块进行排序。更进一步，Taiko 联合创始人 Daniel Wang 在 2023 年底提出了「Based Contestable Rollup（BCR）」概念。该概念引入了 Contestable（争议）机制，原因是 ZK-EVM 代码不可能永远没有错误，且 Taiko 是去中心化的，容错率较低，因此需要采取谨慎的态度。

Taiko 团队也阐述了选择 Contestable 设计的主要考虑：

• 首先，Based Rollup 无需许可，必须引入「更高级别的证明」来解决软件中的潜在 Bug。这避免了中心化网络需要停掉网络进行数据纠错的必要性。当然，随着 Taiko 网络运行时间的增加，这种纠错机制可以逐渐去除。

• 其次，虽然 SGX 证明相对于零知识证明便宜了上千倍，但它并不是最理想或最去中心化的验证方式。Contestable 设计允许在对 SGX 证明产生怀疑时提出挑战，要求使用更高级别的证明重新验证区块，在降低成本的同时，提高了验证的可信度。

• 最后，Contestable Rollup 具有灵活性和可扩展性，可以看作是对 zkRollup 和 Optimistic Rollup 的一种抽象。例如，如果未来零知识证明更便宜，我们就可以将 Contestable Rollup 配置成纯粹的 zkRollup，或者根据应用的需要将其配置成纯粹的 Optimistic Rollup，从而适应不同的验证需求。

关于 Based Contestable Rollup 的架构，Daniel Wang 在文章中也进行了详细概述。BCR 是一种具有争议特性并采用 Based 排序的 Rollup。在这种设计下，任何人都可以对区块中的状态转换提出争议，但必须以 Taiko 代币支付争议保证金，且需要更高级别的证明来解决争议，才能验证该区块。如果争议者获胜，则可以收回争议保证金，并获得原证明者有效性保证金的 1/4。而新的证明者也会获得原证明者有效性保证金的 1/4 作为证明费，剩余 1/2 将会被没收。反之亦然。值得注意的是，该机制中由多重签名者在最初几年内共同充当证明层级中的高层。作为最高级别的证明，在这种情况下，状态转换被视为最终确定，不再允许进一步的质疑。

此外，Taiko 的 BCR 架构还具有一个核心特征，即允许每个级别使用自己的证明系统。Taiko 团队表示，在基于 Contestable Rollup 的架构下，不同级别的证明可以被构建出来，例如最低成本的 Optimistic 证明，然后是 SGX 证明，接着是 zkEVM 或 zkVM 证明。这些不同的证明类型是 Contestable 概念的体现，并且还可以将这些证明组合起来做混合型的多证明系统，例如「SGX+zkVM」就可以看作是比仅使用 zkVM 证明更可信的证明。

作为首个重要的里程碑，Taiko 计划在 Alpha-6 测试网 Katla 上测试 BCR 的实际运作情况，随后在主网推出。在此之后，Taiko 计划要么升级协议为 Boosted Based Rollup（BBR），要么推出独立的 BBR 二层作为第二个重要里程碑。Taiko 表示，若要实现以太坊原生的扩展能力，Boosted Based Rollup 是一个明智的选择。通过允许 L1 验证者为整个网络提议新区块，将使以太坊获得开箱即用的扩展能力。对于开发者而言，BBR 能够对交易执行和存储进行分片。而对于用户而言，用户体验感将获得提升，因为 dApp 会分布在所有 L2 上。

叙事升级：转向 ZKVM？

大家对 zkEVM 都不陌生，但 EVM 并不是为在零知识电路中运行而设计的，因此在实践中，实施 zkEVM 往往需要做出一些权衡。与 zkEVM 不同，zkVM 则是作为零知识证明系统电路实现的虚拟机。其优势包括：无需学习密码学和 ZKP 系统，易于使用；具有通用性，图灵完备的 ZK-VM 可以作为任意计算的证明计算；很简单，一组简单的约束足以描述整个 VM；能够利用递归，证明验证只是在 VM 上执行的另一个程序。

Taiko 已经开始从使用 zkEVM 模型转型至使用 zkVM 模型。转向 zkVM 模型后，Taiko 可以修改并运行一个客户端，生成 ZK 证明。而为了确保稳健性，Taiko 通过构建多重证明系统，并对多个 zkVM（如 RISC Zero、SP1、Powdr）做出贡献，来多样化加密假设，并且使用 SGX 以在不泄露数据的情况下增强隐私和安全性。

Taiko 团队表示，Taiko 是最早参与以太坊基⾦会 PSE zkEVM 开发的团队之⼀，并在 Keccak 和摩尔克等关键电路的代码上做出了贡献和优化。但在这个过程中也意识到了这种开发模式的局限性，例如代码都是底层代码，难以测试和验证。且对于新手而言并不有好。随着在 SGX 证明开发过程中的不断探索，团队开始逐步意识到无状态客户端的重要性，并在 Risc0 团队取得的进展的影响下，坚信未来在 zkVM 中运⾏⽆状态客户端⽣成零知识证明的可⾏性。目前 Taiko 已经和 Risc0 展开合作，并且后续还会和 SP1 及更多的 zkVM 团队合作，通过 Contestable Rollup 来聚合这些不同的证明系统，同时保持 Taiko ⼆层的设计与每个 zkVM 都充分结偶。

此外，Taiko 已于 27 日上线以太坊主网，目前已经处理发布了以太坊全网约 15% 的数据块。团队强调，虽然在 Stage1 主网模式下，区块的提交和证明都是无需许可的，但合约仍有所有者。团队计划在主网上线⼀年左右将合约所有权转交给 Taiko DAO，完全放弃网络的拥有权和控制权。Taiko 团队还表示，将会投入更多资源至 Preconfirmation、MEV、及 Taiko BBR 方案的研发中，未来希望能够为生态项目和社区用户带来更多惊喜。

空投风波：Taiko 还能否挽回社区信心？

Taiko 于 5 月 23 日公布了 TKO 代币经济学，宣布将初始代币供应量的 5% 用于创世空投。根据官方 FAQ，将会有 300,000 个地址有资格认领超 5000 万枚代币。虽然该举措是为了回馈社区，但却引发了一波关于「空投是否公平」的争议。部分社区成员反映获得空投数量低于预期，还有部分用户表示参与了相关任务但并未获得空投。

面对社区成员的不满，Taiko 联创 Daniel Wang 也做出了回应，表示 Taiko 的目标是公平，但无法满足所有人，并对未获得 TKO 的用户表示歉意。但社区对其发言似乎并不买单，随后 Daniel Wang 在 Discord 社区再次进行了回应，并表示如果没有获得空投，是因为其他人分数更多。至于空投规则不透明是因为透明也无法解决分歧，「公平」定义有很强主观性。此番言论再次将 Taiko 推至舆论中心，更有社区成员呼吁抵制 Taiko。不过，因空投遭到社区质疑并不是什么新鲜事情，近期发布空投的项目都有这样的情况发生。特别是当空投刷单变成了一个产业，并涉及大量专业团队的加入后，他们也成为了生态的一部分，而社区的舆论也可能会受到这些团队的影响。未来，Taiko 还计划进行两轮空投。