SOL:长推:LLVM IR+SolanaVM的de-Sequencer模块化方案

最近看了个蛮有趣的LLVMIR+SolanaVM做的de-Sequencer模块化方案,简单来说:

1.如果把Eigenlayer比作给各条链做租借弹性节点,Celestia做的是多链插拔槽,这个项目则是给多个L2/L3用ZKValidityProof在多链部署了一个Sequencer间维护的Proof-basedLayer。

2.底层用LLVMIR、无缝嵌入ZKVM/Rust/SolanaVM,据我了解,估计有点悬,ClangIR做VM好像比Rust好很多,虽然Rust有内置报错功能,这个想法主要还是为了能在浏览器做ZKP-WASM部署,以及跑一些TEE可信环境下快速部署作为2FA/MFA的低迁移成本方案

奢侈品街头服饰公司Les Benjamins宣布与Kalder合作推出LB代币:金色财经报道,奢侈品街头服饰公司 Les Benjamins 宣布与 Kalder 合作推出了 Flying Carpet Crew。该计划允许被称为 Carpet Weavers 的会员专享 VIP 活动。其中包括快闪店和时装秀。值得注意的是,Carpet Weavers 可以通过完成诸如在社交媒体上发帖、在 Les Benjamins 活动中扫描 QR 码以及在直播期间收集 POAP 等任务来赚取独家 LB 代币。

社区可以通过多种方式使用他们的 LB 代币。其中包括安全访问活动、限量版服装,甚至直接与 Les Benjamins 团队合作。[2023/5/4 14:41:25]

为什么是SolanaVM?

MakerDAO已拨款5亿枚DAI,其中80%购买美国国债20%购买公司债券:10月6日消息,稳定币发行机构MakerDAO已拨款5亿枚DAI用于投资美国短期国债和公司债券,其中80%将购买美国短期国债,其余20%将购买投资级公司债券。

此前报道,MakerDAO在推特公布近几个月有关MakerDAO收入多元化的多项提案进展,其中有关流动债券策略与执行的MIP65提案以71.19%的投票率通过。(CoinDesk)[2022/10/6 18:41:12]

SolanaL1需要大量TPS处理voting,但单纯拿出来SolanaVM如Eclipse所说,Rust并发multi-thread是很高的,SolanaVM单拿出来做二层就不再需要Vote,也就省下来了一堆throughput

Meta将2022年元宇宙智能硬件出货量缩减300万台:金色财经报道,据科技分析师郭明錤披露,Meta元宇宙智能硬件业务有下滑趋势,将缩减2022年Oculus系列头显出货量40%,从原有预期1000-1100万台下调至700-800万台。

此外,Meta还暂停了2024年之后的所有新的XR头显硬件项目。随后郭明錤再次发文称,发货预测是基于调查和判断,而不是官方数据。并更正称2022年MetaVR头显出货量下调幅度为25-35%,对应出货量不变,为700-800万台。[2022/6/23 1:27:30]

以太二层呢?

像现在ARB/OP的单一排序器是非常中心化的,虽然DA和共识安全交给了ETH,论其去中心化程度和geth性能,内存的opcode串联,是远远不如rust或move改爸爸们Aptos/Sui的,Aptos的并行毛病很大,经常卡sync,Sui体验感上暂时没遇到过span会卡在并行处理上

为什么要叫de-Sequencer?

其实这些L2/L3在模块化世界里可以看成一堆分片数据库,用中心排序器,在伪随机+ZKSnark或ZKStark里不用担心篡改或安全问题,只担心censorship的问题,这对于用户来说也很好解决等一层ProofLayer1的Epoch过去,直接换个分片和排序器玩就好了,在排序器还能植入JITToken

所以这个在干嘛?

TL;DR去中心租赁高性能排序器

有点像Nil选择了Mina作为一个已经在做区块头数据共识的公链,这个项目看准的数据这些RaaS,ZK(E)VM的爆发,想把SolanaVM+中心排序器的性能以去中心的方式随机排插到每个epoch的随机分片L2/3里

有趣的是?

从Nil的Mikow提出用c之后,这群老油条先是看不起,Risc0则是乖乖做ZKVM的服务,后来窜了个Asterio,Omni站不住脚直接跳车出来说要包办FraudProof+ValidityProof,估计这么花心做不成事情

更有趣的是?

这个项目开始在模块化里卷,一层层堆stack把延迟都废了,IBC的Tenderminy多接几个节点也废了,大家都废废的,要不还是把想想怎么妥协Censorship,逼良为娼吧(把高性能节点做捞不着ZK的苦逼事)

?我觉得什么可以改进?

Starknet最近也有点坐不稳,跑得有点走型了,先是Lambda往zk简洁性+做了套支持GPUcuda跑zkWASM。往性能上跑也不是不好,天天被人骂卡顿也是气不过,但好歹你把Stark的ZKP全线性PCP倒是开发一下啊,没看到模块化都来沾边了嘛?也是你好把这暗器藏起来,他们杀得越血腥你越痛快

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

金星链

[0:0ms0-1:126ms