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神:ETH2尚未決定轉賬是否要在新分片上指定訪問列表:以太坊創始人V神今日發推稱,ETH2還沒有決定是否要求轉賬在新分片上指定訪問列表。生成已訪問帳戶列表和創建見證的阻塞提議器足以啟用無狀態客戶端。[2020/7/28]
動態 | 分片公鏈NEAR Protocol啟動EVM執行環境:分片公鏈NEARProtocol宣布啟動EVM執行環境,NEAR將Parity的EVM代碼編譯為WebAssembly,并在NEAR智能合約上關聯了部分API用于支付、跨合約調用和部署。工具方面,所有基于web3.js的工具都可以依靠NearProvider來處理與NEAR網絡的連接,管理密鑰,并將對象和RPC從以太坊的語義重新映射到NEAR中。只需在在truffle.js中添加另一個網絡即可設置合約。NEAR未來將允許EVM執行環境中的合約通過無需信任的ETH和NEAR橋接調用以太坊。[2020/2/16]
動態 | 分片是最有希望能夠實現高性能而不降低去中心化程度的鏈上擴容方案 ?:TokenInsight今日發布《分片技術研究報告(上)》,報告指出分片的核心思想是“分而治之”,是將公鏈網絡中的所有節點劃分為不同的分片,各個分片處理不同的任務,分片之間并行處理,從而提升公鏈整體性能。分片的引入可以從根本上減少節點所需資源,降低節點配置門檻,是最有希望的鏈上擴容方案。
分片技術現階段的應用還面臨著不小的挑戰:在分片內需要克服 PoW 共識中的 51% 攻擊問題和 PBFT 共識的節點數量限制及女巫攻擊問題;在分片間需要克服分片間雙花攻擊問題和跨分片交易的過載問題;在系統層面需要克服單點過熱問題以及分片數、節點數變化引起的系統狀態動態調節問題。
目前分片技術仍處于測試驗證階段,暫無大規模應用的項目。此外,對于公鏈而言,如果沒有強大的生態,公鏈本身的性能再高也是沒有意義的。[2019/1/17]
近日,在區塊鏈政務應用論壇上,可信區塊鏈計劃發布了《政務區塊鏈發展白皮書》。本白皮書針對政務區塊鏈的本質特征及運行機理進行科學分析,并設計出政務區塊鏈的應用圖譜,同時全面匯編政務服務領域的區塊鏈.
1900/1/1 0:00:001月13日消息,因發布《不建議成為DeFi開發者》一文,yearn.finance創始人AndreCronje遭到Uniswap增長業務領導者AshleighSchap的抨擊.
1900/1/1 0:00:00隨著比特幣一路猛飆而黃金表現不佳,許多聲音擔心比特幣正在取代黃金,成為對沖通脹的首選。但高盛對此持不同意見,認為:比特幣本質上是一種“再通脹交易”,視為風險情緒增長的代表也許更為妥切,而黃金才是.
1900/1/1 0:00:0012月29日消息,重慶市南岸區人民檢察院胡勇發文《應用區塊鏈破解網絡金融犯罪治理難題》表示,將網絡金融機構主要業務上鏈,通過區塊鏈可信存儲的特點實現對鏈上金融服務的監管.
1900/1/1 0:00:00據TheBlock報道,波卡DeFi項目ReefFinance已通過代幣銷售融資2000萬美元。該輪融資由FTX姐妹公司AlamedaResearch一家投資機構提供支持.
1900/1/1 0:00:002020年02月05日,據慢霧區情報,知名的鏈上機槍池yearnfinance的DAI策略池遭受攻擊,慢霧安全團隊第一時間跟進分析,并以簡訊的形式給大家分享細節.
1900/1/1 0:00:00