最近看了個蠻有趣的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的低遷移成本方案
美國地區性銀行股向美聯儲發出警告,美聯儲加息概率已降至80%左右:金色財經報道,財經網站Forexlive分析師Adam Button表示,今日稍早,澳洲聯儲意外加息,已經令市場擔心同樣的意外是否會出現在本周的FOMC會議上。而在美盤交易時段,美國兩個經濟數據公布后,美國地區性銀行股也向美聯儲發出了謹慎行事的強烈信號,部分銀行股價日內下跌30%,KRE地區行銀行指數跌7%,引發了更廣泛的避險浪潮。美聯儲利率掉期顯示,美聯儲本周加息的可能性從昨天的接近100%下降到82%。此外,美聯儲6月份進一步加息的可能性已經降至0以下,市場目前預計年底聯邦基金利率將降至4.39%。[2023/5/3 14:39:18]
為什么是SolanaVM?
亞馬遜云正與Cronos Labs合作支持Web3初創公司:金色財經報道,AWS Hong Kong發推稱,亞馬遜云正在與Cronos Labs合作,以支持Web3初創公司通過Cronos加速器計劃擴展和發展,推動DeFi、GameFi、SocialFi等應用程序發展。[2023/4/26 14:27:30]
SolanaL1需要大量TPS處理voting,但單純拿出來SolanaVM如Eclipse所說,Rust并發multi-thread是很高的,SolanaVM單拿出來做二層就不再需要Vote,也就省下來了一堆throughput
當前加密貨幣24小時交易量不足480億美元:金色財經報道,據CoinGecko數據顯示,當前加密貨幣市值為1.2萬億美元,24小時交易量為479.9億美元,當前比特幣市值占比為37.8%,以太坊市值占比為18.3%。[2023/4/22 14:20:23]
以太二層呢?
像現在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倒是開發一下啊,沒看到模塊化都來沾邊了嘛?也是你好把這暗器藏起來,他們殺得越血腥你越痛快
Memecoin(模因幣)熱潮正在蔓延!一種稱為?BRC-20?的新代幣類型吸引了開發人員,并在比特幣區塊鏈上提供了類似于以太坊生態中的垃圾幣的體驗.
1900/1/1 0:00:00自去年Tether首次“人設崩塌”開始,USDT便暴雷不斷。今年四月先是因涉嫌秘密挪用8.5億美元資金填補缺口被告上法庭;五月不僅被法院駁回抗議還遭爆料有超50%的可能從事證券欺詐;到了六月七月.
1900/1/1 0:00:00注:原文來自@Ron_zheng發布長推再次驗證了我之前的觀點:Crypto項目更需要實名。想一想,如果這次事件發生在一個匿名團隊中,而不是Paraspace這種爭議雙方都實名的項目,用戶資金是.
1900/1/1 0:00:00編輯:好困拉燕大的來了!就在剛剛,微軟突然開放了搭載GPT-4的全新Bing聊天機器人。劃重點——所有人可用,而且再也不用排隊等了!我們只需要有一個微軟賬戶,然后打開Bing,或者Edge瀏覽器.
1900/1/1 0:00:00區塊鏈世界,很多人吹過很多牛,但真正挨過時間考驗的卻寥寥無幾。不過,有一個牛卻通過了全世界十年以上的公測——比特幣說:我記的賬不會錯.
1900/1/1 0:00:00當地時間周六,本年度伯克希爾-哈撒韋股東大會在奧馬哈召開,“股神”巴菲特與老搭檔芒格攜伯克希爾-哈撒韋副董事長阿貝爾以及保險業務負責人賈恩一同亮相.
1900/1/1 0:00:00