火星链 火星链
Ctrl+D收藏火星链

TIM:一个长长的 Layer2 介绍/科普/讨论/笔记

作者:

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

本文比较长,一共七个部分:

通俗的方式理解 zkrollup 和 optimistic rollup

Plasma 的简单历史

数据可用性

派系之争 op

派系之争 zk

Immutable X

结论

Layer 2 没有区块的概念其实,也没有节点,也不需要共识机制,所以在 Layer2 方案的区块浏览器上,其实看不到区块的。现在去看 Arbitrum 的浏览器,还有一个 Bk,Block,仔细看看每个区块其实就是每个交易,具体请看截图。Layer 2 的运营者只负责把交易排个顺序然后拿去处理。而区块链的关键之处就在于对交易的排序工作。

比如知名的三明治攻击其实就是排序攻击。你要发起一笔交易,付了50刀 Gas 费,有人发现了这笔还没处理的交易(在 Mempool 里面),然后花100刀 Gas 费,做两笔交易,一笔是跟你一样的买你要买的币,第二笔就是把买到的币再卖给你。先买的价格低,后买的价格高。所以对方就用两笔交易把你的交易夹在中间,先把你要买的币买了,然后再提高价格卖给你。

你感受到的最后变贵了,交易的滑点,就是对方的利润。这个和 Uniswap V3 的精准单点流动性提供是一个意思(Just-in-time Liquidity)。

了解了交易这个排序的重要性之后,两个 Layer 2(zk 和 op) 方案的区别简单理解。

为了防止对 zk 和 op 不熟,再说一遍这两个的区别:

Zk 是零知识证明,先证明是没问题,然后再把数据传到主链。先查后干。

Op 是乐观接受,先把数据处理了传到主链,再等人来挑战,一周时间内没人证明是错的,那就是对的。干完再查。

数据:过去一个月NFT PFP项目市值缩水近15亿美元:金色财经报道,据NFT市场分析师TylerD在社交媒体公布的统计数据显示,由于蓝筹NFT项目地板价出现大幅降低,过去一个月NFT PFP项目市值缩水约14.6亿美元(约合74.6万枚ETH),其中Yuga Labs生态市值亏损达到约6.3亿美元(未包含Otherdeed和Vessels市值损失,这两个NFT系列过去一个月亏损或达1亿美元),Azuki生态市值损失约2.75亿美元,CryptoPunks和Meebits市值损失约2.5亿美元,Memeland损失约1.1亿美元。[2023/7/6 22:20:11]

换个通俗但是不严谨的方式理解。

既然排序那么重要,那负责排序的就说了:我现在给你两条路,一条呢是你就听我的,一大堆交易给我我来排序,处理完我把处理的结果关键数据传到主链。你们要是对数据有意见有想法,我给你们一周时间,找到证据,反正原始的交易数据都在(这个就叫做数据的可获得性,data availability),你们自己核对,有问题就举报我,或者觉得我搞错了举报。要是你们挑战成功,主链也会给你们解决问题。这样只要我不出问题,我处理起来的速度就贼快。排序嘛,多简单。

第二条路呢,就是我好好干,每一次排序交易处理我都记录一个证明,然后传到主链的交易都有一个证明。这样任何交易任何人任何时候都能够随时保证我干的工作没问题。但是缺点就是,每次我都要处理完事搞一个证明,这样很累。所以速度就会很慢,而且越是复杂的处理逻辑,我干的就越慢,这个你们要理解。

看完上面你应该你对两个二层协议的方案有了一个大概的认知,如果还不懂也没关系,后面还会更详细的说。在此之前,先讲讲过去沸沸扬扬的 Plasma 的扩容之路。

稍微过一下 Plasma 的历史。其实一开始以太坊在 2017 年的最火热的时候就很堵,那时候就已经有关于扩容方案大量讨论的了。Plasma 是第一个受到非常大关注的方案。因为提出人是 V 神,还有来自 Lightning 的 Joesph Poon。

自萨尔瓦多宣布开始每天购买一个BTC以来,BTC价格上涨了62%以上:金色财经报道,据Bitcoin Magazine发文表示,自萨尔瓦多宣布开始每天购买一个BTC以来,BTC价格上涨了62%以上。[2023/3/19 13:12:32]

第一个版本的 Plasma 叫做 Plasma MVP(Minimal Viable Plasma)。这个版本肯定是行不通失败了。第一个版本大概就是把一大堆交易按照特定的规则排列,然后一起处理(其实后续的改进很多都是对这些一批次一批次交易的数据存储结构做改进)。

