由于single-proof 方案无法应对 zkEVM 复杂代码所潜藏的 Bug,Vitalik 提出了Multi-proofs,并将其视为未来以太坊终局之路的重要发展方向之一。 而Taiko便是少数基于Multi-proofs 构建的Layer2项目之一。5 月 27 日,Taiko 在以太坊上线主网,近期多家主流交易所陆续上线该项目代币,市场热议不断。那么,Taiko与其他Layer2有何不同?Taiko背后技术又有何优势和创新?
Taiko 是一个 Type-1 zkEVM,提供了与以太坊完全相同的操作码和功能,确保了与现有以太坊生态的高度兼容性。Taiko 与其他 Rollup 的主要区别之一在于其选择了 Based Rollup 机制,其不依赖中心化的排序器,而是依赖以太坊验证者对交易和区块进行排序。
2023 年底,Taiko 联合创始人 Daniel Wang 提出了「Based Contestable Rollup(BCR)」概念,该概念引入了 Contestable(争议)机制。Taiko 团队选择 Contestable 设计的原因主要有三个:
首先,Based Rollup 无需许可,必须引入「更高级别的证明」来解决软件中的潜在 Bug。这避免了中心化网络需要停掉网络进行数据纠错的必要性。当然,随着 Taiko 网络运行时间的增加,这种纠错机制可以逐渐去除;
其次,虽然 SGX 证明相对于零知识证明便宜了上千倍,但它并不是最理想或最去中心化的验证方式。Contestable 设计允许在对 SGX 证明产生怀疑时提出挑战,要求使用更高级别的证明重新验证区块,在降低成本的同时,提高了验证的可信度。
最后,Contestable Rollup 具有灵活性和可扩展性,可以看作是对 zkRollup 和 Optimistic Rollup 的一种抽象。例如,如果未来零知识证明更便宜,我们就可以将 Contestable Rollup 配置成纯粹的 zkRollup,或者根据应用的需要将其配置成纯粹的 Optimistic Rollup,从而适应不同的验证需求。
今年 3 月,Taiko 完成了1500 万美元 A 轮融资,在投资Taiko的VC名单中有红杉中国、Generative Ventures、Hashed、Lightspeed Faction、Token Bay Capital 及 Flow Traders 等。那么,为什么这么多VC看好Taiko呢?
此前,Vitalik一直认为以太坊最终要走向zkEVM。但是,zkEVM的single-proof 方案无法应对 zkEVM 复杂代码所潜藏的 Bug 问题。Vitalik 认为, Multi-proofs 对单个区块生成多种 proof 类型,即使其中一种证明类型出现问题,其他类型的证明可以继续确保系统的正常运行并及时检测到任何错误的状态转换。而Taiko实质上就是对Multi-proofs的实践和应用,其BCR 框架的核心理念就涉及Multi-proofs。具体来讲,Taiko 分为三个主要模块:Multi-Prover、Layer 2 Rollup 以及Taiko 协议。
● Multi-Prover: 利用多种 zkVM 和 SGX 等集成证明系统,直接编译及运行基于 Rust 的以太坊虚拟机,生成零知识或 TEE 证明以验证以太坊区块执行的准确性和完整性。
● Layer 2 Rollup 节点:负责在 Layer 2 上管理和执行交易,同时与以太坊 Layer 1 (L1) 进行交互。通过 Layer 2 Rollup 技术,Taiko 能够提高以太坊的交易吞吐量,降低交易成本,并保持去中心化和安全性。
● Taiko 协议:定义并执行 Layer 2 Rollup 的规则,确保交易的正确性和网络的安全性。通过智能合约和去中心化验证,Taiko 协议实现了以太坊的高效扩展,同时保持其去中心化和安全特性。
整体上讲,Taiko 协议的关键创新是BCR 框架(Based Contestable Rollup),其基于 Multi-proofs (多证明者交互式证明)打造。BCR 框架(Based Contestable Rollup)的核心在于「竞争」:任何人都可以成为提议者,提交区块提议,且任何对状态转换结果有异议的验证者都可以提交安全级别挑战证明,更改 L2 区块状态,在正确和错误的分叉之间作出选择。提议者需要打包用户交易并生成零知识证明,多个提议者可以同时竞争提交区块;验证者负责验证提议者提交的区块和零知识证明,多个验证者可以竞争验证区块。这一流程不仅确保了每个区块的生成和提交过程的去中心化,而且进一步增加了网络的安全性。
Taiko 自 2022 年开始开发,其在测试网阶段便拥有超 110 万个独立钱包,超 30, 000 名去中心化提议者和 14000 多名去中心化验证者。 5 月 27 日,Taiko正式主网上线。根据 Taiko 官方网站的数据显示,目前已有 100+ 项目已入驻 Taiko 生态,类别囊括钱包、NFT 市场、预言机、 DeFi、AI 应用程序等。近期,Taiko 生态建设价快,吸引了一批优质项目入驻,其中有 Pyth、Etherscan、Pancakeswap、Layer Zero 等。
对于Taiko 主网上线,市场也多持看好态度。Vitalik 发布的《Layer 2 s as cultural extensions of Ethereum》文章提及 Taiko 时表示:每个以太坊 L2 都有其独特的灵魂,Taiko 强调‘无缝用户体验、’以社区为本‘、’安全至上‘和’Based‘。我很高兴看到 Taiko 作为一个 Based Rollup 平台而推出,以太坊受益于采用多种不同方法的 L2s,我很欣赏 Taiko 是第一批朝这个方向发展的项目。
知名VC Hashed表示:想象一下,在这个世界里,以太坊的可扩展性是无止境的,交易速度快如闪电,用户隐私是神圣不可侵犯的。这不是一个遥远的梦想,而是一个迅速接近的现实,这一切都归功于 Taiko。
从上文可以看出,Taiko 在技术上有很多优势,虽然一众大V看好。但Taiko上线时间相对较短,这还需要市场检验。除此之外,Taiko公布代币经济后社区存有争议,认为规则不透明。Taiko 联合创始人兼 CEO Daniel Wang 在 Discord 发文回复称,规则不透明是因为透明也无法解决分歧,对‘公平’的定义每个人都有很强的主观性,我们无法统一,也不试图达成共识。
从长远发展看,zkEVM系整体生态发展滞缓,Arbitrum和Optimism等Op系Layer2在生态建设上已经占尽先机。Optimism通过Op Stack开源,Arbitrum通过L3许可建设,已然构筑起强大生态护城河。这就如同,Solana等公链技术上或许比以太坊更先进,但是以太坊的发展仍然要好于Solana。从目前发展现状看,zk系在生态建设远不及Op系,从技术上Zk系有优势,但不可否认的是Op系还是在不断努力,不排除Op系最后在技术上进一步革新。
由于single-proof 方案无法应对 zkEVM 复杂代码所潜藏的 Bug,Vitalik 提出了Multi-proofs,并将其视为未来以太坊终局之路的重要发展方向之一。 而Taiko便是少数基于Multi-proofs 构建的Layer2项目之一。5 月 27 日,Taiko 在以太坊上线主网,近期多家主流交易所陆续上线该项目代币,市场热议不断。那么,Taiko与其他Layer2有何不同?Taiko背后技术又有何优势和创新?
Taiko 是一个 Type-1 zkEVM,提供了与以太坊完全相同的操作码和功能,确保了与现有以太坊生态的高度兼容性。Taiko 与其他 Rollup 的主要区别之一在于其选择了 Based Rollup 机制,其不依赖中心化的排序器,而是依赖以太坊验证者对交易和区块进行排序。
2023 年底,Taiko 联合创始人 Daniel Wang 提出了「Based Contestable Rollup(BCR)」概念,该概念引入了 Contestable(争议)机制。Taiko 团队选择 Contestable 设计的原因主要有三个:
首先,Based Rollup 无需许可,必须引入「更高级别的证明」来解决软件中的潜在 Bug。这避免了中心化网络需要停掉网络进行数据纠错的必要性。当然,随着 Taiko 网络运行时间的增加,这种纠错机制可以逐渐去除;
其次,虽然 SGX 证明相对于零知识证明便宜了上千倍,但它并不是最理想或最去中心化的验证方式。Contestable 设计允许在对 SGX 证明产生怀疑时提出挑战,要求使用更高级别的证明重新验证区块,在降低成本的同时,提高了验证的可信度。
最后,Contestable Rollup 具有灵活性和可扩展性,可以看作是对 zkRollup 和 Optimistic Rollup 的一种抽象。例如,如果未来零知识证明更便宜,我们就可以将 Contestable Rollup 配置成纯粹的 zkRollup,或者根据应用的需要将其配置成纯粹的 Optimistic Rollup,从而适应不同的验证需求。
今年 3 月,Taiko 完成了1500 万美元 A 轮融资,在投资Taiko的VC名单中有红杉中国、Generative Ventures、Hashed、Lightspeed Faction、Token Bay Capital 及 Flow Traders 等。那么,为什么这么多VC看好Taiko呢?
此前,Vitalik一直认为以太坊最终要走向zkEVM。但是,zkEVM的single-proof 方案无法应对 zkEVM 复杂代码所潜藏的 Bug 问题。Vitalik 认为, Multi-proofs 对单个区块生成多种 proof 类型,即使其中一种证明类型出现问题,其他类型的证明可以继续确保系统的正常运行并及时检测到任何错误的状态转换。而Taiko实质上就是对Multi-proofs的实践和应用,其BCR 框架的核心理念就涉及Multi-proofs。具体来讲,Taiko 分为三个主要模块:Multi-Prover、Layer 2 Rollup 以及Taiko 协议。
● Multi-Prover: 利用多种 zkVM 和 SGX 等集成证明系统,直接编译及运行基于 Rust 的以太坊虚拟机,生成零知识或 TEE 证明以验证以太坊区块执行的准确性和完整性。
● Layer 2 Rollup 节点:负责在 Layer 2 上管理和执行交易,同时与以太坊 Layer 1 (L1) 进行交互。通过 Layer 2 Rollup 技术,Taiko 能够提高以太坊的交易吞吐量,降低交易成本,并保持去中心化和安全性。
● Taiko 协议:定义并执行 Layer 2 Rollup 的规则,确保交易的正确性和网络的安全性。通过智能合约和去中心化验证,Taiko 协议实现了以太坊的高效扩展,同时保持其去中心化和安全特性。
整体上讲,Taiko 协议的关键创新是BCR 框架(Based Contestable Rollup),其基于 Multi-proofs (多证明者交互式证明)打造。BCR 框架(Based Contestable Rollup)的核心在于「竞争」:任何人都可以成为提议者,提交区块提议,且任何对状态转换结果有异议的验证者都可以提交安全级别挑战证明,更改 L2 区块状态,在正确和错误的分叉之间作出选择。提议者需要打包用户交易并生成零知识证明,多个提议者可以同时竞争提交区块;验证者负责验证提议者提交的区块和零知识证明,多个验证者可以竞争验证区块。这一流程不仅确保了每个区块的生成和提交过程的去中心化,而且进一步增加了网络的安全性。
Taiko 自 2022 年开始开发,其在测试网阶段便拥有超 110 万个独立钱包,超 30, 000 名去中心化提议者和 14000 多名去中心化验证者。 5 月 27 日,Taiko正式主网上线。根据 Taiko 官方网站的数据显示,目前已有 100+ 项目已入驻 Taiko 生态,类别囊括钱包、NFT 市场、预言机、 DeFi、AI 应用程序等。近期,Taiko 生态建设价快,吸引了一批优质项目入驻,其中有 Pyth、Etherscan、Pancakeswap、Layer Zero 等。
对于Taiko 主网上线,市场也多持看好态度。Vitalik 发布的《Layer 2 s as cultural extensions of Ethereum》文章提及 Taiko 时表示:每个以太坊 L2 都有其独特的灵魂,Taiko 强调‘无缝用户体验、’以社区为本‘、’安全至上‘和’Based‘。我很高兴看到 Taiko 作为一个 Based Rollup 平台而推出,以太坊受益于采用多种不同方法的 L2s,我很欣赏 Taiko 是第一批朝这个方向发展的项目。
知名VC Hashed表示:想象一下,在这个世界里,以太坊的可扩展性是无止境的,交易速度快如闪电,用户隐私是神圣不可侵犯的。这不是一个遥远的梦想,而是一个迅速接近的现实,这一切都归功于 Taiko。
从上文可以看出,Taiko 在技术上有很多优势,虽然一众大V看好。但Taiko上线时间相对较短,这还需要市场检验。除此之外,Taiko公布代币经济后社区存有争议,认为规则不透明。Taiko 联合创始人兼 CEO Daniel Wang 在 Discord 发文回复称,规则不透明是因为透明也无法解决分歧,对‘公平’的定义每个人都有很强的主观性,我们无法统一,也不试图达成共识。
从长远发展看,zkEVM系整体生态发展滞缓,Arbitrum和Optimism等Op系Layer2在生态建设上已经占尽先机。Optimism通过Op Stack开源,Arbitrum通过L3许可建设,已然构筑起强大生态护城河。这就如同,Solana等公链技术上或许比以太坊更先进,但是以太坊的发展仍然要好于Solana。从目前发展现状看,zk系在生态建设远不及Op系,从技术上Zk系有优势,但不可否认的是Op系还是在不断努力,不排除Op系最后在技术上进一步革新。