摘要:0x新聞消息,安全審計機構Runtime Verification 完成530 萬美元融資,IOSG Ventures 領投,Fenbushi Capital、Maven 11、Borderless Capital、cFund、Hypersphere、Elrond Research 和Tezos …
0x新聞消息,安全審計機構 運行時驗證 完成530 萬美元融資,IOSG風險投資公司 領投,分佈式資本、Maven 11、Borderless Capital、cFund、Hypersphere、Elrond Research 和 Tezos Foundation 參投。
Runtime Verification 創始人Grigore Rosu 在一份聲明中表示,”參與融資機構的開發團隊見證了我們的技術的研究,這證明了我們技術的廣適性和實力,” Runtime Verification 成立於2010年,,使用執行期驗證技術對公鏈虛擬機和智能合約進行安全性審計,通過使用自己研發的動態分析驗證技術致力於提高和區塊鏈領域的軟件系統的安全性,可靠性和正確性。
圖片來源:網絡
作者:Chen Zou
本文來自0x新聞Bitpush.News,轉載需註明出處