1月7日消息,分片項目Elrond宣布正在使用運行驗證來完成一組基于K框架的正式工具來補充和完善Elorand開發工具包。K框架是由Elrond顧問GrigoreRosu首創的,他是計算機科學博士,在美國國家航空航天局(NASA)擔任研究員期間,服務于火箭和航天器的安全關鍵環境。Grigore隨后發現了運行驗證,并與他的團隊一起致力于讓這些火箭科學工具能夠被區塊鏈開發者使用。經過幾個月的合作,Elrond團隊已經能夠創建一個名為KArwen的ArwenVM的K-Framework副本。Arwen是一個WASM虛擬機,因此運行驗證能夠為WASM擴展其KWasm語義以適應Elrond的虛擬機。此外,使用K框架的Mandos測試已經允許開發人員在較低的級別上執行代碼覆蓋測試。運行時驗證工具通過識別和刪除Rust編譯器自動添加的未使用的功能,能夠幫助將用Rust編寫的智能合約的占用空間減少40%。
私有分片網絡Calimero推出基于Near協議的區塊鏈框架并啟動Beta測試:3月5日消息,私有分片網絡Calimero Network宣布推出基于Near協議的區塊鏈框架,目前已啟動了Beta測試,該框架支持企業自主構建分片,而且可以根據需求修改分片性能,繼而最大限度地提高成本效益。
據悉,Calimero Network于今年一月完成850萬美元種子輪融資,Khosla Ventures、Lyrik Ventures和NEAR Foundation共同領投。[2023/3/5 12:43:19]
V神:即使有Rollups也還是需要分片:2月28日消息,V神今晚面向國內用戶進行了AMA問答,他認為,即使Rollups能使以太坊交易量提升100倍,以太坊還是需要分片,因為Rollups的擴展性依然有限,假如后面有了更多的用戶加入以太坊,比如達到5億,那時Rollups就不夠了。[2021/2/28 18:01:19]
V神:Rollups不需要服務器托管,不放棄分片:有網友提問Rollups是不是會消耗對抗監管的力量,如果CFTC拔出Rollups的服務器插座可以關閉DeFi程序,那么功能就不那么強大了。V神表示Rollups不需要服務器托管,上面那種問題只是一個臨時限制。此外,V神還表示,我們沒有放棄分片。[2020/10/2]
1月14日消息,據DeBank最新數據顯示,比特幣錨定幣WBTC已經超越Maker成為DeFi鎖倉量第一名.
1900/1/1 0:00:00據Naver報道,Bithumb股東Vidente對媒體表示,與NexonGroup聯合收購BithumbHoldings,取得管理權進行的談判是沒有根據的.
1900/1/1 0:00:00據Bitcoin.com報道,總部位于巴黎的拍賣公司KapandjiMorhange將于3月17日拍賣611枚比特幣。該公司表示,這是法國政府首次拍賣繳獲的比特幣.
1900/1/1 0:00:00現在比特幣的唯一風險就是外部風險,長端美債利率上行對全球股市估值的壓力最直接,美股首當其沖。比較脆弱的是科技股:按照現有盈利預期,直到2022年納斯達克指數估值都將穩定在27倍,處于2003年以.
1900/1/1 0:00:00NFT數字藝術收藏品項目Hashmasks總共已銷售1.3萬枚NFT,目前還剩余3,216枚NFT,獨立持有人為2,280名.
1900/1/1 0:00:001月11日午間,合成資產發行平臺Synthetix官方發文稱,上周Synthetix官方在發行多抵押貸款業務中發現了一個Bug。該錯誤導致一些僅需要進行部分清算的貸款被標記為全部清算.
1900/1/1 0:00:00