那么 MVP 的问题在哪里呢?还记得上面说的负责交易排序的人吗?这个人在二层协议里就是操作员,二层协议需要考虑到操作员作恶的情况。所以 zk 是操作员每笔留下一个证明,op 是操作员有一段时间的被挑战期。MVP 的问题在于:

挑战期依然存在,一周;

如果考虑到操作员作恶,发起挑战的时候需要把所有(注意,是所有,不是沿着默克尔树验证一条线)的交易全部验证一遍才能核查;

后来 V 神又做了一个新的版本,Plasma Cash。改变了交易集合的数据结构,同时还把资产都用非同质化通证来表示。这样其实就解决了核查是要检查所有人的所有交易问题。但是新的问题也出现了,用户提现的时候需要证明自己的拥有权,在挑战期用户需要定期在线。此外在存储方面,Plasma 对用户的要求也比较高,要自己存下来所有的数据。最终结果就是失败了。

你发现了吗?zk 是把结果和对结果的证明加密后小部分数据传到主网,来证明结果没问题;op 也是要把结果和原始的记录传到主网,如果有挑战能够有证据可查。

说到底,二层协议最后,甚至到扩容方案都是数据可用性的问题。理解数据可用的最好方式是从主网的角度,主网的节点能不能获得这些数据,并且是无条件的相信,也就是说二层协议处理的交易数据不能够存在中心化服务器或者什么地方。

“末日博士”鲁比尼:比特币是一个“巨大局” 基本价值是负数:有“末日博士”之称的鲁比尼(Nouriel Roubini)警告称,比特币的基本价值不是零,而是负数。鲁比尼认为,加密货币根本不是货币,因为它们缺乏货币的特征。他表示,我们知道包括商品、服务、金融资产在内,没有任何东西是以比特币定价。这不仅仅是因为人们不愿意这样做,还因为比特币存在缺陷,因为某种东西作为一种记账单位,它必须有一个稳定的价值。(《海湾时报》)[2021/6/16 23:40:57]

以太坊主网把所有的数据都放在链上,任何人都能看能查,所以安全。但是这样就慢、效率低。侧链的解决方案比较彻底,直接搞个新的,侧链的数据上侧链,跟主链无关,所以主链的安全性跟侧链是独立的。这也是为什么很多人普遍觉得二层协议才是最好的扩容方案。因为二层协议能够利用主链的安全性。

在数据可用性方面,二层协议都把数据量减少,一个是给(跟主链比)比较少能证明交易没问题的数据;一个是不给数据但是请你相信我,要不然就挑战我然后我让你相信我。并且挑战的时候数据都是可用的,而且验证过程相比于历史的方案比较简单。

现在再回头看看还是 V 神的这个推文:

其中 SNARKs 和 STARKs 都是零知识证明的方向,具体含义有兴趣自己可以查查。Fraud proofs 就是之前说的乐观的 rollup,直接翻译叫做欺诈证明,其实就是之前说的挑战 --- 拿出证据来证明交易有问题存在欺诈行为。

而下面的两行就是在说数据可用性,on-chain 就是说二层的交易集合的数据对主网来说是可用的,而 off-chain 则是说二层交易集合的数据对主网来说是未知的,不可用。

图中的 validium 之前没有提到过,这里解释一下。validium 就是在 zkrollup 的基础上,再把要传到主链的部分数据舍弃,让数据量更少,这样交易处理起来也更快,还能达到交易免费执行的程度(这个下面还会细说,因为 ImutableX 用的就是这个)。

波场TRON DApp活跃用户数近一个月都领先于以太坊和EOS:据DappReview网站显示,波场TRON DApp活跃用户数近一个月都领先于以太坊和EOS。其中,昨日波场TRON DApp活跃用户数为170787,以太坊DApp活跃用户数为40133,EOS DApp活跃用户数19532,波场TRON DApp活跃用户数是以太坊DApp活跃用户数的4倍多,是EOS DApp活跃用户数的8倍多。波场TRON致力于为去中心化互联网搭建基础设施,旗下的TRON协议是基于区块链的去中心化应用操作系统协议,为协议上的去中心化应用运行提供高吞吐,高扩展,高可靠性的底层公链支持。波场TRON还通过创新的可插拔智能合约平台为以太坊智能合约提供更好的兼容性。[2020/8/26]

所以顺着这个图,也就是我们今天比较熟悉,也是文章一开始说的两类扩容方案,zk 和 op。

op 熟悉的人可能更多,主要是因为 Arbitrum 和 optimistic 两个上线,并且有很多项目(特别是土狗项目)。而 zk 方案其实也挺多项目,比如说 dydx,immutable X,gitcoin 捐赠的支付方式等。

啥啥都有派系,区块链也是一样。看开点,炒币炒的不是涨跌,是人情世故。

