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%。
IOTA 3.0將致力于分片且在此之前將部署L2方案:10月14日消息,IOTA高級研究員William Sanders在社區AMA活動中表示,分片是IOTA 3.0的一部分,目前仍在研究中。IOTA非常有信心這些問題能夠而且將會得到回答。在任何情況下,IOTA都可以使用已建立的機制進行分片工作。IOTA在未來將100%擁有分片功能,目前正在考慮在IOTA 3.0完成之前啟用第二層擴展解決方案。與此同時,IOTA聯合創始人Serguei Popov表示,IOTA將在未來幾個月內推出Coordicide。他稱,只有在通過所有壓力測試和產品審查后才會正式推出。(U.today)[2020/10/14]
現場 | Vitalik Buterin:“中心化”系統涉及高成本 分片技術能減少交易固定成本:金色財經現場報道,今日,由金色財經提供戰略媒體支持的以太坊產業發展峰會在香港舉辦,會上以太坊創始人Vitalik Buterin發表觀點:中心化系統通常涉及較高的固定成本,以太坊技術可以減少相關交易成本。[2018/9/8]
聲音 | 新加坡國立大學Jia Yaoqi :提高公鏈性能的最佳解決方案是分片技術:今日,新加坡國立大學博士Jia Yaoqi 針對如何提高公鏈的吞吐量,以及可擴展性的問題,指出目前已有的一些解決方案如增加區塊大小、代理人共識機制(DPOS),側鏈以及各種鏈下的解決方案,因受限于帶寬或喪失去中心化的特質,并不是100分的解決方案。而分片技術通過把整個網絡進行一個切割,切成不同的小組,進行不同的交易,允許整個網絡在不同的分片里面處理不同的交易,則能夠最終達到共同計算以及共同解決交易的效果,從而達到一個很高的吞吐量。[2018/9/5]
OKEx研究院首席研究員威廉認為,比特幣近期的快速上漲,確實有投機和炒作成分,但直接原因還是來自高凈值投資者和機構投資者的入場.
1900/1/1 0:00:00據Tokenview鏈上數據監測,北京時間3月12日凌晨28分38秒,于區塊高度674159處再次發生一筆5000BTC的大額異動.
1900/1/1 0:00:00QuantumEconomics創始人MatiGreenspan接受采訪時,對于VanEck比特幣ETF通過的幾率表示:“一直以來,VanEck堅持要讓美國SEC通過其比特幣ETF申請.
1900/1/1 0:00:00Zerohedge對沖基金分析師TylerDurden最近研究高盛高管DavidKostin發布投資者報告,他指出,根據最新的高盛報告警告稱如果狙擊空頭持續下去,整個金融市場都可能會崩潰.
1900/1/1 0:00:002021年2月8日“第一屆BSC農民節”中,以幣安智能鏈為發起者與社區共建方決定共同成立"BSC農民安全協會”,數據分析機構CoinMarketCap成為該協會首批成員.
1900/1/1 0:00:00芝加哥時間12月31日早,ProfesssionalDiversityNetwork在官方博客宣布與Web3.0隱私協議PhalaNetwork達成技術合作.
1900/1/1 0:00:00