以太坊價格 以太坊價格
Ctrl+D 以太坊價格
ads

SOLA:長推:LLVM IR+SolanaVM的de-Sequencer模塊化方案

Author:

Time:1900/1/1 0:00:00

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

15,000枚ETH從未知錢包轉入Gate.io:金色財經報道,Whale Alert監測顯示,北京時間11:15,15,000枚ETH(價值約28,719,012美元)從未知錢包轉入Gate.io。[2023/7/19 11:04:07]

為什么是SolanaVM?

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

Optimism鏈上地址總數突破300萬個:金色財經報道,據OKLink多鏈瀏覽器數據顯示,當前Optimism鏈上地址總數突破300萬個,總數達3,005,087個,Optimism鏈上總交易數超7800萬筆。[2023/3/3 12:40:01]

以太二層呢?

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

比特幣礦企TeraWulf今年1月挖出157枚比特幣,環比增長逾25%:金色財經報道,比特幣礦企TeraWulf宣布,2023年1月自挖157枚比特幣,相比2022年12月增長逾25%。TeraWulf在1月部署1.8萬臺礦機,算力約為2.0 EH/s。其中約有1.15萬臺是全資擁有,算力約為1.4 EH/s;約6500臺是被托管的礦機,公司為此收取托管費和挖礦利潤分成。

據此前報道,TeraWulf達成一項重組債務的協議,但需進行股本融資。該公司通過公開募股籌集3200萬美元,并與現有貸款人達成了一項“原則上具有約束力的協議”,以重組其債務。交易完成后,該公司預計將實現自由現金流。[2023/2/8 11:54:23]

為什么要叫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:LANASolanaSOLASOLsolana幣挖礦solana幣官網下載appSOLARIXNFTSOL價格

fil幣價格今日行情
穩定幣:十年了,區塊鏈仍然是技術宅的玩具,但這并不是壞事

加密貨幣及區塊鏈技術已經蓬勃發展了十年有余,在取得了巨大成就的同時,其面向的用戶量卻十分局限。目前區塊鏈主要的用戶群體,依然是由密碼朋克和技術派主導的“極客群體”,主流人群仍然被排除在體系之外.

1900/1/1 0:00:00
PRI:項目調研:Loopring研究報告

一、項目簡介及愿景 Loopring協議是一個專為應用程序開發的zkRollup協議、一個中繼器、一個L2非托管交易所、一個智能錢包。用戶可以在其中使用、交易和存儲資產,同時讓資產獲得增長.

1900/1/1 0:00:00
USD:幣安推出TUSD挖礦SUI

幣安支持$TUSD挖礦SUI,財富效應不錯,下面簡單介紹一下TUSD和可能的投資機會 -TUSD介紹 -TUSD和幣安關系 -TUSD如何兌換 Stone Ridge旗下加速器Wolf公布首批入.

1900/1/1 0:00:00
Eclipse:長推:Eclipse 模塊化區塊鏈的基礎設施

結算層對于大家而言可能比較陌生,但它所承載的模塊化區塊鏈敘事已耳熟能詳。模塊化區塊鏈的敘事出現在聚光燈下,而Eclipse作為通用的結算層有望引領此次的變革.

1900/1/1 0:00:00
TTE:關于離開BuidlerDAO和對馬鑫回應的回應,我依然不覺得這是個小事

我已于今年1月離開BuidlerDAO并發聲明,撇清關系,包括但不限于股權、幣權等一切權利。我最介意的地方和最終決定離開的原因,至今在他發出的回應中,他依然覺得這只是一個很小事... 看來我離開.

1900/1/1 0:00:00
UNI:長推:小白如何10分鐘獲取人生中第一個BRC20

注:本文來自@DeFiTeddy2020推特,原推文內容由MarsBit整理如下:小白如何10分鐘獲取人生中第一個#BRC20比如$ordi.

1900/1/1 0:00:00
ads