長推：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的低遷移成本方案

比特幣全網未確認交易數量為37405筆:金色財經報道，BTC.com數據顯示，目前比特幣全網未確認交易數量為37405筆，全網算力為5.29 ZH/s，24小時交易速率為8.84交易/s，目前全網難度為43.55 T，預測下次難度上調3.12%至44.91T，距離調整還剩5小時1分鐘。[2023/3/21 13:15:33]

為什么是SolanaVM？

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

Hashed聯創Alex Shin和資深投資者Sandeep Ramesh將加入Mysten Labs CEO的新基金:金色財經報道，籌款文件顯示，Hashed聯合創始人Alex Shin和資深對沖基金投資者Sandeep Ramesh將加入Mysten Labs首席執行官Evan Cheng的新風險基金，Shin和Ramesh都將作為普通合伙人加入。

據此前消息，Cheng正在尋求為其Web3基金籌集超過1億美元的資金。消息人士稱，Cheng將繼續擔任Mysten Labs的首席執行官，他目前正在與新基金的潛在普通合伙人和有限合伙人進行對話。Cheng隨后在The Scoop播客上證實，他正在尋求改進Web3風險投資的運作方式。[2023/3/2 12:37:18]

以太二層呢？

數據：MATIC 銷毀量突破 500 萬枚:金色財經報道，據 MATIC 銷毀數據儀表盤顯示，MATIC 銷毀量已超 500 萬枚，目前為 5,022,420.18 枚。[2022/12/5 21:23:38]

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

Tags：SolanaLANASOLASOLsolana幣下半年會漲到多少價格SolarCoinMOSOLID

狗狗幣價格