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%。
V神提議對以太坊未來的分片和歷史訪問進行預編譯:Vitalik Buterin(V神)發文研究對未來的分片和歷史訪問進行預編譯。V神在文章中表示,當前以太坊設計中的向后兼容性挑戰之一是,歷史訪問需要在EVM中驗證Merkle證明,該證明假設區塊鏈將永遠使用相同的格式和相同的密碼。分片增加了這一點的重要性,因為用于rollups的欺詐證明和有效性證明需要指向分片數據的指針。V神提出了一種更加面向未來的方法:我們可以添加執行驗證特定類型證明的抽象任務的預編譯,而不是要求在EVM中驗證歷史和分片的證明。如果將來更改格式,預編譯邏輯將自動更改。預編譯甚至可以具有條件邏輯,用于驗證轉換前slots的一種證明和轉換后slots的另一種證明。[2021/6/13 23:33:43]
研究:波卡現有分片可能造成節點損壞:9月24日消息,康奈爾大學團隊發表的波卡研究論文顯示,入侵者可以通過收購分片的方式操縱波卡區塊鏈,這可能會導致節點損壞和數據泄露,甚至造成永久性損失。論文強調,現有分片實際上是通過損害信任實現效率拓展。市場數據顯示,目前有超過8.52億個DOT流通,項目總估值約為36億美元。(Bitcoin.com)[2020/9/24]
金色財經現場報道 以太坊創始人Vitalik Buterin對Casper與分片技術最新進展做出演講 :金色財經6月3日現場報道,在今天的以太坊技術及應用大會上,以太坊創始人Vitalik Buterin做了題為“Casper與分片技術最新進展”的主題演講。第一步為存款:簽名和公鑰地址不一定是一樣的,可以讓別人為你參加共識機制,能用熱錢包簽名,將資金留在冷錢包中。完成取款,第二步為等待加入,可能需要一天時間(還不完全確定)第三步為參加驗證機制:驗證節點有兩個作用:敲定主鏈的區塊,驗證分片上的區塊。[2018/6/3]
WeissRatings分析師JuanVillaverde和BruceNg聯合刊文稱,年初至今,以太坊上漲了469%,而比特幣上漲了281%;文章稱.
1900/1/1 0:00:00騰訊安全威脅情報中心檢測到有攻擊者利用HadoopYarnRESTAPI未授權命令執行漏洞攻擊云上主機,攻擊成功后執行惡意命令,向系統植入挖礦木馬、IRCBotNet后門、DDoS攻擊木馬.
1900/1/1 0:00:001月5日20:00,BitDNSCEOKaren作客MXC抹茶社區,就“BitDNS去中心化域名解析”作出分享.
1900/1/1 0:00:00目前,以太坊2.0存款合約中已經有2%的ETH供應,這顯示了以太坊社區的巨大信心,ETH價格現已超過1200美元,僅在過去一周就反彈了70%以上.
1900/1/1 0:00:001月14日,合成資產協議Synthetix創始人KainWarwick發文公布向以太坊二層擴容方案OptimisticEthereum遷移的主網部署過渡計劃.
1900/1/1 0:00:003月1日消息,美國知名DJ和制作人3LAU與OriginProtocol合作在Dshop推出的獨家UltravioletVinylNFTCollection拍賣已圓滿結束.
1900/1/1 0:00:00