Taiko
Taiko 是一个完全去中心化的、等效于以太坊的 ZK-Rollup。这也称为1 类 ZK-EVM。
Last updated
Taiko 是一个完全去中心化的、等效于以太坊的 ZK-Rollup。这也称为1 类 ZK-EVM。
Last updated
Taiko 是一种去中心化的以太坊等效 ZK-EVM 和通用 ZK-Rollup。其目的是让为以太坊 L1 开发的 dApp 的开发者和用户无需任何更改即可在 Taiko 上使用。因此,dApps 可以很容易地部署到 L2,继承以太坊的安全性,同时产生比 L1 更低的交易费用。
Taiko以尽可能模仿以太坊的方式扩展以太坊——无论是技术上还是非技术上。更具体地说,Taiko 是一个等效于以太坊的 ZK-Rollup,通过在去中心化、无需许可且安全的第 2 层架构中支持所有 EVM 操作码来扩展以太坊。
以太坊作为一个全球性的、可信的中立结算层,提供高共识数字确权
优先考虑区块链属性而不是其他属性——即去中心化和安全性高于可扩展性。注重去中心化和安全性的同时,造成可拓展性不足,然而基础设施高昂的交易费用和低吞吐量势必造成部分开发人员、用户和用例无法利用网络。
为了去中心化愿景,以太坊必须支持任何想参与的人。以太坊必须增强拓展。这就是以太坊将 rollups视为最有前途的扩展解决方案的地方,而最有前途的 rollup 类型则是以太坊等效的 ZK-Rollup。
Taiko 的目标是成为一个完全等同于以太坊的 ZK-Rollup。目的是在技术层面和原则层面以模仿以太坊本身的方式扩展以太坊。
Taiko技术概述
ZK-Rollups 通过执行、聚合和证明链下交易来扩展计算,并依靠以太坊进行数据可用性和有效性证明验证。当前搭建中的 ZK-Rollups 的最大缺点是它们不能完全支持 EVM 的通用计算,而大多是特定应用程序的。这打破了与现有以太坊 L1 智能合约和 dapp 的兼容性,并且进一步导致难以构建提供相同类型的可组合、表达体验的新合约。
以太坊等效的 ZK-Rollups,也称为 ZK-EVM,是第 2 层扩展解决方案的最优选项,因为它们不会在安全性或兼容性上妥协。用最近的说法,Taiko 的目标是成为1 型 ZK-EVM,它优先考虑完美的 EVM/以太坊等效性,而不是 ZK 证明生成速度。
Taiko 由三个主要部分组成:ZK-EVM系统(用于证明生成)、L2 rollup 节点(用于管理 rollup 链)和 L1 上的协议(用于将这两部分连接在一起以进行 rollup 协议验证)。
1. ZK-EVM
ZK-EVM 通过有效性证明证明了 EVM 计算在 rollup 上的正确性。
Taiko 可以按原样运行以太坊智能合约代码,零更改。开发人员可以轻松地将他们现有的以太坊智能合约和完整的 dapp 迁移到 Taiko,或者当然可以在 Taiko 上实施他们的新 solidity 代码作为他们的第一个/唯一环境。Taiko 实现了支持每个 EVM 操作码的 ZK-EVM,生成ZK-EVM系统的有效性证明。除了与以太坊 L1 智能合约和 dapps 的完美兼容性外,这还意味着所有以太坊和solidity 工具都可以与 Taiko 无缝协作,无需中断开发人员的工作流程。
已经在以太坊上运行的智能合约(以及智能合约/dapps 系统)——在许多情况下已经运行多年,其中价值数十亿美元——已经久经沙场,并且可以移植到 Taiko 而不会引入编译它们的风险一种不同的语言,或者以其他方式调整框架。这意味着移植确切的 dapps,或智能合约构建块/开发模式。
除了主要体现在应用层的 EVM 等效性的好处之外,Taiko 还旨在实现以太坊等效性,允许它利用现有的以太坊基础设施,例如执行客户端,很容易将其重新用作 Taiko 节点。例如,Taiko 客户端目前基于久经沙场的 Go-Ethereum 客户端。因此,不仅 VM 完全兼容,而且“周围组织”也是如此,因为 Taiko 节点使用与以太坊相同的哈希算法、签名方案和存储数据结构。重要的是,Taiko 也在寻求成为以太坊的等价物;如果有以太坊协议更新,Taiko 将在我们的 zkEVM 中实施它们以保持同步。最后,如果 Taiko 从我们自己的研发中创造出令人信服的新方向,我们可以努力在以太坊上实施它们,
在兼容性方面,不仅开发人员和基础设施提供商在 Taiko rollup 上会很顺利,用户也一样。在 Taiko 上,用户体验、使用模式和产品都将完全为用户所熟悉。
值得停下来反思一下为什么上述内容如此重要的元思想。作为通用的 L2,Taiko 的目标是赋能构建者,而构建者最终赋能用户。
Taiko 的想法是帮助以太坊改变这个世界,Taiko 才会改变这个世界。利用以太坊的力量、EVM、定义明确的基础设施和工具、智能合约的临界质量和开发人员的隐性知识是成为 1 型 ZK-EVM 的主要原因,而且用户经过以太坊生态长时间教育,也能轻易加入Taiko 生态。
2. Taiko L2 Rollup 节点
Taiko 节点从以太坊获取交易数据并在 L2 上执行交易,最终根据交易执行推进状态。因此,这些节点管理汇总链。目前,Taiko 节点是以太坊 Geth 分叉。
3.Taiko协议
Taiko 协议定义并执行汇总规则并定义潜在参与者。该设计坚持安全、去中心化和无需许可的核心原则。
部署在以太坊 L1 上的智能合约充当 ZK-SNARK 证明的数据可用性机制和验证者。部署在 Taiko L2 上的智能合约执行证明生成等重要协议功能。
就网络参与者而言,我们可以观察到适合上述架构的三个角色:
-提议者。从用户的 L2 交易构建汇总块并向 L1 提出;任何愿意的参与者都可以执行此区块创建功能。
-证明者。生成 ZK-SNARK 证明,断言 L2 交易的有效性,并从上述提议的区块中取出区块;任何愿意的参与者都可以执行此证明功能。
-节点运行器。从链上数据执行交易以与链状态保持同步。虽然提议者和证明者都需要运行节点来履行各自的角色,但其他参与者也会运行节点,例如提供区块浏览器等服务的节点和节点基础设施提供商。任何愿意的参与者都可以运行 Taiko 节点。
怎么运行的?
Taiko L2 区块链中的区块由顺序执行的交易集合组成。可以将新块附加到链中以更新其状态,这可以通过遵循交易执行的协议规则来计算。
块提交分为两部分:
—区块生成:生成一个区块,将区块数据发布在以太坊上,并将该区块附加到TaikoL1合约中的提议区块列表中。该协议确保块在这一点上是不可变的,这意味着块执行是确定性的,因此任何人都可以计算执行后的链状态。我们将区块和所有封闭的交易称为最终确定的。L1 提议区块的一个显着特征是可能存在无效交易,这些交易将被 Taiko L2 节点跳过。当同时提出多个块时,此功能允许容错。
—块验证:因为所有提议的块都是确定性的,所以可以并行证明块,因为块之间的所有中间状态都是已知的。一旦验证了该块的证明并且其正确链接的父块在链上完成,我们就将该块标记为链上完成。
协议的一个基本要求是重建当前状态所需的所有数据,从而创建和附加新块,在以太坊上公开可用。此外,证明者可以仅使用以太坊上的公共数据为区块生成证明。正是这些事实,依托以太坊公开数据,给所有潜在参与者一个公平的竞争环境,使得 Taiko 的 L2 更加去中心化。
Taiko 的三个核心原则。
无障碍
任何想使用、构建或参与太鼓的人都可以这样做。之所以如此,是因为交易费用便宜且吞吐量高;开发人员体验稳健,以太坊 dapp 无缝迁移;该网络是去中心化的,并最大程度地重用以太坊基础设施。继承以太坊的去中心化和安全性。
包容性
Taiko 是抗审查的,不能排除团体或个人。rollup 是去中心化的——依赖于以太坊的数据可用性和安全性;无需许可——允许任何网络参与者、用户或构建者选择加入。没有可以审查用户/应用程序/交易的特殊角色。只建立可信的中立、公平的网络。
开放性
Taiko 是完全开源和以社区为中心的。Taiko的核心是从LRC分离出来的,目前也是社区主导开发。重视社区对项目的贡献,充分尊重社区意见,并对社区保持透明。
在坚持去中心化、无许可和安全的不可篡改的同时——以及完全 EVM 等效的优先级——Taiko rollup 的明确目标是通过协议设计减轻证明时间慢的缺点。也就是说,该协议力求在生成 ZKP 之前快速达成最终确定。也就是尽可能复刻以太坊的去中心化和安全性,在技术开发方面尽力提升网络的可拓展性;但如果缓慢的证明会大大降低用户体验,可能也会对技术方向进行调整。
对同类型的 ZK-EVM 中的兼容性的比较,Taiko 这种1型ZK-EVM的证明生成速度最慢,但具有完美的兼容性和未来证明性。其他类型生成证明的速度要快得多,但会不同程度上的牺牲 EVM/以太坊兼容性和未来证明性。