就好像二层协议有 zk 和 op 两个派系一样,zk 和 op 内部也都有各自的派系之争。

op 的上面说了,就是 arbitrum 和 optimistic,两个目前都已经上线。很明显 arbitrum 发展的更好,截止到目前为止,arb 一共处理了三百多万笔交易。而 optimistic 则只处理了二十多万笔交易。但是!optimistic 的浏览器做的更好一点,这个必须要说。

非常直接地告诉了是交易批次,不是区块。而右边的一层和二层的交易是要完全按照主链的规则记录在主链,所以右边有 Bk,区块的标识。相比于 arbitrum 确实用心很多。

Arbitrum 和 optimistic 的部分信息对比:

声音 | Circle USDC产品主管:Libra代表着加密产业的一个巨大转折点:Circle的USDC产品主管Joao Reginatto在接受采访时表示:“关于Libra,我们还有很多事情需要了解,但有件事我们知道,Libra代表着加密产业的一个巨大转折点。这是向去中心化平台和开放金融的一个非常积极的发展。它标志着人们开始意识到加密和区块链技术将重塑全球经济体系。”

在谈及加密货币监管时,Reginatto表示:“长期以来,我们一直主张为加密制定一个清晰、前瞻性的监管框架,其核心观点是,数字资产代表着一种全新的金融资产类别,它不属于简单的证券、大宗商品或货币类别。许多数字资产同时占据多个类别,这取决于它们的背景和用途。由于数字资产难以简单分类,我们也敦促议员们停止将20世纪制定的法律应用于21世纪创造的技术。”(EJ Insight)[2019/9/26]

从目前的情况来看,两个对比,Arbitrum 目前确实领先许多。

最近 Optimistic 做了一次追溯性奖励计划,给生态中的项目发放奖励。收到奖励的项目一共有60个,一共100万美元。仔细看看这些项目,基本上都是非常非常技术类型的项目,而非应用类型会发币的项目。V 神前两天还写了一篇回顾,点评 Optimistic 的追溯奖励做的非常棒,项目总体的质量比 Gitcoin 11 期的还要高。这些技术类型的基础设施对于以太坊生态发展尤为关键。

再仔细看 Opitmistic 的动态,一周前才刚刚完成链网络升级,而唯一地址数的飙升也是最近几天刚刚发生。在此之前 Optimistic 上甚至都可以用没有什么应用来形容。而 Arbirtum 从九月份上线后并没有停机维护过,目前的主要动态就是和更多的项目合作,让更多的应用部署到二层上。

不得不说,早期在 Arbitrum 出现的土狗项目对于用户和资金的吸引起到了很大的作用。

多说一句,币安刚刚支持了 Arbitrum ETH 的充值和提现。这样以后从 Arbitrum 上提 ETH 应该都不用等七天了。在此之前还有一个可以用折价换流动性的方法,有协议提供这样的服务。就是如果你想提1个 ETH,还不想等七天。可以直接立刻提 0.98 个 ETH。或者说直接在主网借0.98个 ETH。等7天后,你的 ETH 提出来再还回去。

因为本身二层出错是个概率事件,只要用户的折价的收益能够弥补错误率乘以总提现额,这个就跑得通。

zkRollups 主要两个派系,分别是 Matter Labs 开发的 zkSync 方案和 Starkwave 开发的 StarkEx 方案。其中 zkSync 目前有两代,分别上 zkSync1 和 zkSync2;Stark 那边则分别是 StarkEx 和 Stark Net 两代。

这几个的区别 Immutable X 的 CTO 做了非常清晰明了的解释:

如果还不明白,可以看下面的这个表格

关于两个 zkrollups 的开发团队信息:

目前这两个对比下来,也很明显是 StarkWave 这边更胜一筹。目前利用 StarkEx 技术方案的项目之前也提到了,知名的爆款 dydx,immutablex,deversifi,sorare。根据 StarkWave 官网的数据,利用自己方案项目的总锁仓额已经超过了十亿美元,交易超过了5100万笔,累计交易量超过了2150亿美元。

其他在应用和未来发展规划方面的对比,前两天 Bankless 发了一篇文章《The best comparison on zkRollups today》,很详细介绍了这部分内容,中文也已经有很多翻译,有兴趣可以去找找看。

特别提一下 IMX,一个声势浩大的二层协议,啥也没干先把币发了。

IMX 用的是和 dydx 差不多的方案,也就是 zkrollups,这都没啥。重点是因为游戏链,道具装备人物肯定都是 NFT,虽然 rollups 比主网便宜很多,但是如果是规模很大的游戏,一样会超级贵,多了还是会用不起。为了解决这个问题,IMX 就更激进,直接用了上面提到 validium 方案。

