Thread Reader
Lao Bai

Lao Bai
@Wuhuoqiu

Jan 20
26 tweets
Twitter

上条说完公链乱象,今天来说下ZK与OP新的基础设施 先说OP,因为OP没ZK那么复杂 OP类的基础设施,最具代表性的可能就是OP Stack了,简单点理解就是把Cosmos模块化和一键发链的特点搬到了ETH L2这边

以后你可以拿OP Stack来“一键发链”,且不单单是发个链这么简单,这个链的执行层(用啥虚拟机),证明方式(欺诈证明还是ZK),数据可用性DA层,结算层之类的都是可选的,真正的模块化乐高方式 当然这玩意完全实现我估计怎么也得1,2年之后的事儿了,这也就给了ETH这边Appchain项目一个比较大的窗口期
比如现在就有项目Fork了Optimism代码,提供Sequencer,浏览器等基础服务的L2一键发链项目,说白了就是你拿他们的SDK,可以一键发一个OP,且只给你一个应用使用,Sequencer啥的你也不用操心,都包圆了,坏处就是OP那边的欺诈证明没上,Fork版本自然也是没有的
但好处就是之前Cosmos那边的一键发链,ETH这边也能干了,而且咱是EVM链,还是Rollup哟跟Cosmos那边形成了完全差异化的竞争。现在你想做个链游,既可以去Arb或是OP上做DAPP,也可以用这些项目搭一个简易的“基于OP Rollup”的Appchain了
再来说ZK,ZK这边可就复杂的多了,毕竟现在ZK是显学,去年我在比较OP和ZK时候就说过,ZK能玩出的花样,要比OP多的多 ZK目前聚焦的主要是Starkware与Zk-Sync为代表的ZKRollup的扩容路线,和Aztec,Aleo为代表的隐私路线,但其实还有各种ZK应用,ZK中间件的其他路线
先简单说说扩容和隐私路线的大区别 扩容路径的四大Rollup (Starkware,Zk-sync,Scroll,Polygon),除了Starkware之外,其他几个都是走的ZKEVM路线(Starkware也有kakarot在做ZKEVM了),目的是让上面的开发者直接用他们熟悉的Solidity做DAPP
而隐私路线的完全不是这个风格,都是用的原生的ZK系语言,比如Aztec推出的Noir,Aleo用的Leo,开发者都得重新学习,门槛高了不少,所以生态搭建慢很多 说说这段时间跟各个开发者聊得出的对四大Rollup的印象(不一定准确,一家之言)
Starkware - 四大里面的另类,因为自己弄了个Cario语言。学习门槛高,但拥有最活跃的开发者社区,里面很多其他地方没有的原生应用(比如全链游戏或是全链自主世界)都在Starknet这边,Cario相对Solidity有着底层性能和灵活性上的优势
性能和Prover费用都是个迷,不开源,黑箱,偏中心化,感觉测试网性能很好,主网TPS却很烂。完整版主网上线有可能四个里面最晚。但有个Starkware上的大牛开发者有个形容挺打动我,他说Starkware这边很有2014-2015年ETH的开发者社区Feel
Zk-Sync - 开源程度比Starkware好,但又比不上Scroll和Polygon,属于圈内公认的研发和BD都超强的团队。已经看到有项目在拿他们Alpha测试网的开源代码去做类似上面提到的OP版的一键发链了,只不过这边换成了ZK版
Scroll - 继路引之后第二道国产之光,且路引这第一道光其实已然熄灭,所以Scroll扛起了真正国产之光的大旗。最开源最EVM兼容的ZKRollup,还自创了并行验证Prover机制,总之就是瑞思拜。唯一让人担忧的是如何与上面俩巨头形成差异化竞争,以及西方开发者群体面对这样一个“东方血统”优秀底层的印象与态度
Polygon - 这是个技术圈内本来一直拿来做技术负面案例+BD正面案例的链,跟孙哥的TRX有那么点像。但是在人家有钱了一通收购之后现在大家不得不正视他的实力,人家直接打造了一个ZK矩阵,而且收购的项目都是真的实力派,也够开源,直接拿产品堵住了你的嘴
2023-2024,可能最有看头的就是这四大Rollup之争了,肯定比Arb VS Op更激烈,更有趣
再说说应用和中间件的路线 应用有很多,其实不少也是隐私或是扩容的相关产品 比如看到有做匿名DID,匿名投票或是治理,匿名的资格验证,甚至基于ZK的机器学习的 还有像是类似黑暗森林这种利用ZK的特性做游戏,或是做一些规则来构建一个链上世界的(很有意思的这些项目几乎全部80%都在Starkware那)
还有拿ZK做链上保险箱,通过私钥+ZK过的密码让你哪怕私钥被盗也不会丢失财产的 2023年肯定会看到更多类似的ZK应用类项目 而ZK中间件是一个相对应用稍“重”一些的赛道,甚至有人更加看好ZK的中间件赛道,而非ZK-Rollup这种底层最“重”的赛道,因为最重也就意味着最复杂,开发时间最长,最难有好的体验…
中间件目前聚焦于互操作性,出现了一种新的Proof of State的概念,也叫Storage Proof,但其实本质就是Validity Proof,通过一个ZK方式的证明来证明你在源链上有什么资产,或者做了什么事情 应用场景有哪些呢? 其实不少,比如多链的DID,多链的借贷,多链的流动性证明,多链的治理……
总而言之就是我通过这种中间件在无需发起交易的前提下证明了我在链A上的ID/抵押资产/LP仓位/投票权重之类的东西,从而参与到链B上面一些活动 当然还有个更常见的场景,那就是桥
桥的安全性问题有多大不用我多说,为了方便大多数桥都是第三方验证人的方式,使得你除了信任源链目标链之外还得多信任一个桥的验证人集合,LayerZero很聪明的把预言机拉了进来,得验证人和预言机串谋才不安全,但本质上仍然像是OP那种博弈风格
IBC倒是好用,也无需信任第三方,但这东西仅限于Cosmos内部啊!(好消息是波卡和Near那边有项目正在开发兼容IBC的轻客户端了,打通有望) 现在有几个项目在做基于ZK的桥了,或者说作为中间件来说桥是一个重要功能
本质来说就是上面说的Proof of State,这次你要通过ZK桥转账的时候,Deposit(Lock)之后会生成一个ZK的Proof,然后通过一个Relay network传到目标链,目标链那边验证一下就可以Mint之类。跟IBC信任级别差接近,基本只需信任源链和目标链就行,Relay Network里面只要有一个Node诚实玩意就能正常工作
但这东西没你想象的那么简单,一是做ETH上面的区块头Proof就不是件容易的事儿,你做完也不是说就直接所有EVM兼容链都能用,因为每个Chain也都有自己的Setup,比如有的开了1559有的没开,这就导致ZK的电路每个EVM链都小有不同。 然后你要想把这东西再拓展到非EVM比如Solana或是Cosmos,就Another Story
不过说到Cosmos,现在有几个团队在捣鼓ZK-IBC轻客户端,试图通过上面那种类似的方式,把ETH和Cosmos连起来,这个难度更大。因为还牵扯到轻客户端这种东西,里面需要包含IBC模块对solidity的转换等等。保守估计,至少得1年起步才能看到能用的产品,
不过要是真的能把IBC和EVM链打通,让EVM也享受到IBC的互操作性与便捷,那真的是一件让人无比期待的事
最后说说ZK在ETH这边可能的终局 - 也许5年或是10年之后,ZK通过不断地电路优化和硬件加速,从一个区块当前的10几分钟证明时间提升到了10几秒钟,跟ETH 12秒的出块时间基本持平,也就是说出一个块就能顺道来一个Proof,那时候可就厉害了。因为别的节点不再需要execute这个块,跟L2一样直接验proof就行
到时候不需要什么服务器,甚至电脑都用,只要你手机里面有32个ETH,应该就能直接参与以太坊的验证工作。这也是ETH路线图里Verge那条线里的 “Fully Snarked ETH”,也符合V神去年《Endgame》里面提出的终局设想 - 区块的生产不可避免的趋于中心化,但只要区块的验证保持去中心化,我们就还是去中心化的
最后祝大家新年快乐!
Lao Bai

Lao Bai

@Wuhuoqiu
ABCDE投研合伙人,Amber Group 研究顾问,《白话区块链》专栏作者
Follow on Twitter
Missing some tweets in this thread? Or failed to load images or videos? You can try to .