背景

Taiko（日语中的「鼓」）成立于 2022 年初，由 Daniel Wang、Brecht Devos 和该领域的其他知名人士共同创立。在创办 Taiko 之前，这两位曾在 Loopring 工作，Loopring 是第一个部署在以太坊上的零知识 rollup。

Taiko 目前由来自土耳其、奥地利、巴巴多斯、中国、印度、美国、加拿大、乌克兰等国家的大约 20 名员工组成。

技术细节

Type-1 zkEVM

Type-1 zkEVM 希望与以太坊完全兼容。在 Taiko 的情况下，它打算成为与操作码级别的以太坊等效，这意味着哈希函数、预编译合约、交易和状态树以及其他一致性逻辑都不会改动。然而，正如 Taiko 的白皮书中所指出的，该协议目前确实禁用了某些以太坊改进提案（EIPs），但这将随着时间的推移而改变。

除此之外，在 Taiko 的情况下，兼容性还进一步加强。Taiko 客户端基于经过实战检验的以太坊客户端 Go-Ethereum。这意味着对于那些希望参与的人来说，它们更加熟悉且易于使用。从最终用户的角度来看，在 Taiko 上与在以太坊主网上使用 Uniswap 的能力保持了一致性、可访问性和用户满意度，甚至有所改善。

加速零知识证明生成

Taiko 通过以下几种方式加快了零知识证明的生成速度：

Taiko L2 上的所有提议块立即进行验证，因为它们是确定性的，无法被撤销。「确定性」意味着任何人都可以计算执行后的链状态。只需将 L2 块提交到 Taiko L1 时通过内在有效性测试一次即可被视为验证通过。

Taiko 协议

Taiko 的零知识协议在以太坊主网（L1）和 Taiko L2 上部署了两个智能合约：

L1 智能合约用于提议、证明和验证 L2 的区块。

L2 智能合约目前用于证明提议块的无效性并进行锚定，即协议利用 EVM 的可编程性来强制执行某些协议行为的一种方式。

zkSNARKs

Taiko 协议使用了零知识简洁非交互性知识论证（zkSNARK）证明。至少在理论上，与 zkSTARK 相比，zkSNARK 被认为缺乏可扩展性，并且需要一个可信的设置过程。然而，zkSNARK 比 zkSTARK 更轻量级，因此验证时间更短。而且 zkSNARK 所需的 gas 较少，提供了更便宜的交易。

Taiko 网络由三个参与者组成：

Taiko L2 节点

Taiko 的 L2 节点从以太坊获取交易数据，并在 Taiko L2 上执行这些交易。正如我们之前提到的，Taiko 的 L2 节点基于 Go-Ethereum。

当前进展

Taiko 最近发布了其第一个测试网络，名为 Snæfellsjökull，这是冰岛西部一个火山的名字。用户可以通过在 Ethereum A1 和 Taiko A1 之间进行桥接测试、在不同账户之间转移代币、与合约进行交互以及运行提议者节点来测试 Taiko。

Source: https://l2 explorer.a 1.taiko.xyz.

Taiko 团队打算在未来几个月内逐步废弃 Snæfellsjökull，并用一个新的测试网络取而代之，该网络将采用零知识证明技术。进一步的测试网络将改进之前的版本并实施代币经济模型。

Taiko 并未具体说明何时将推出其主网，但提到 2023 年底或明年较有可能。

Taiko 的信念

Taiko 声称自己希望具有可访问性、包容性、开放性、无需许可和去中心化。事实上，它希望能够使用完全去中心化的提议者和证明者集合上线。这与其他 zkEVM 不同，因为它们大多选择从中心化开始，然后逐渐实现去中心化。

Taiko 认为，完全去中心化并追求与以太坊相同的目标是成为以太坊等同的必要条件。除此之外，该团队打算在未来某个时候推出一个 DAO。共同创始人 Wang 还表示，Taiko 希望以非营利组织的形式运营。

结语

Type-1 的 zkEVM 有其优点和缺点。但如果相对于它所提供的优势来说，其劣势可以忽略不计呢？如果以太坊等效，看似是最高的标准，再加上现有和潜在的加速零知识证明生成的方式，真的会使得 Type-1 的 zkEVM 在长期内成为赢家呢？目前仍有许多未知数，但至少 Vitalik 似乎暗示类 Type-1 的 zkEVM 是正确的选择。

Taiko 显然独树一帜，试图实现非凡的壮举。它能否成功是另一个问题，但从 Wang 和他的团队在 Loopring 上所取得的成就来看，胜算似乎是站在他们这边的。如果 Taiko 获胜，以太坊也将成为赢家。