長推：LLVM IR+SolanaVM的de-Sequencer模塊化方案_LANA

最近看了個蠻有趣的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的低遷移成本方案

持有32枚ETH以上地址數創20個月以來新高:金色財經報道，據Glassnode數據顯示，持有32枚ETH以上的地址數量達到121,663，創20個月以來新高。[2022/9/15 6:57:42]

為什么是SolanaVM？

SolanaL1需要大量TPS處理voting，但單純拿出來SolanaVM如Eclipse所說，Rust并發multi-thread是很高的，SolanaVM單拿出來做二層就不再需要Vote，也就省下來了一堆throughput

加密貨幣總市值為1.142萬億美元:金色財經報道，據CoinGecko數據顯示，當前加密貨幣市值為1.142萬億美元，24小時交易量為560.88億美元，當前比特幣市值占比為38.7%，以太坊市值占比為17.8%。[2022/8/8 12:08:56]

以太二層呢？

像現在ARB/OP的單一排序器是非常中心化的，雖然DA和共識安全交給了ETH，論其去中心化程度和geth性能，內存的opcode串聯，是遠遠不如rust或move改爸爸們Aptos/Sui的，Aptos的并行毛病很大，經常卡sync，Sui體驗感上暫時沒遇到過span會卡在并行處理上

數字資產數據提供商 Amberdata 已支持 Avalanche:7月28日消息，數字資產數據提供商 Amberdata 已支持 Avalanche，使得機構投資者可以查看 Avalanche 上在錢包、資產和協議的事實數據，確定協議中的資產和流動性池的表現以及管理他們自己的資產。[2022/7/28 2:42:50]

為什么要叫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倒是開發一下啊，沒看到模塊化都來沾邊了嘛？也是你好把這暗器藏起來，他們殺得越血腥你越痛快

Tags：SOLSOLALANASolana$SOLsolana幣下半年會漲到多少價格LANA價格solana幣總量

芝麻開門交易所