长推:LLVM IR+SolanaVM的de-Sequencer模块化方案
这个项目开始在模块化里卷,一层层堆stack把延迟都废了,IBC的Tenderminy多接几个节点也废了,大家都废废的,要不还是把想想怎么妥协Censorship,逼良为娼吧(把高性能节点做捞不着ZK的苦逼事)。
原文作者:k:Kit Kong | CatcherVC
原文来源:Twitter
最近看了个蛮有趣的LLVM IR+SolanaVM做的de-Sequencer模块化方案,简单来说:
1. 如果把Eigenlayer比作给各条链做租借弹性节点,Celestia做的是多链插拔槽,这个项目则是给多个L2/L3用ZK Validity Proof在多链(执行分片网络)部署了一个Sequencer间维护的Proof-based Layer。
2. 底层用LLVM IR、无缝嵌入ZKVM/Rust/SolanaVM,据我了解,估计有点悬,Clang IR做VM好像比Rust好很多,虽然Rust有内置报错功能,这个想法主要还是为了能在浏览器做ZKP-WASM部署,以及跑一些TEE可信环境下快速部署作为2FA/MFA的低迁移成本方案
为什么是SolanaVM?
Solana L1需要大量TPS处理voting,但单纯拿出来SolanaVM如Eclipse所说,Rust并发multi-thread是很高的,SolanaVM单拿出来做二层就不再需要Vote,也就省下来了一堆throughput
以太二层呢?
像现在ARB/OP的单一排序器是非常中心化的,虽然DA和共识安全交给了ETH,论其去中心化程度和geth性能,内存的opcode串联,是远远不如rust或move改爸爸们Aptos/Sui的,Aptos的并行毛病很大,经常卡sync,Sui体验感上暂时没遇到过span会卡在并行处理上
为什么要叫de-Sequencer?
其实这些L2/L3在模块化世界里可以看成一堆分片数据库,用中心排序器,在伪随机+ZKSnark或ZKStark里不用担心篡改或安全问题,只担心censorship的问题,这对于用户来说也很好解决等一层Proof Layer1的Epoch过去,直接换个分片和排序器玩就好了,在排序器还能植入JIT Token
所以这个在干嘛?
关于【长推:LLVM IR+SolanaVM的de-Sequencer模块化方案】的延伸阅读
长推:复盘精彩刺激的 $RCH 大战
昨晚,$RCH与BTW进行了精彩的大战,项目方上线了产品并给LP添加了700ETH,但被聪明钱抢跑。随后,神盘出现,币价从0.2上涨到1u。项目方背景强大,有大机构背书,链上交易活跃。Sofa.org推出了两个产品,Earn和Surge,用户可以利用期权策略进行理财和预测未来走势。产品实力强大,能力超过web3团队。
长推:$RCH 能不能到20亿?无预留、无权限、燃烧通缩、上所才是起点
$RCH是新兴项目,初始加入池子的ETH价值300万,现市值7000万。若跌回1块,市值为2000万,上限无法预测。项目方烧了750ETH,加其他支出,合计400万。预计市值达15M,产品和资方有潜力,交易量高,无VC抛压和项目方币。预计上市后,市值5亿-40亿。
TL;DR 去中心租赁高性能排序器
有点像Nil选择了Mina作为一个已经在做区块头数据共识的公链,这个项目看准的数据这些RaaS,ZK(E)VM的爆发,想把SolanaVM+中心排序器的性能以去中心的方式随机排插到每个epoch的随机分片L2/3里
有趣的是?
从Nil的Mikow提出用c之后,这群老油条先是看不起,Risc0则是乖乖做ZKVM的服务,后来窜了个Asterio,Omni站不住脚直接跳车出来说要包办Fraud Proof+Validity Proof,估计这么花心做不成事情
更有趣的是?
这个项目开始在模块化里卷,一层层堆stack把延迟都废了,IBC的Tenderminy多接几个节点也废了,大家都废废的,要不还是把想想怎么妥协Censorship,逼良为娼吧(把高性能节点做捞不着ZK的苦逼事)
我觉得什么可以改进?
Starknet最近也有点坐不稳,跑得有点走型了,先是Lambda往zk简洁性+做了套支持 GPU cuda跑zkWASM。往性能上跑也不是不好,天天被人骂卡顿也是气不过,但好歹你把Stark的ZKP全线性PCP倒是开发一下啊,没看到模块化都来沾边了嘛?也是你好把这暗器藏起来,他们杀得越血腥你越痛快
免责声明:本文仅代表作者个人观点,不代表链观CHAINLOOK立场,不承担法律责任。文章及观点也不构成投资意见。请用户理性看待市场风险,以及遵守所在国家和地区的相关法律法规。
图文来源:k:Kit Kong | CatcherVC,如有侵权请联系删除。转载或引用请注明文章出处!
标签:ETH