今天介绍一个“国产之光”通用型zk-Rollup—@taikoxyz.Taiko是继路印后，团队基于zk技术推出的又一力作。
路印因其不具备EVM兼容性无法扩展为通用型zkRU,Taiko作为能够实现完全以太坊等效性的zkRU应运而生。
一起探索这个被V神所青睐的项目能给以太坊扩容带来怎样的崭新叙事。
背景
关于以太坊扩容已经是一个老生常谈的话题，近年来Rollup一跃成为最炙手可热的扩容解决方案。
其中基于欺诈证明的Rollup分支ORU借助EVM等效性迅速占领L2市场，仅Arbitrum和Optimism就已占据超过85%的市场份额。
基于零知识证明的zkRU也竞相“亮剑”，纷纷推出自己的zk-EVM。
火币宣布赞助亚洲加密盛会TOKEN2049:据官方消息，加密货币交易所火币官方宣布再次赞助亚洲加密盛会TOKEN2049，火币相关负责人将出席峰会并发表演讲。峰会开幕当晚，火币还将于新加坡举办Afterparty。届时，火币全球顾问委员会成员孙宇晨将出席，并宣布火币重大品牌事项及火币成立十周年等相关事宜。火币已是第二次赞助TOKEN2049，火币方面表示，火币最近一年在品牌推广和产品升级方面都取得了突破性进展，对于此类峰会的深度参与有助于火币走在行业前列，与社区、用户保持密切联系，并持续为用户提供更优质的服务和体验，推进加密生态繁荣发展。
据悉，TOKEN2049将于今年9月13-14日在新加坡举行。峰会聚集Web3企业家、投资者、开发者、业内人士等，在为期两天的主要活动中将催生数百场聚会、研讨会，共同分享行业机遇并推动其发展。[2023/7/21 15:50:06]
zk-EVM
IRS将在德国、哥伦比亚、澳大利亚和新加坡部署人员，加大国际网络犯罪打击力度:金色财经报道，美国国税局（IRS）正在加大打击国际网络犯罪力度，美国国税局将通过该机构设立的一个试点来加强对“使用加密货币、DeFi、点对点支付和混合服务的税收和金融犯罪”的监督。该计划于6月正式启动，IRS准备将工作人员部署到德国、哥伦比亚、澳大利亚和新加坡，据悉，工作人员的部署时间为3个月，9月结束该工作。
在美国本土，美国国税局警告称，在涉及数字资产和避税措施方面，加密打击行动即将到来。预计美国国税局将根据第6045和6045A条更新税收法规，这两项法规都涵盖经纪人报告数字资产信息。[2023/5/23 15:19:52]
Taiko也不例外，与大多数zkRU的实现路径不同，Taiko旨在构建Type1zk-EVM。
按照V神对zk-EVM的划分，一共分为5类：Type1/2/2.5/3/4.(见下图)
25,368枚ETH从未知钱包转移到Coinbase:金色财经报道，Whale Alert数据显示，北京时间2023年2月15日06:50，25,368枚ETH(价值约39,401,432美元)从未知钱包转移到Coinbase。[2023/2/15 12:07:27]
不同zk-EVM需要在EVM兼容性和zk证明生成效率间做权衡，选择高EVM兼容性，就意味着zk证明生成难度加大，证明时间更长。
Taiko构建的zk-EVM属于Type1梯队，即完全的以太坊等效性。跟其同属一梯队的还包括@PrivacyScaling.
自年初以来，NFT月度市场交易量下降94%:金色财经消息，据The Block的数据显示，非同质代币(NFT)市场的交易量已从1月份的166亿美元降至今年6月的10亿美元以上，下降了94%。The Block分析师认为，年初NFT交易量的很大一部分可能是由于NFT市场LooksRare上的“洗售交易\"，即用户在彼此之间交易代币以欺诈性地抬高价格。此外，近几个月来NFT的地板价也有所下降，BAYC、Doodles和CoolCats等顶级项目已经下跌了30%左右。[2022/7/2 1:45:59]
简单来讲，Type1zk-EVM意味着Taiko可以直接解读EVM字节码，因此能够支持以太坊上Dapp的丝滑迁移。
但以牺牲zk证明的生成效率为代价。缩短zk证明的生成时间也成为Taiko核心工作。
协议核心角色
在讲Taiko的实现原理前，先来捋一捋协议涉及的3个核心角色：1）提议者；即将用户的L2交易归集并提交到L1，任何人都可以申请成为提议者；
troll-town.wtf系列NFT24小时交易额增幅达312.57%:金色财经消息，据NFTGo.io数据显示，troll-town.wtf系列NFT总市值达511.08万美元，在所有NFT项目总市值排名中位列第565；其24小时交易额为129.64万美元，增幅达312.57%。截止发稿时，该系列NFT当前地板价为0.242ETH。[2022/6/7 4:08:55]
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…如果此推特线程
对大家有帮助，麻烦转发、点赞第一条推文，感谢。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。