買比特幣 買比特幣
Ctrl+D 買比特幣
ads

ELR:分片項目Elrond采用K框架工具 進一步完善開發工具包_CELR

Author:

Time:1900/1/1 0:00:00

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/10/4]

聲音 | ConsenSys公司前高管:以太坊2.0將在2020年啟動分片:ConsenSys Capital聯合創始人,數字資產風險管理顧問公司的管理合伙人Andrew Keys每年都會回顧區塊鏈的技術進展,并在新年的頭幾天發布他的預測。在他的2020年報告中,他強調了以太坊的機遇。Keys對以太坊網絡向權益證明共識過渡的進展極為樂觀。他確信Ethereum (ETH)開發人員不僅會交付第0階段,而且在最終的分片設計中甚至會交付第1階段。Keys還預測,芝加哥商品交易所的ETH期貨將于2020年公布。(u.today)[2020/1/8]

聲音 | 常山北明:將為至信鏈貢獻跨鏈交換、零知識證明、分片共識相關的技術:常山北明(SZ000158)董秘在互動平臺回復投資者對于“公司在區塊鏈布局及技術優勢”的提問表示,至信鏈是騰訊、中國網安和北明軟件做為核心節點攜手發布的區塊鏈。至信鏈將致力于生態建設,在數據保全、糾紛解決、訴訟輔助等方面做出自己的貢獻。北明軟件將為至信鏈貢獻跨鏈交換,零知識證明,分片共識相關的技術和知識的積累。[2019/9/27]

Tags:ETH區塊鏈ELRElronLuckTogether區塊鏈的三個基本特征CELRElrond

火幣APP下載
HER:以太坊貓牧人將組織召開社區電話會議 討論EIP-1559的實施_CAN

2月17日消息,以太坊貓牧人將于2月26日14:00組織召開社區電話會議,討論EIP-1559的實施。會議的主要參與者包括:來自以太坊社區的EIP擁護者研究人員,開發人員和礦工.

1900/1/1 0:00:00
RBI:TrustBase與Apron Network達成戰略合作_ARBI

據官方消息,TrustBase與ApronNetwork達成戰略合作,共同為波卡生態開發者提供更多基礎技術支持,幫助更多的開發者更容易地進入波卡生態.

1900/1/1 0:00:00
MEX:Bmining協議推出算力代幣和治理代幣BMT_TME

Bithumb家族旗下算力平臺Bmining宣布,其基于以太坊的去中心化標準算力協議Bmining協議已于2月3日20時推出算力代幣和治理代幣BMT兩種代幣.

1900/1/1 0:00:00
ALP:AlphaFinance將按月用儲備金支付導致Cream被盜的欠款_AlphaKlima

2月22日消息,跨鏈DeFi平臺AlphaFinanceLab與CreamFinance發表聯合聲明,公開此前遭受攻擊被盜資金的處理方式.

1900/1/1 0:00:00
OIN:摩根大通高管:OCC批準銀行使用穩定幣支付不會對JPM Coin產生影響_VeganNation GreenCoin

1月17日消息,在摩根大通(JPMorganChase)2020年第四季度收益電話會議上,其首席執行官JamieDimon和首席財務官JenniferPiepszak就OCC最近批準銀行使用穩定.

1900/1/1 0:00:00
OSM:CosmoStation錢包支持OKT質押與節點投票_COSMIC

根據CosmoStation官方消息,作為OKExChain生態合作伙伴,CosmoStation已將OKExChain集成到錢包中,用戶可創建和導入OKExChain主網錢包,除此以外.

1900/1/1 0:00:00
ads