Taiko 是一种去中心化的以太坊等效 ZK-EVM 和通用 ZK-Rollup。 其目的是让为以太坊 L1 开发的 dApp 的开发者和用户无需任何更改即可在 Taiko 上使用。 因此，dApps 可以很容易地部署到 L2，继承以太坊的安全性，同时产生比 L1 更低的交易费用。

ZK-Rollups 通过执行、聚合和证明链下交易来扩展计算，并依靠以太坊进行数据可用性和有效性证明验证。 当前生产中的ZK-Rollups的最大缺点是它们不能完全支持EVM的通用计算，而是大多是特定于应用程序的。 这打破了与现有以太坊 L1 智能合约和 dapp 的兼容性，并且进一步导致难以构建提供相同类型的可组合、表达体验的新合约。

Taiko的宗旨就是创建一个无障碍、抗审查和去中心化的Type 1 zkEVM。

技术概述

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 无缝协作，无需中断开发人员的工作流程。

这样做的结果有两个：

1.开发人员体验正是 solidity 智能合约开发人员已经习惯的 - 没有浪费时间，没有摩擦。EVM 开发人员和以太坊智能合约背后的势头是不可阻挡的，而且这种势头不需要转移或放缓。

2.已经在以太坊上运行的智能合约（以及智能合约/dapps 系统）——在许多情况下已经运行多年，其中价值数十亿美元——已经久经沙场，并且可以移植到 Taiko 而不会引入编译它们的风险一种不同的语言，或者以其他方式调整框架。这意味着移植确切的 dapps，或智能合约构建块/开发模式。

除了主要体现在应用层的 EVM 等效性的好处之外，Taiko 还旨在实现以太坊等效性，允许它利用现有的以太坊基础设施，例如执行客户端，很容易将其重新用作 Taiko 节点。例如，Taiko 客户端目前基于久经沙场的 Go-Ethereum 客户端。因此，不仅 VM 完全兼容，而且“周围组织”也是如此，因为 Taiko 节点使用与以太坊相同的哈希算法、签名方案和存储数据结构。重要的是，Taiko 也在寻求成为以太坊的等价物；如果有以太坊协议更新，Taiko 将在我们的 zkEVM 中实施它们以保持同步。最后，如果 Taiko 从我们自己的研发中创造出令人信服的新方向，我们可以努力在以太坊上实施它们，

在兼容性方面，不仅开发人员和基础设施提供商在 Taiko rollup 上会很顺利，用户也一样。在 Taiko 上，用户体验、使用模式和产品都将完全为用户所熟悉。

值得停下来反思一下为什么上述内容如此重要的元思想。作为通用的 L2，Taiko 的目标是赋能构建者，而构建者最终赋能用户。我们建造我们建造的东西，以便其他人可以做他们所做的。

只有帮助他人改变这个世界，太鼓才会改变这个世界。利用以太坊的力量、EVM、定义明确的基础设施和工具、智能合约的临界质量和开发人员的隐性知识是成为 1 型 ZK-EVM 的主要原因。这让我们很兴奋。

2. Taiko L2 Rollup 节点

Taiko 节点从以太坊获取交易数据并在 L2 上执行交易，最终根据交易执行推进状态。因此，这些节点管理汇总链。目前，Taiko 节点是以太坊 Geth 分叉。

3.太鼓协议

Taiko 协议定义并执行汇总规则并定义潜在参与者。该设计坚持安全、去中心化和无需许可的核心原则。

部署在以太坊 L1 上的智能合约充当 ZK-SNARK 证明的数据可用性机制和验证者。部署在 Taiko L2 上的智能合约执行我们在白皮书中解释的某些重要协议功能。

就网络参与者而言，我们可以观察到适合上述架构的三个角色：

提议者。从用户的 L2 交易构建汇总块并向 L1 提出；任何愿意的参与者都可以执行此区块创建功能。

