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

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

imToken發布新版本，新增授權管理入口等功能:7月7日消息，imToken發布新版本，更新內容包括首屏新增代幣單價展示、新增授權管理入口、優化地址本管理功能、按法幣計價顯示礦工費、提供測試幣領取網站列表、升級DApp收藏與分類管理、以及加快App啟動速度。[2023/7/7 22:23:31]

為什么是SolanaVM？

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

幣安回應路透社“幫助伊朗公司處理80億美元”：已立即凍結限制相關賬戶:金色財經報道，在路透社關于幣安幫助伊朗公司處理80億美元交易的文章發布之后，幣安回應稱，在本周早些時候發現位于伊朗的加密交易所的用戶通過幣安轉移加密貨幣，之后幣安立即開始凍結轉移資金和限制相關賬戶。幣安在很早之前就告訴伊朗交易者他們無法再使用幣安服務，并且必須清算其帳戶。但這僅影響位于伊朗的用戶，對全球伊朗僑民卻沒有影響。我們也在KYC和交易監控技術上做了大量投資，以及與合作伙伴建立合作關系，不過仍然會帶來合規性挑戰，僅憑區塊鏈數據就無法清楚地確定交易意圖。目前幣安也正在與供應商緊密合作，以開發解決方案。

此前，路透社稱，盡管美國制裁旨在切斷伊朗與全球金融體系的聯系，但自2018年以來，幣安已經幫助伊朗公司處理80億美元交易。[2022/11/5 12:18:20]

以太二層呢？

Coinberry起訴50名用戶利用軟件漏洞提取120枚比特幣:金色財經報道，加拿大加密貨幣交易所Coinberry起訴了50名用戶，他們在2020年因軟件錯誤而集體提取了120個比特幣。根據《金融郵報》援引的一份法庭文件，由于Interac電子轉賬功能存在漏洞，用戶可以用尚未轉賬到自己賬戶的加拿大元抽走比特幣。

Coinberry于今年7月被加密貨幣市場公司WonderFi (WNDR)收購，該公司提起的訴訟也提到了幣安，因為它是多個客戶分配所得的場所。（coindesk）[2022/9/8 13:17:26]

像現在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：SOLASolanaSOLOLASOLARIXsolana幣官網下載appSOLOPOLA價格

狗狗幣