最近，基于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 上线以太坊主网。
声明：web3中文原创作品，内容仅代表作者立场，且不构成投资建议，请谨慎对待，如文章/素材有侵权，请联系官方客服处理。
附：Taiko交互教程