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

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

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

NFT平臺bitsCrunch加入萬事達卡的Start Path加密計劃:4月7日消息，NFT平臺bitsCrunch已加入萬事達卡的Start Path加密計劃。今年第二季度，bitsCrunch將獲得萬事達卡的咨詢、營銷和咨詢支持。此前去年7月份消息，萬事達卡為初創企業推出Start Path加密貨幣和區塊鏈計劃。（U.today）[2022/4/7 14:09:10]

攻擊者向以太坊地址空投UniH以竊取RUNE代幣:攻擊者正在加密空間中執行一種罕見的攻擊類型。據悉，攻擊者向至少76,000個以太坊地址空投UniH代幣。目的是讓接收者看到這些免費代幣并嘗試在去中心化交易所出售它們。但是這些代幣帶有惡意合約，一旦收幣人出售了他們新收到的UniH代幣（甚至只是批準出售），那么犯罪者將可以竊取他們錢包中擁有的任何Thorchain (RUNE)代幣。迄今為止，該攻擊已竊取了76,000美元的代幣，而且僅僅持續了幾個小時。（The Block）[2021/7/24 1:13:02]

波卡周報：增加驗證人數量公投未通過 網絡已升級至runtime v23:9月20日，波卡Polkadot官方社區PolkaWorld發布波卡周報。主要內容有：

1.波卡2號公投，即將使驗證人數量從197人增加到236人未獲通過。

2.Polkadot網絡已于9月17日升級到runtime v23。若用Ledger有問題，這很可能是由于升級，官方目前正在修復相關問題。

3.第一批申請波卡財政的團隊包括Patract Labs、Centrifuge、Polkascan和Encointer。

4.在驗證人被超額認購之前，波卡上提名人的最大數量增加到了256人，Kusama是128人。這次的更改升級將在下一個runtime看到。

5.Polkadot版本0.8.24已于9月18日發布。該版本對即將到來的runtime v24提供了本地支持。[2020/9/21]