比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads
首頁 > 區塊鏈 > Info

Runtime Verification創始人 Grigore?Rosu出任PlatON技術顧問

Author:

Block

Time:2021/4/1 19:36:29

金色財經消息,伊利諾伊大學厄巴納-香檳分校計算機科學教授Grigore?Rosu正式出任PlatON技術顧問,將在協議建模和智能合約的形式化驗證等領域為PlatON提供助力,幫助團隊更好地構建PlatON Network技術生態。

Rosu教授是科技企業Runtime Verification的創始人兼首席執行官。曾任美國國家航空航天局(NASA)研究科學家,期間與同事一起開創了“運行時驗證”這一前沿理念。2010年,創立Runtime Verification,企業擁有世界頂尖的形式化驗證團隊,專注于區塊鏈領域提供軟件測試和驗證方面的產品與服務,運用獨特的動態驗證技術來審核虛擬機和公鏈上的智能合約,全面提升區塊鏈軟件系統的安全穩定性。

MakerDAO創始人Rune Christensen過去7天已將63萬枚LDO兌換成MKR:4月17日消息,據Spot On Chain在社交媒體披露鏈上數據顯示,過去7天,MakerDAO創始人Rune Christensen已將總計63萬枚LDO兌換成1,865枚MKR(價值約合145萬美元),絕大多數交易發生在4月9日至4月11日期間,即以太坊上海升級之前。[2023/4/17 14:08:57]

幣安將支持BEP2 THORChain(RUNE) 主網置換:6月4日,據官方公告,幣安將支持THORChain(RUNE)代幣從BEP2網絡置換到其主網。主網THORChain(RUNE)代幣的轉換將按照1:1的比例進行。幣安將于北京時間6月6日12:00暫停BEP2 RUNE代幣的充值、提現業務。[2022/6/4 4:02:17]

Calamari Network已完成runtime升級和眾貸獎勵代幣$KMA分發:11月26日消息,Manta Network先行網Calamari Network已完成runtime升級和眾貸獎勵代幣$KMA分發,此次分發的眾貸獎勵包括首次釋放的34%和第一個8周分批釋放的11%。據悉,$KMA將于香港時間11月29日10點登陸Kucoin等交易所開啟交易。[2021/11/26 22:19:49]

美聯國際教育集團 (METX.US) 引入狗狗幣獎勵機制

3月30日消息,美聯國際教育集團 (METX.US) 宣布,公司已啟動區塊鏈技術戰略計劃,并將在立刻說平臺上為外籍教師引入狗狗幣獎勵機制.

Block Chain:2021/3/30 19:30:59
XTZ跌破4.5美元關口 日內跌幅為2%

火幣全球站數據顯示,XTZ短線下跌,跌破4.5美元關口,現報4.499美元,日內跌幅達到2%,行情波動較大,請做好風險控制.

Block Chain:2021/3/31 19:32:19
以太坊推送通知服務項目EPNS與Uniswap開展試點項目

金色財經報道,以太坊推送通知服務項目EPNS宣布與Uniswap共同開展試點項目,正合作開發核心EPNS協議。雙方將合作為Web3與去中心化應用建立ETH通訊層.

Block Chain:2021/4/1 19:34:46
BTC突破59000美元關口

火幣全球站數據顯示,BTC短線上漲,突破59000美元關口,現報59000.01美元,日內漲幅達到2.22%,行情波動較大,請做好風險控制.

Block Chain:2021/3/30 19:30:05
Gate.io于今日18:00開啟投票上幣第104期GLQ

據官方公告,Gate.io于3月30日(今日)16:00開啟第104期投票上幣項目GraphLinq Protocol(GLQ) ,投票截止時間至2021年3月31日下午14點.

Block Chain:2021/3/30 19:29:56
東非和南非貿易和發展銀行(TDB)執行價值4億美元的化肥貿易融資交易

東非和南非貿易和發展銀行(TDB)和OCP集團正在利用區塊鏈技術執行價值4億美元的化肥貿易融資交易,其中2.7億美元已經完成,其余將在未來幾個月執行.

Block Chain:2021/3/31 19:34:01
YMC Chain公鏈即將正式上線

據YMC基金會最新消息,YMC Chain將于新加坡時間2021年4月9日,正式同步啟動全球主網服務器及安防網絡,全程接入主網節點數據庫。YMC Chain利用區塊鏈技術保證數據信息透明,不可篡改,實現信息共享.

Block Chain:2021/4/1 19:35:47
MDEX數據播報:總鎖倉量21.6億美元

據MDEX.COM官網3月31日數據顯示,TVL:21.6億美元,日交易量: 21.7億美元,交易挖礦補貼:3.9億美元,LP獎勵: 2.6億美元,MDX回購銷毀數量: 1827萬MDX,總回購金額:6907萬USDT.

Block Chain:2021/3/31 19:33:28
SuperRare完成900萬美元A輪融資,VelvetSea和1confirmation領投

3月30日消息,加密藝術平臺SuperRare完成900萬美元A輪融資,VelvetSea和1confirmation領投.

Block Chain:2021/3/30 19:30:37
Cook Protocol:尚未上線Uniswap,請用戶當心詐騙

去中心化資產管理平臺Cook Protocol在推特上發布警示稱,目前出現了一些假冒Cook Protocol的團體、渠道和流動性池。官方表示,Cook Protocol還沒有上線Uniswap,請用戶當心詐騙.

Block Chain:2021/3/31 19:32:44
DuckDAO將加入Collateral顧問委員會

作為Collateral的私募投資方,DuckDAO將加入Collateral的顧問委員會。據悉,Collateral是波卡上的DeFi支付門戶.

Block Chain:2021/3/31 19:32:42
Riot Blockchain算力在2020年增長了460%

美國領先礦業公司Riot Blockchain的年報顯示:2020年Riot的算力提高了460%,Riot的總挖礦收入增長了78%,從670萬美元增長到1200萬美元.

Block Chain:2021/4/1 19:36:21
ads