月亮链 月亮链
Ctrl+D收藏月亮链

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

作者:

时间:1900/1/1 0:00:00

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

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

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

背景

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

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

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

过去半小时黄立成以约241ETH抛售6 BAYC NFT:6月20日消息,过去半小时,黄立成地址machibigbrother.eth在Blur上以约241ETH的价格抛售6枚BAYC NFT,单枚NFT抛售价值约为40 ETH。[2023/6/20 21:50:06]

zk-EVM

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

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

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

Wing:FlashPool的清算将在OKX Chain的预言机更新期间关闭:1月15日消息,Wing公告表示,FlashPool的清算将在OKX Chain的预言机更新期间关闭,以保护用户的资产。清算将于1月16日11:00(UTC)重新开始。[2023/1/15 11:13:23]

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

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

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

协议核心角色

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

BAYC系列NFT近24小时交易额增长超400%:金色财经报道,OpenSea最新数据显示,Bored Ape Yacht Club(BAYC)系列NFT过去24小时的交易额为385 ETH,增长率为427%。近24小时交易额排名位列OpenSea第3。[2022/10/7 18:41:49]

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

区块提交

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

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

英国金融时报:欧盟计划为“物联网”产品制造商制定新规则:金色财经报道,据英国金融时报消息,欧盟计划为“物联网”产品制造商制定新规则。[2022/9/8 13:15:21]

运行机制

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

数据:超过1年未活跃的比特币供应量创历史新高:9月4日消息,Glassnode数据显示,超过1年未活跃的比特币供应量占65.772%,创历史新高。[2022/9/4 13:07:46]

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

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

标签:TAIETH以太坊KOLSchwiftAIETHA价格什么是以太坊币制式Kols Offering Token

芝麻开门交易所热门资讯
BTC:要炒比特币域名了吗?如何获得.sats域名?_BTCZ币

在这篇文章中,我会以.sats域名的铸造为例,带你走一遍完整的BTCNFT铸造流程。在延展阅读处,会稍微解释下闪电网络、Taproot地址和?Ordinals协议.

1900/1/1 0:00:00
CLE:Silvergate <> 硅谷银行 <> USDC_CIR

Circle发布了一份关于硅谷银行的releasedastatement声明:https://www.circle.

1900/1/1 0:00:00
ETH:一文了解流动性质押协议 Stader 代币经济学_MarhabaDeFi

摘要以太坊质押是中心化的,约50%质押ETH流经前3大实体。迫切需要为用户提供更加去中心化的替代方案——这只有在ETH社区广泛筛选无许可运行节点时才有可能实现.

1900/1/1 0:00:00
Aztec:Aztec 专访:关闭 Connect 并非监管压力,将继续构建 L2 Rollup_ECT

作为AztecConnect早期用户,在得知该项目即将关闭并专注于Noir和新一代区块链的通知后,我赶紧联系了AztecCEO?ZacWilliamson,想挖掘一些在公告之外不为人知的信息.

1900/1/1 0:00:00
ETH:Lido 之后,Stader 会领导下一波LSD叙事吗?_TAD

如果您错过了由$LDO领导的LSD叙事的早期浪潮,请不要担心。原定的上海升级已改期至4月。这使您有第二次机会成为首批参与的人.

1900/1/1 0:00:00
HTT:盘点即将首发上线的7个热门项目_1INCH

昨天,Binance新一期IEO项目SpaceID正是开放交易,较IEO价格上涨超过2000%?,再次激起市场对新项目的参与热情.

1900/1/1 0:00:00