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

流動性協議Tokemak即將推出V2，將引入動態流動性管理池:5月18日消息，流動性協議 Tokemak 宣布即將推出 Tokemak V2，將引入動態流動性管理池（LMP），審計計劃會于本月底開始。新系統包括兩個獨立的產品，第一個為動態池分配器 Autopilot，可優化不同池和 DEX 的 LP 的收益率，第二個為流動性訂單簿，使 DAO 能夠根據透明的市場利率租用流動性。Tokemak V2 將按次序啟動，Autopilot 是第一個產品，其次將推出 DAO 流動性市場。Tokemak V2 為 DAO 和 LP 提供流動性管理池，最初的重點是 ETH 流動性質押代幣，為 LP 提供 ETH 的動態敞口，并為 LST（Liquid Staking Token）協議提供新的流動性管理工具。之后，Tokemak V2 會將其產品范圍擴展到穩定幣、其他穩定池以及波動性資產對。[2023/5/18 15:11:43]

為什么是SolanaVM？

馬斯克今晨發布NFT項目The Memes by 6529相關圖片，后者地板價漲超20%:4月4日消息，馬斯克于今晨發布NFT項目The Memes by 6529系列“Seize JPGs”圖片，受此影響NFT項目TheMemesby6529地板價24小時漲幅達23%，暫報0.0975ETH；交易量漲幅達2045%；交易次數漲幅達1000%。被提及的作品“SeizeJPGs”當前售價為1.88ETH，約合3400美元。TheMemesby6529是一個多季發行的NFT項目，該項目由著名的Web3意見領袖Punk6529帶頭發起。每次季節開始，藝術家都會根據項目給出的提示創建視覺表現形式，如“自由交易”或“開放的元宇宙”。[2023/4/4 13:44:07]

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

通過Frax Finance質押的以太坊已超12萬枚:金色財經報道，通過 Frax Finance 推出的流動性質押產品質押的以太坊已超 12 萬枚，當前共發行約 120,960 枚 frxETH，價值約 2.17 億美元。[2023/3/20 13:14:40]

以太二層呢？

像現在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：TOKETOKSolanaLANAOrbit TokenVirtual Goods Tokensolana幣官網solana幣什么意思

萊特幣價格