最近，基于 zkRollup 的以太坊 Layer2 新项目 Taiko 逐渐崭露头角，Taiko 构建的属于 Type 1 zkEVM，旨在成为完全去中心化、与以太坊等效的零知识扩展的 zkEVM，可以使开发者和用户能够安全地体验以太坊，交易费用更低，而且不对以太坊做任何改变。Taiko 是当前 zkEVM 领域最具潜力的项目之一，也是 Vitalik 比较认可的 Type 1 zkEVM。
6 月 8 日，Taiko 宣布在两轮种子轮融资中筹集了 2200 万美元，第一轮是由红杉中国领投的 1000 万美元，第二轮是由 Generative Ventures 领投的 1200 万美元。6 月 7 日，Taiko 上线了 Alpha-3 激励测试网。据 Taiko 官方介绍，该测试网侧重于去中心化、以太坊等效的 zkEVM 部分。
Taiko 为何受到这么 VC 的青睐，它又有哪些值得关注的地方，本文我们将探讨 Taiko 的技术特点和优势。
什么是 Taiko
Taiko 是一个等效于以太坊的 ZK-Rollup，通过在去中心化、无需许可且安全的 Layer2 架构中支持所有 EVM 操作码来扩展以太坊，也就是说，Taiko 将在技术层和协议层通过以太坊本身的运行方式来扩展以太坊。
ZK-Rollups 通过执行、聚合和证明链下交易来扩展计算，并依靠以太坊进行数据可用性和有效性证明验证。当前生产中的 ZK-Rollups 的最大缺点是它们不能完全支持 EVM 的通用计算，而是大多是特定于应用程序的。这打破了与现有以太坊 L1 智能合约和 dapp 的兼容性，并且进一步导致难以构建提供相同类型的可组合、表达体验的新合约。
zkEVM 因其不会在安全性或兼容性上妥协，因此被认为是 Layer2 扩容的关键。Taiko 的目标就是是成为 Type 1 zkEVM，它会优先考虑完美的以太坊等效性，而不是 ZK 证明的生成速度。
Taiko 的宗旨就是创建一个无障碍、抗审查和去中心化的 Type 1 zkEVM。
Taiko 技术特点
Taiko 由三个主要部分组成：zkEVM 电路（用于证明生成）、L2 rollup 节点（用于管理 rollup 链）和 Taiko Protocol（用于将这两部分连接在一起以进行 rollup 协议验证）。
zkEVM 电路
zkEVM 通过有效性证明证明了 EVM 计算在 rollup 上的正确性。
Taiko 可以按原样运行以太坊智能合约代码，无需任何更改。开发人员可以轻松地将他们现有的以太坊智能合约和完整的 dapp 迁移到 Taiko，也可以在 Taiko 上实施他们的新 solidity 代码作为他们的第一或唯一的环境。Taiko 实现了支持每个 EVM 操作码的 ZK-EVM，生成了 ZK-EVM 电路的有效性证明。除了与以太坊 L1 智能合约和 dapps 的完美兼容性外，所有以太坊和 solidity 工具都可以与 Taiko 无缝协作，无需中断开发人员的工作流程。这会有两个好处：
1.智能合约开发人员可以毫无障碍的在 Taiko 上使用 solidity 语言进行开发，不需要浪费时间来学习新的开发环境。
2.已经在以太坊上运行的智能合约可以直接移植到 Taiko 上，而且避免了引入不同编译语言的风险，可以正确的引入 dapps 或智能合约开发模式。
除了体现在应用层的 EVM 等效性之外，Taiko 还旨在实现以太坊等效性，允许它利用现有的以太坊基础设施进行开发。Taiko 节点使用与以太坊相同的哈希算法、签名方案和存储数据结构，因此不仅与虚拟机完全兼容，而且也可以兼容相关协议。重要的是，如果有以太坊协议更新，Taiko 将在 zkEVM 中实施它们以保持同步。最后，如果 Taiko 在自己的研发中创造出新方向，也可以努力在以太坊上实施它们。例如 Taiko 利用目前 Go-Ethereum 客户端，很容易将其重新用作 Taiko 节点。
在兼容性方面，开发人员和基础设施提供商可以顺利使用 Taiko rollup ，用户也可以完全熟悉使用模式和相关产品。因为作为通用的 L2，Taiko 的目标是赋能构建者，最终赋能用户。
利用以太坊的力量、EVM、定义明确的基础设施和工具、智能合约的临界质量和开发人员的专业知识是 Taiko 成为 Type 1 zkEVM 的主要原因。
Taiko L2 Rollup 节点
Taiko 节点从以太坊获取交易数据并在 L2 上执行交易，最终根据交易执行推进状态，因此，这些节点会管理 Rollup 链。目前，Taiko 节点是以太坊 Geth 分叉。
Taiko Protocol
Taiko 协议坚持安全、去中心化和无需许可的核心原则，定义并执行 Rollup 规则和潜在参与者。部署在以太坊 L1 上的智能合约充当 ZK-SNARK 证明的数据可用性机制和验证者，部署在 Taiko L2 上的智能合约则执行某些重要协议功能。Taiko 协议有三个执行阶段：
在区块提案阶段，提议者会从用户的 L2 交易构建 Rollup 块并向 L1 提出，任何人都可以成为提议者执行此区块创建功能。提议者会将收集的交易包含并排序到一个区块中，提议者决定区块中的交易顺序，将区块数据发布在以太坊上，并将该区块附加到 Taiko L1 合约中的提议区块列表中。该协议确保区块属性在这一点上是不可变的，这意味着区块执行是确定的，因此任何人都可以计算执行后的链的状态。
所有 Taiko 节点都连接到以太坊节点并订阅以太坊的区块事件。当确认 Taiko 区块提议时，该区块将附加到 Taiko L1 合约中 L1 的队列中，然后 Taiko 节点可以下载这些区块并在每个区块中执行有效交易。
在区块验证阶段，证明者从上述提议的区块中取出区块。该阶段的区块由交易列表（txList）和元数据组成。L2 区块的 txList 最终（当 EIP-4844 生效时）成为 L1 共识层中 blob 的一部分。但是，L1 合约不能直接访问 txList。因此，ZKP 应证明所选 txList 是给定 blob 数据的一部分。一旦区块被提出，Taiko 客户端检查区块是否被解码为交易列表，Taiko 客户端会验证每个封闭的交易，并为每个交易生成一个跟踪日志，供证明者用作验证数据。
在区块证明阶段，会生成 ZK-SNARK 证明，证明者来判断 L2 交易的有效性，任何参与者都可以执行此证明功能。由于所有提议的区块都是确定性的，且区块之间的所有中间状态都是已知的，因此区块可以并行证明。一旦区块内所有封闭的有效交易均已执行，区块的证明得到验证，并且其正确链接的父区块已在链上完成，此时该区块就会标记为链上完成。
该协议的一个基本要求是重建当前状态所需的所有数据，从而创建和附加新区块，在以太坊上公开可用。此外，证明者可以仅使用以太坊上的公共数据为区块生成证明。正是这些事实，依托以太坊公开数据，给所有潜在参与者一个公平的竞争环境，使得 Taiko 的 L2 更加去中心化。
Taiko 团队
Taiko 由 Loopring 创始人 Daniel Wang 和首席架构师 Brecht Devo 共同创立，另外 COO Matthew Finestone 和 CSO Terence Lam 以及其余大多数成员都曾在 zkRollup 领域工作。
Taiko 目前由来自美国、英国、德国、加拿大、日本乌克兰等国家的 20 名左右员工组成。
项目进展和路线图
当前进展
Taiko 最近发布了 alpha-3 测试网 Grímsvötn，该测试网专注于去中心化、以太坊等价的 ZK-EVM 的去中心化部分。alpha-3 测试网的主要目标有：1.测试新的协议经济学设计和实施，包括新的费用 / 奖励模型。2.使用部分 Merkle 证明测试 Bridge 以验证信号 / 消息（alpha-1 和 alpha-2 均使用完整的 Merkle 证明）。3.测试新的预言机证明者。现在常规证明可以在 oracle 证明之前出现。4.测试证明冷却时间（建议 30 分钟）。5.在 Layer2 上使用 withdrawalsRoot 测试新的 ETH 存款。6.测试起始层。将在几周内部署 Taiko L3。
从测试的角度来看，该测试网络取得了巨大的成功，短短一周，Taiko alpha-3 L2 网络已经处理了超过 119 万笔交易、超过 16 万个区块和近 20 万个钱包地址。
社区表现
当前 Taiko 推特粉丝数有 8.5 万人，一年时间共发推 699 条，平均每条推特有 5000 左右的阅读量；目前 Discord 共有 85858 粉丝，常规在线人数保持 15% 左右。整体来看社区表现较为活跃。
路线图
接下来 三、四季度会启动 Beta 测试网，主网启动时间预计在 2024 年年初。
小结
在以往的以太坊三难问题中，去中心化、安全性和可扩展性之间只能选择两个，以太坊等效的 ZK-rollup 的出现解决了这个问题。构建 zkEVM 是一个漫长且具有挑战性的过程，但它是值得的，需要耐心和长远的眼光。Type 1 zkEVM 长期发展能否成功仍是未知数，但 Vitalik 似乎暗示了 Type 1 zkEVM 是正确的选择。
Taiko 作为以太坊等效的 zkEVM，增强了以太坊生态系统的能力，在坚持去中心化、抗审查和安全的同时，Taiko 还通过协议设计减少了证明时间，也会更加关注与以太坊兼容性相关的社区和用户体验。如果 Taiko 持续保持进展，未来也许会成为第一个完全去中心化的 Type 1 zkEVM 上线以太坊主网。
（声明：请读者严格遵守所在地法律法规，本文不代表任何投资建议）
