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

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

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

Bisonic完成Forgotten Runiverse土地代幣融資，Dialectic領投:4月14日消息，游戲開發商和發行商Bisonic Inc.和Magic Machine周三宣布已經完成一輪土地代幣融資，具體金額未披露。該代幣將出現在即將推出的大型多人在線角色扮演游戲Forgotten Runiverse中。

Bisonic在新聞稿中表示，此輪土地私募由Ryan Zurrer創立的瑞士加密基金Dialectic領投。Seven Seven Six（由Reddit聯合創始人Alexis Ohanian創立）、Libertus Capital、Kenetic Capital、Placeholder、1confirmation、Wenew Labs、No Goat Milk (Future Corp)、Fiskantes、Deeze、Soby等參投。

根據路線圖，這款基于Magic Machine的NFT項目Forgotten Runes Wizard’s Cult的游戲正在開發中，將于6月進行土地公開銷售。（The Block）[2022/4/14 14:23:47]

區塊鏈分析公司 bitsCrunch完成360 萬美元融資:金色財經報道，區塊鏈分析公司bitsCrunch今天宣布，在一輪私人融資中籌集了 360 萬美元。這輪融資由 Animoca Brands 牽頭，并見證了 Coinbase Ventures、Crypto.com Capital 和 Polygon Studios 等的參與。?Coinbase Ventures、Crypto.com Capital 和 Polygon Studios、Borderless Capital、Bison Funds、Mapleblock、Morning Star Ventures、Shima Capital、GravityX、Thykeblock Ventures 和 Spark Digital Capital 也參與了本輪融資。[2022/2/24 10:14:03]

RunMiner挖礦木馬團伙使用新增漏洞武器攻擊云主機挖礦:騰訊安全云防火墻檢測到RunMiner挖礦木馬團伙使用新增漏洞武器攻擊云主機挖礦：利用weblogic反序列化漏洞（CVE-2017-10271）對云主機發起攻擊，攻擊得手后，會下載、執行惡意腳本嘗試對Linux、Windows雙平臺植入挖礦木馬，進行門羅幣挖礦操作。

RunMiner挖礦木馬挖礦前會嘗試卸載云主機安裝的防護軟件，并嘗試結束其他占系統資源較高的進程，以清除可能存在的挖礦木馬競爭對手。RunMiner挖礦木馬團伙的攻擊活動會嚴重影響云主機性能，干擾政企機構正常業務運行。（騰訊安全威脅情報中心）[2021/1/19 16:32:14]