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

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 的出块，这实现了提议者去中心化。今年 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 将会被没收。反之亦然。值得注意的是，该机制中由多重签名者在***初几年内共同充当证明层级中的高层。作为******别的证明，在这种情况下，状态转换被视为***终确定，不再允许进一步的质疑。

 

 

 

 

(WEEX交易所官网：www.weex.com)

 

此外，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 还计划进行两轮空投。