对话Taiko:什么是多重证明路线?与以太坊终局有何关联?
5 月 23 日,Taiko 公布了首轮空投查询页面,但却在社区掀起了一波关于公平性的争论。面对其创始人 Daniel Wang 的回应,社区似乎也并不买单。
同时,5 月 25 日,以太坊联创人 Vitalik Buterin 作为区块提议者在 Taiko 主网 propose 了首个区块,并在该区块附言称:「我很高兴看到 Taiko 作为一个 Based Rollup 平台而推出,以太坊受益于采用多种不同方法的 L2s,我很欣赏 Taiko 是第一批朝这个方向发展的项目。」
坎昆升级后,以太坊生态将关注点再次放回了 L2 领域。和其他 Rollup 项目不同,正在开发基于 Based Rollup 的方案,并吸引了红杉中国、Generative Ventures、Hashed、Lightspeed Faction、Token Bay Capital 及 Flow Traders 等多家 VC 青睐。不禁让人好奇,相较于其他知名 ZK 扩容项目,Taiko 有何特别之处?它的扩容方案又将如何影响 L2 生态格局?
带着这些疑问,ChainFeeds 对话 Taiko 团队,就 Taiko 的起源、愿景、以太坊扩容方案等内容进行了探讨。
重点摘录:
-
Taiko 创始人希望能够在不牺牲去中心化的前提下扩展以太坊,实现中心化和去中心化二层网络并存的局面,使得 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 年底提出了「」概念。该概念引入了 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 计划要么升级协议为,要么推出独立的 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:什么是多重证明路线?与以太坊终局有何关联?](https://cdn-img.panewslab.com/panews/images/jxSv6kAwCM.png)
空投风波:Taiko 还能否挽回社区信心?
Taiko 于 5 月 23 日公布了 TKO 代币经济学,宣布将初始代币供应量的 5% 用于创世空投。根据官方 FAQ,将会有 300,000 个地址有资格认领超 5000 万枚代币。虽然该举措是为了回馈社区,但却引发了一波关于「空投是否公平」的争议。部分社区成员反映获得空投数量低于预期,还有部分用户表示参与了相关任务但并未获得空投。
面对社区成员的不满,Taiko 联创 Daniel Wang 也做出了回应,表示 Taiko 的目标是公平,但无法满足所有人,并对未获得 TKO 的用户表示歉意。但社区对其发言似乎并不买单,随后 Daniel Wang 在 Discord 社区再次进行了回应,并表示如果没有获得空投,是因为其他人分数更多。至于空投规则不透明是因为透明也无法解决分歧,「公平」定义有很强主观性。此番言论再次将 Taiko 推至舆论中心,更有社区成员呼吁抵制 Taiko。不过,因空投遭到社区质疑并不是什么新鲜事情,近期发布空投的项目都有这样的情况发生。特别是当空投刷单变成了一个产业,并涉及大量专业团队的加入后,他们也成为了生态的一部分,而社区的舆论也可能会受到这些团队的影响。未来,Taiko 还计划进行两轮空投。