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

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

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

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

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

波卡周報：Polkadot更新到runtime v29 Rococo網絡重啟成功:根據PolkaWorld最新發布的波卡周報，本周重要事件包括：

1. Polkadot已經更新到runtime v29；

2. Polkaregistry提出的國庫議案，一個更加去中心化的注冊機器，已經被Polkadot理事會通過；

3. 波卡理事會通過了PolkaWorld提出的開發中文網站的國庫申請；

4. OpenSquare提出的將doTreasury集成到波卡的國庫議案正在討論中；

5. Polkadot目前staking率是64.1%，最小提名DOT數是226 DOT；

6. Rococo網絡在這周重啟成功，目前包括了插槽，拍賣，Crowdloan，注冊等所有必要的平行鏈基礎模塊。隨著這些基礎模塊的添加，平行鏈的拍賣和眾貸功能已經在Polkadot-JS上開始測試。目前Acala的測試網Mandala PC2（id 666）贏得Rococo上的第一個平行鏈插槽拍賣，Plasm贏得了Rococo上的第二個平行鏈插槽。此外，Phala、ChainX、Zenlink等生態項目還在進行新一輪的拍賣。[2021/3/28 19:24:14]

Gate.io將于今日18:00上線RUNE交易:據官方公告，Gate.io將于12月17日（今日）18:00上線THORChain(RUNE)交易。風險提示：請務必注意價格變化，提前調整市場掛單，切勿追高。[2020/12/17 15:33:12]