TOKE:长推：简析国产通用型 zk-Rollup「Taiko 」_BAYC Vault (NFTX)

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

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

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

背景

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

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

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

肖风：Web3应用层三代币模型有NFT、功能型Token和证券型Token:4月15日消息，在2023 香港 Web3 嘉年华主会场《代币化的未来》主题活动中，万向区块链董事长及 HashKey Group 董事长肖风发表闭幕主旨演讲《Web3 应用的三代币模式》时表示，Web3 的应用必然是方方面面的需求，Web3 应用层面的代币模型和基础协议的代币模型是不同的，基础协议是单代币模型，全球应该统一，应用协议是三代币模型，应用场景各有特色。三代币模型中，第一个是 NFT（数据、产品与服务价值），第二个是功能型 Token（使用权价值），第三个是证券型 Token（所有权价值，也就是股权价值）。[2023/4/16 14:06:08]

zk-EVM

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

数据：5.2亿美元BTC和2.85亿美元ETH期权合约将于2月17日到期交割:金色财经报道，Deribit数据显示，超过5.2亿美元BTC和2.85亿美元ETH的期权合约将于2月17日到期交割。其中BTC的最大痛点价格为2.25万美元；ETH的最大痛点价格为1600美元。

注：期权最大痛点假设市场上所有持仓是由大户沽出的,对大户最有利的结算价为市场内在总值最低的价位。广义来说就是市场会向大多数人比较痛苦的方向发展，这样才可以使主力的利益最大化。[2023/2/13 12:03:34]

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

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

佛蒙特州监管机构：Celsius可能在其财务状况方面误导了投资者:金色财经报道，佛蒙特州金融监管部在周三提交的一份新文件中称，加密货币借贷平台Celsius可能在其财务状况方面误导了投资者，使用其CEL代币来支持其资产负债表，并使用新的投资者资金来偿还老投资者。该部门还称，Celsius早在2021年7月就无法偿还投资者。

文件称，该公司在2021年蒙受了损失，包括当加密资产平台 Stakehound失去对 35000 ETH的访问权以及贷方无法归还抵押品时。该公司还在最近的债权人电话会议中承认，它无法获得足够的收入来支持其收益率。[2022/9/8 13:15:09]

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

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

随着加密市场下行，印度已将发展重点转向Web3:9月3日消息，在加密市场崩盘和税收制度推出后，印度加密行业为适应新的税收规则和行业政策，将发展重点转向Web3领域。

专家表示，印度处在一个独特位置，拥有大量的加密货币零售客户与开发者，可以发挥其关键作用，5G网络的快速推出和政府支持将促进印度的Web3领域发展。（The Economic Times）[2022/9/3 13:06:29]

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

协议核心角色

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

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

区块提交

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

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

运行机制

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

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…如果此推特线程

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

标签：TAIARKTOKENFTFountain ProtocolTotal Crypto Market Cap TokenKOF TokenBAYC Vault (NFTX)

酷币交易所热门资讯