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

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

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

百威與Zed Run達成合作，將推出NFT通行證和Clydesdale NFT皮膚:6月8日消息。啤酒制造商百威（Budweiser）與Zed Run合作，在其基于NFT的虛擬賽馬和投注游戲中部署代幣化的克萊茲代爾（Clydesdale）挽馬。

作為合作的一部分，雙方將推出百威主題賽道、百威NFT通行證、百威贊助的虛擬賽馬獎池（將在7月和9月舉辦比賽，獎金分別為4.5萬美元；12月將舉辦巡回賽，獎金達9.5萬美元），以及空投三個版本的Clydesdale NFT皮膚，可在Zed Run中使用。（Cointelegraph）[2022/6/8 4:10:24]

Zed Run開發商VHS完成2000萬美元A輪融資，TCG領投:澳大利亞公司Virtually Human Studio（VHS）獲2000萬美元A輪融資，由TCG牽頭，Andreessen Horowitz和Red Beard Ventures參與。這家公司成立于2018年，開發了一款基于區塊鏈的賽馬游戲，名為Zed Run。（Coindesk）[2021/7/21 1:07:54]

聲音 | TechCrunch編輯Josh Constine：區塊鏈成為主流最主要的障礙是可用性:據CCN消息，近日，可以媒體TechCrunch編輯Josh Constine在接受采訪時表示，有很多科技公司都以區塊鏈冠名，并且區塊鏈行業在最近兩年獲得了大量的用戶，但是區塊鏈成為真正主流的應用還需要幾年時間，其中最主要的障礙是可用性，畢竟區塊鏈應用的很多操作都十分繁瑣，同時還有安全性的問題。

?

?[2018/9/25]