Validium 和正常的 zkrollups 的区别就是完全抛弃了数据可用性,打一个简单的比方去理解就是。

我们把文章一开始例子里面操作员要做的事情是批改学生的试卷。

Zkrollups 的方式是,操作员每批改完一份试卷,就把批改结果和试卷的照片拍个照,然后一起上传到主网上。这样大家直接就能看到考试分数。如果对考试分数有意见,直接看试卷的照片,看看自己是哪里错了批改没有问题。

而 validium 是直接把结果分数传上去,试卷照片不传。也就是抛弃了一部分的数据。对于主网来说,是找不到试卷在哪里的,如果有意见,也没办法申诉,因为没有试卷不知道错在哪里。再说一遍,这个就是抛弃了数据可用性,Data Availability。

但是这样会让整个批改过程(交易处理)变得贼快。

为了让用户放心,IMX 又搞了个委员会,定期把试卷照片传到其他地方,就是 IPFS。

但是传到任何地方都没用,只有在主网的区块链里面的数据,才是真的区块链。放在其他地方再安全,他也不是所谓的 crypto native。

当然,IMX 也知道这个,所以用户未来直接在做交易的时候,可以选择是正常的 zkrollups 或者 validium。按照官方的说法:“我们把选择交给用户。”

讲实话,虽然能够理解这样的妥协。但是用户知道个啥啊,交给用户不一定是个好的选择。

本篇其实没有什么结论,更多的就是一个科普/介绍/讨论/笔记。因为涉及到二层协议,这是一个比较大赛道,技术设计架构方面也都比较复杂,我也不是技术出身所以必然有很多地方理解不到位。目的就是能够让一部分人大概能知道自己如果买了这些或者在这些协议活动,干的是个什么事情。

加之最近中文内容有些不太平,中文非广告的内容可能越来越少,就整理了一个出来。

参考材料

https://arbiscan.io/chart/verified-contracts

https://optimistic.etherscan.io/

https://www.crunchbase.com/organization/optimism/company_financials

Offchain Labs - Employees, Board Members, Advisors & Alumni

https://www.crunchbase.com/organization/offchain-labs/people

https://vitalik.ca/general/2021/11/16/retro1.html

https://dune.xyz/eliasimos/Bridge-Away-(from-Ethereum)

https://medium.com/dragonfly-research/the-life-and-death-of-plasma-b72c6a59c5ad

https://www.crunchbase.com/search/funding_rounds/field/organizations/last_funding_type/matter-labs

https://www.crunchbase.com/organization/starkware-industries-ltd

https://newsletter.banklesshq.com/p/the-best-comparison-on-zkrollups

https://dune.xyz/ChainsightAnalytics/Uniswap-v3-Just-in-Time-(JIT)-Liquidity-MEV

标签:ROLLARBROLTIMTROLL币DollarBalance BondRolodexTIM币

以太坊价格热门资讯
GOO:遨游元宇宙的必备工具(二)

第一部分主要介绍了chrome浏览器、翻译工具、油猴脚本工具、Gmail、Twitter、Discord的注册和简单使用方法。本篇继续分享第二部分.

1900/1/1 0:00:00
ETA:巨头混战元宇宙:有的砸百亿卡位 有的预警泡沫破裂

科幻作家尼尔·斯蒂芬森(Neal Stephenson)三十年前提出的“元宇宙”一词,正在撬动互联网产业的又一次大规模迭代.

1900/1/1 0:00:00
区块链:金色观察|链游新潮已至:盘点各大公链火热链游

链游,现阶段最接近元宇宙形态的场景之一。随着元宇宙的热潮,GameFi又迎来了新一轮的热烈追捧。接下来,我们就着重盘点一下各大公链在GameFi的布局.

1900/1/1 0:00:00
数字货币:数字人民币试点呈现“全面开花”

个人钱包开立数量过亿 北京冬奥试点场景建设进入冲刺阶段数字人民币试点呈现“全面开花”不论是覆盖地区、应用场景,还是钱包开立数量,数字人民币试点目前呈现“全面开花”态势.

1900/1/1 0:00:00
ETH:ETH2.0启动一周年 有哪些值得关注的信息?

香港时间2020年12 月 1 日晚 8点,以太坊2.0启动创世区块,阶段0(信标链)正式上线.

1900/1/1 0:00:00
ICE:冬奥来啦 | 数字人民币走进冬奥全场景

手套钱包、挂件钱包、卡片钱包……这些五花八门的数字人民币硬钱包,你更喜欢哪一个?近日,有消息称,中国银行与中国联通合作推出的滑雪手套、冬奥特色徽章、智能手表等形态多样的数字人民币硬钱包.

1900/1/1 0:00:00