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

最近看了个蛮有趣的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

所以这个在干嘛？

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倒是开发一下啊，没看到模块化都来沾边了嘛？也是你好把这暗器藏起来，他们杀得越血腥你越痛快