证明者。生成 ZK-SNARK 证明，断言 L2 交易的有效性，并从上述提议的区块中取出区块；任何愿意的参与者都可以执行此证明功能。

节点运行器。从链上数据执行交易以与链状态保持同步。虽然提议者和证明者都需要运行节点来履行各自的角色，但其他参与者也会运行节点，例如提供区块浏览器等服务的节点和节点基础设施提供商。任何愿意的参与者都可以运行 Taiko 节点。

怎么运行的

Taiko L2 区块链中的区块由顺序执行的交易集合组成。可以将新块附加到链中以更新其状态，这可以通过遵循交易执行的协议规则来计算。

块提交分为两部分：

区块提议：

提议一个区块，将区块数据发布在以太坊上，并将该区块附加到TaikoL1合约中的提议区块列表中。该协议确保块在这一点上是不可变的，这意味着块执行是确定性的，因此任何人都可以计算执行后的链状态。我们将区块和所有封闭的交易称为最终确定的。L1 提议区块的一个显着特征是可能存在无效交易，这些交易将被 Taiko L2 节点跳过。当同时提出多个块时，此功能允许容错。

块验证：

因为所有提议的块都是确定性的，所以可以并行证明块，因为块之间的所有中间状态都是已知的。一旦验证了该块的证明并且其正确链接的父块在链上完成，我们就将该块标记为链上完成。

该协议的一个基本要求是重建当前状态所需的所有数据，从而创建和附加新块，在以太坊上公开可用。此外，证明者可以仅使用以太坊上的公共数据为区块生成证明。正是这些事实，依托以太坊公开数据，给所有潜在参与者一个公平的竞争环境，使得 Taiko 的 L2 去中心化。

一个普遍的事实是，EVM 并不意味着要在 ZK 电路中运行，并且 EVM 计算和以太坊数据结构以及嵌入式密码学的许多方面都是 ZK-SNARK 不友好且效率低下（缓慢）的证明。克服这些挑战一直是该领域许多人辛勤工作的目标，例如 EF 的 PSE。尽管如此，为 EVM 计算生成 ZK 证明的速度仍然很慢。这是在不同类型的 ZK-EVM 中反对兼容性的主要权衡，类型 1 的证明生成速度最慢，但具有完美的兼容性和未来证明性。其他类型生成证明的速度要快得多，但会失去不同程度的 EVM/以太坊兼容性和未来证明性。

在坚持去中心化、无许可和安全的不可协商的同时——以及完全 EVM 等效的优先级——Taiko rollup 的明确目标是通过协议设计减轻证明时间慢的缺点。也就是说，该协议力求在生成 ZKP 之前快速达成最终确定。我们将继续以此类目标设计协议，但如果缓慢的证明会大大降低链的用户体验，我们也将对 VM 调整/优化持开放态度。

简要概述完技术后，让我们转向 Taiko 和以太坊兼容性的人、社区方面。这一点非常重要，因为毕竟区块链是代码强制执行的社会契约。最终驱动协议的是人类和他们的价值体系。 

无障碍

任何想使用、构建或参与太鼓的人都可以这样做。之所以如此，是因为交易费用便宜且吞吐量高；开发人员体验稳健，以太坊 dapp 迁移无缝；该网络是无许可的，并最大程度地重用以太坊基础设施。没有访问权就没有自由。

包括

Taiko 是抗审查的，不能排除团体或个人。rollup 是去中心化的——依赖于以太坊的数据可用性和安全性；无需许可——允许任何网络参与者、用户或构建者选择加入。没有可以审查用户/应用程序/交易的特殊角色。我们只对建立可信的中立、公平的系统感兴趣。

打开

Taiko 是完全开源和以社区为中心的。我们建立在巨人的肩膀上，并珍惜回馈以太坊的技术进步和社区。我们重视社区对项目的贡献，利用对该领域感兴趣的最佳思想和想法。Taiko 执行和确保的活动类型要求透明度。