Taiko对话：证明路线有哪些 以太坊局关联何在

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

同时，5月25日，以太坊联创人 Vitalik Buterin 作为区块提议者在 Taiko 主网提出了一个参与区块，并在该区块附言称：“我很高兴看到 Taiko 作为一个基于 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 老师也阐述了选择可争设计的主要考虑：

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

• 其次，虽然SGX证明相对于零知识证明便宜了千倍，但它并不是最理想或最去中心化的验证方式。可争议的设计允许在对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 的架构下，不同级别的证明可以被构建出来，例如最低成本的乐观证明，然后是 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 团队还表示，将会投入更多资源至预确认、MEV、及 Taiko BBR 方案的研发中，未来希望能够为项目和社区用户带来更多惊喜。

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

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

: 对于社区成员来说，Taiko 联创 Daniel Wang 也做出了贡献，表示 Taiko 获得了公平的待遇，但满足了所有人的愿望，符号表示歉意。但社区成员表示歉意，他们似乎并没有得到公平的待遇，随后 Daniel Wang 在 Discord 再次进行了回应，并表示如果未能获得空投，则会受到其他人的赞赏。