以太坊交易所 以太坊交易所
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,企業擁有世界頂尖的形式化驗證團隊,專注于區塊鏈領域提供軟件測試和驗證方面的產品與服務,運用獨特的動態驗證技術來審核虛擬機和公鏈上的智能合約,全面提升區塊鏈軟件系統的安全穩定性。

AllianceBlock與Crunchbase達成協議,將傳統業務數據引入DeFi:金色財經報道,AllianceBlock旨在連接傳統金融(TradFi)和去中心化金融(DeFi),該平臺已簽署協議,將Crunchbase的商業數據添加到其生態系統中。這筆交易是Crunchbase首次進軍加密貨幣市場。該公司的數據,包括融資輪次以及收益信息,最初將提供給AllianceBlock的Data Tunnel用戶。(CoinDesk)[2023/3/28 13:31:33]

NFT Tech完成對Web3開發公司Run It Wild的收購:金色財經報道,NFT Tech宣布完成對Web3開發公司Run It Wild的收購,Run It Wild創始人Adam是前元宇宙平臺Decentraland合作主管,該公司為數字身份管理服務商Linktree開發了Web3策略,也為澳網公開賽元宇宙項目AO Metaverse提供支持,本次收購價格暫未披露,但據悉NFT Tech將發行10,000,000股普通股并支付50,000加元現金以換取Run it Wild公司所有已發行和流通股。(businesswire)[2023/2/25 12:29:28]

Maker創始人Rune Christensen加入風險投資公司Dragonfly Capital:金色財經報道,穩定幣協議MakerDAO的創始人Rune Christensen已作為風險合伙人加入風險投資公司Dragonfly Capital。Christensen將同時為MakerDao項目做出貢獻并與Dragonfly合作。據悉,Dragonfly在2019年投資了Maker,還投資了1inch、Compound和Tagomi等公司。[2021/11/16 6:53:46]

ZBG宣布上線Heco資產專區,ZBG平臺幣ZT已跨鏈接入Heco鏈

3月30日,據官方消息,中幣(ZB)子平臺ZBG宣布正式上線Heco資產專區,ZBG平臺幣ZT已跨鏈接入Heco鏈.

Block Chain:2021/3/30 19:29:06
Aave與Polygon合作以解決以太坊擁堵問題

金色財經報道,去中心化金融(DeFi)公司Aave正在與Polygon(前身為Matic)合作,以解決當前在第二大公共區塊鏈上遇到的擁堵問題。Aave將與Polygon一起探索可擴展側鏈,以躲避以太坊目前存在的高額交...

Block Chain:2021/4/1 19:34:28
外媒:V神凈資產估值已升至約7億美元

以太坊聯合創始人V神(Vitalik Buterin)的凈資產估值已升至約7億美元。到目前為止,其最大的財富來自以太坊。區塊鏈數據顯示,他目前至少擁有333520 ETH,這與2019年12月其擁有的35萬枚ETH相...

Block Chain:2021/4/1 19:34:46
投資巨頭貝萊德年初曾持有CME比特幣期貨合約

金色財經報道,投資巨頭貝萊德(BlackRock)確實已經開始涉足比特幣市場。根據周三公布的監管文件,該公司在1月31日的報告日持有360,457美元的CME比特幣期貨合約,所持份額占貝萊德龐大的全球分配基金的0.0...

Block Chain:2021/4/1 19:35:08
24小時合約市場爆倉超3.81億美元 BTC合約爆倉2.6億美元

據合約帝行情統計報告顯示:過去24小時合約市場全網總計爆倉3.81億美元,爆倉人數53056人.

Block Chain:2021/3/30 19:30:12
現貨黃金站上1710美元/盎司

現貨黃金站上1710美元/盎司,日內漲幅達1.5%。現貨黃金短線抬升近6美元,現報1942.55美元/盎司:行情顯示,現貨黃金短線抬升近6美元,現報1942.55美元/盎司.

Block Chain:2021/4/1 19:34:55
Genesis將于周四下調比特幣存款利率

繼上周BlockFi降低比特幣存款利率后,數字貨幣主要經紀商Genesis Global Trading計劃從周四開始將機構貸方和存款平臺合作伙伴的比特幣存款利率調整至2%至3.5%的范圍.

Block Chain:2021/4/1 19:35:07
MDIS已開啟第一輪治理分紅及第八次礦池調整

據官方消息,MDIS治理DAO已于30號開啟第一輪治理分紅,治理收益包括自動復投、回購分紅、手續費分紅.

Block Chain:2021/3/30 19:31:01
OKB突破16美元關口 日內漲幅為17.76%

歐易OKEx數據顯示,OKB短線上漲,突破16美元關口,現報16.008美元,日內漲幅達到17.76%,行情波動較大,請做好風險控制.

Block Chain:2021/3/30 19:29:03
美國國會區塊鏈小組成員Matt Gaetz因性行為不端接受調查

據《紐約時報》周二報道,美國Congressional Blockchain Caucus(國會區塊鏈小組)成員、美國國會議員Matt Gaetz(佛羅里達州共和黨人)正在就是否違反聯邦性交易法接受司法部調查.

Block Chain:2021/3/31 19:32:25
比特幣兌法幣交易美元占比略升至83.69%

Coinhills數據顯示,當前比特幣兌法幣交易占比中美元占比略升至83.69%,排名第一;歐元占比為5.32%,排名第二;韓元占比為4.21%,排名第三;排名四五位的分別為日元(3.87%)、土耳其里拉(1.23%).

Block Chain:2021/3/29 19:24:54
紐約州將在下周啟用區塊鏈護照,以抗擊新冠疫情

3月28日消息,紐約州州長Andrew Cuomo宣布將于4月2日開始在全州范圍內使用由區塊鏈技術支持的COVID-19護照,他在一份官方聲明中表示:“紐約人已經證明他們可以遵循公共衛生指導來抗擊新冠疫情.

Block Chain:2021/3/29 19:24:42
ads