火星链 火星链
Ctrl+D收藏火星链
首页 > DOGE > 正文

以太坊:长推:简析国产通用型 zk-Rollup「Taiko 」

作者:

时间: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。

CryptoQuant CEO:Haru Invest疑似对客户隐瞒了对FTX的资金转账:6月15日消息,CryptoQuant首席执行官Ki Young Ju表示,OXT Research报道称,Haru Invest使用了FTX。如果这是真的,那么在FTX倒闭后的整整一年里,他们都对客户保持沉默。

OXT Research在推特上表示,Haru Invest的BTC余额从来没有特别高,交易量最高是在2022年夏季,监测到Haru Invest对FTX的两次资金交易是其比特币地址最大的转出交易。[2023/6/15 21:37:57]

zk-EVM

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

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

提供加密货币零售交易的金融服务公司Tradier完成2460万美元B轮融资:金色财经报道,提供加密货币零售交易的金融服务公司Tradier宣布完成2460万美元B轮融资,PEAK6 Strategic Capital领投,此前曾投资过该公司的Prime Capital和KF Business Ventures参投。Tradier的全功能平台支持加密货币、股票和期权交易,用户能在Tradier Brokerage和加密账户之间无缝导航,该公司计划利用新资金扩大产品范围、拓展API、以及提升全球借记融资、期货和加密货币细分市场。[2023/4/13 14:02:02]

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

稳定币crvUSD科普创新清算机制LLAMMA,可在抵押品价格下跌时逐步替换为稳定币:1月17日消息,Curve官方科普其稳定币crvUSD创新的清算机制LLAMMA,解释了LLAMMA通过AMM的特性进行针对债务人更友善的清算方式,让抵押品在价格下跌时逐渐转移成稳定币,让原本要清偿的债务有一定程度的稳定币可以偿还,同时在价格回稳时再逐渐把稳定币换回抵押品,而不是直接的触发清算导致债务人的亏损。

此前报道,2022年11月23日,去中心化交易平台CurveFinance开发者发布Curve即将推出的去中心化Stablecoin“crvUSD”的官方代码和白皮书。[2023/1/17 11:17:13]

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

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

Coinbase前首席技术官:FTX可能是国家失败的预演,比特币是对冲通胀的工具:12月12日消息,加密货币交易所Coinbase前首席技术官、风险投资公司a16z前合伙人、天使投资人Balaji Srinivasan在其推文中表示,“将FTX视为国家失败的预演,有一天,您的美元银行账户余额可能会被冻结或膨胀到一文不值”。Twitter上的许多人赞同Srinivasa 的观点,称比特币和去中心化是答案。此外,Srinivasan在另一条推文中还评论表示,比特币是对冲通胀的工具。[2022/12/12 21:38:31]

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

协议核心角色

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

3,658枚BTC从未知钱包转移到Coinbase:金色财经报道,WhaleAlert数据显示,3,658枚BTC(价值61,012,529 美元)从未知钱包转移到Coinbase。[2022/11/20 22:09:57]

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

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

标签:TAI以太坊KOLFTXCATAI国内以太坊交易平台KolionKONGZ Vault (NFTX)

DOGE热门资讯
USDC:一文说透稳定币大格局:三巨头和它们的链上竞争者

这是白话区块链的第1878期原创?作者|ChrisPowers编译|火火出品|白话区块链熊市发展到现在,稳定币市场已经暗流涌动.

1900/1/1 0:00:00
SWAP:哪些DEX在“USDC危机”中大赚了一笔?

硅谷银行倒闭导致美元稳定币USDC上周末出现脱锚并一度跌至0.87美元低点,FUD情绪也在加密市场蔓延,不过这一黑天鹅事件造成的影响似乎并没有想象中的那么大.

1900/1/1 0:00:00
比特币:以太坊升级权益证明,为什么比特币不能?

要使臭名昭著的能源消耗型加密货币的效率大大提高,没有任何技术障碍,只是一个社会障碍。去年,以太坊走向绿色环保路线.

1900/1/1 0:00:00
NAN:或许你不该加入 Binance:Binance 是你的理想之地吗?

主要观点:Binance是一个高性能、以结果为导向的组织。这只是因为我们独特的文化才得以实现。但这并不适合每个人——需要特定心态才能在这里茁壮成长.

1900/1/1 0:00:00
VAL:Volitions:在ZK-rollup和Validium之间做选择的零知识证明方案

目前以太坊基于零知识证明的扩容方案是ZK-rollup,但其实还有另外两种解决方案——Validium和Volitions。本文简单介绍以上3种基于零知识证明的扩容方案.

1900/1/1 0:00:00
ISM:Optimism第十期激励扶持入围项目分析

过去,GMX、Velodrome等受到扶持和激励的第2层(L2)应用程序已被证明其成功性并成为赢家;那么,通过研究下一轮潜在的激励接受者,可能会指引我们发现下一波可能崛起的协议.

1900/1/1 0:00:00