TAI:长推：简析国产通用型 zk-Rollup「Taiko 」

今天介绍一个“国产之光”通用型zk-Rollup—@taikoxyz.Taiko是继路印后，团队基于zk技术推出的又一力作。

路印因其不具备EVM兼容性无法扩展为通用型zkRU,Taiko作为能够实现完全以太坊等效性的zkRU应运而生。

一起探索这个被V神所青睐的项目能给以太坊扩容带来怎样的崭新叙事。

背景

关于以太坊扩容已经是一个老生常谈的话题，近年来Rollup一跃成为最炙手可热的扩容解决方案。

其中基于欺诈证明的Rollup分支ORU借助EVM等效性迅速占领L2市场，仅Arbitrum和Optimism就已占据超过85%的市场份额。

基于零知识证明的zkRU也竞相“亮剑”，纷纷推出自己的zk-EVM。

Kakao子公司Ground X与1inch达成战略合作伙伴关系:金色财经报道，Kakao子公司Ground X宣布与去中心化交易所（DEX）聚合平台1inch Network达成战略合作伙伴关系。通过此次合作，Ground X计划将1inch Network提供的应用程序编程接口（API）应用到Ground X数字资产钱包Klip中。[2023/8/3 16:16:37]

zk-EVM

Taiko也不例外，与大多数zkRU的实现路径不同，Taiko旨在构建Type1zk-EVM。

按照V神对zk-EVM的划分，一共分为5类：Type1/2/2.5/3/4.(见下图)

不同zk-EVM需要在EVM兼容性和zk证明生成效率间做权衡，选择高EVM兼容性，就意味着zk证明生成难度加大，证明时间更长。

加密支付应用Strike将集成USDT:5月22日消息，基于比特币闪电网络建立的加密支付应用Strike宣布将 Tether (USDT) 整合到其平台上。[2023/5/22 15:19:21]

Taiko构建的zk-EVM属于Type1梯队，即完全的以太坊等效性。跟其同属一梯队的还包括@PrivacyScaling.

简单来讲，Type1zk-EVM意味着Taiko可以直接解读EVM字节码，因此能够支持以太坊上Dapp的丝滑迁移。

但以牺牲zk证明的生成效率为代价。缩短zk证明的生成时间也成为Taiko核心工作。

协议核心角色

在讲Taiko的实现原理前，先来捋一捋协议涉及的3个核心角色：1）提议者；即将用户的L2交易归集并提交到L1，任何人都可以申请成为提议者；

2）证明者；生成ZK-SNARK证明的角色；3）TaikoL2节点。根据链上数据执行交易同步链状态，包括但不局限于角色1和2。

跨链交易和流动性路由协议Squid完成350万美元融资:金色财经报道，跨链交易和流动性路由协议Squid宣布完成350万美元融资，North Island Ventures领投，Distributed Global、Fabric Ventures、Galileo、Chapter One和Node Capital等参投。

据悉，Squid是Axelar Network上的跨链交易和流动性路由协议。Squid利用现有的DEX在链之间交易和发送任何本地代币。交易可以与Axelar的通用消息传递组合，因此Squid可以使用任何资产在任何应用程序和任何用户之间实现一键交易。[2023/2/1 11:39:33]

区块提交

Taiko机制下将区块提交分为2个部分：区块提议和区块验证。1）区块提议：提议者将区块数据发布到以太坊，即将区块附加到TaikoL1智能合约中的提议区块列表。提交的数据信息具有不变性，也即意味着区块执行结果的确定性，任何人都可以计算区块的post-stateroot.

报告：勒索软件攻击频率随着比特币价格下跌而下降:7月26日消息，据美国网络安全公司 SonicWall 的一份报告，2022 年上半年全球勒索软件攻击的数量呈下降趋势。SonicWall 的研究人员在 2022 年上半年记录了 2.361 亿次勒索软件尝试，同比下降 23%。研究人员表示，加密货币价格的暴跌使网络犯罪分子远离勒索软件。（theblock）[2022/7/26 2:39:04]

2）区块验证：由于所有提议区块都是确定性的，证明者可以进行并行证明。一旦提交特定块的zk证明且其父块是已验证的，我们就把该区块标记为已验证。

运行机制

再来直观地看下运行机制:分为以太坊上的TaikoL1智能合约和TaikoL2节点。L2的执行数据由提议者提交到TaikoL1合约，提议区块由Metadata和交易列表(txList)两部分组成。L1只能够获取Metadata的数据，无法获取txList的数据，因此L1无法通过重构状态根验证提议区块的有效性。

前美联储主席伯南克：美联储对通胀反应迟缓“是个错误”:5月17日消息，前美联储主席伯南克表示，高通胀问题已发展成为自1980年代初以来最严重的事件。美联储何时应该采取行动抑制通胀的问题“很复杂，问题是他们为什么要推迟做出回应？我认为如果回想起来的话，这是一个错误，而且我认为他们同意这是一个错误。”伯南克表示，他理解美联储等待的原因，“其中一个原因是他们不想冲击市场。鲍威尔想通过给人们尽可能多的警告来避免这种事情。因此，渐进主义是美联储没有在2021年中期对通胀压力做出更快反应的几个原因之一。” （CNBC）[2022/5/17 3:20:55]

L1也并不通过重构状态根来验证L2交易的有效性，因为占用了计算资源，如果这样做就失去Rollup的意义了。那么L1如何验证提议区块的交易在L2真实发生呢？

通过zk证明(后面讲)。对于TaikoL2节点来讲，它们拥有自验证能力，因此可以验证提议区块交易的有效性。

L2节点验证提议区块的交易有效后，会下载并转换成确定性的L2区块(如下图:b1转换成B1,b2转换成B2……)，所以此时TaikoL2节点并不需要借助zk证明来验证有效性。证明者可以提交zk证明到L1,如果L1节点通过zk证明验证状态转换是有效的，也就证明该特定提议区块是有效的。

如果提议者提交了无效的提议区块，怎么“告诉”L1节点这个区块是无效的？逻辑是在L2先构建一个临时区块(比如b3是无效区块，以B2为父区块构建临时区块B).区块B只包含一笔交易invalidateBlock(…)，把b3的txList代入函数。生成基于B的zk证明提交到L1,如果验证有效，则证明b3是无效区块。

费用及奖励流向

Taiko用户以$ETH作为交易gas.区块提议者能够获取提议区块所有的交易费用，提议者需要支付一部分$ETH给L1节点(DA费用等)；燃烧一定的协议代币$TKO出L2块。

另外，L2的证明者提交有效的zk证明也将获得协议铸造的$TKO代币奖励。

以上就是关于Taiko的简单介绍，更多详细内容可参考其官方白皮书：https://taikoxyz.github.io/taiko-mono/taiko-whitepaper.pdf…以及创始人@daniel_taikoxyz关于L2出块机制介绍的视频：https://youtube.com/watch?v=YUSCAFZRDqg…如果此推特线程

对大家有帮助，麻烦转发、点赞第一条推文，感谢。

标签：TAI以太坊KOLSQUIDStaika以太坊官网app下载注册KOLNETsquid币超话

芝麻开门交易所热门资讯