由于单一证明方案无法解决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,从而适应不同的验证需求。
多家知名VC青睐,Taiko技术有何优势
今年3月,Taiko完成了1500万美元A轮融资,投资Taiko的VC名单中有红杉中国、Generative Ventures、Hashed、Lightspeed Faction、Token Bay Capital及Flow Traders等。那么,为什么这么多VC看好Taiko呢?
此前,Vitalik一直认为以太坊最终要走向zkEVM。但是,zkEVM的单一证明方案无法应对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区块状态,在正确和错误的分叉之间作出选择。提议者需要打包用户交易并生成零知识证明,多个提议者可以同时竞争提交区块;验证者负责验证提议者提交的区块和零知识证明,多个验证者可以竞争验证区块。这一流程不仅确保了每个区块的生成和提交过程的去中心化,而且进一步增加了网络的安全性。
V神大赞,Taiko有望打开以太坊的终局之路
Taiko自2022年开始开发,其在测试网阶段便拥有超110万个独立钱包,超30000名去中心化提议者和14000多名去中心化验证者。5月27日,Taiko正式主网上线。根据Taiko官方网站的数据显示,目前已有100+项目已入驻Taiko生态,类别囊括钱包、NFT市场、预言机、DeFi、AI应用程序等。近期,Taiko生态建设较快,吸引了一批优质项目入驻,其中有Pyth、Etherscan、Pancakeswap、Layer Zero等。
对于Taiko主网上线,市场也多持看好态度。Vitalik发布的《Layer 2s 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系在技术上进一步革新。