鏈聞消息，安全審計機構 Runtime Verification 完成 530 萬美元融資，IOSG Ventures 領投，Fenbushi Capital、Maven 11、Borderless Capital、cFund、Hypersphere、Elrond Research 和 Tezos Foundation 參投。募集的資金將用於加速工具的開發，旨在提高不同區塊鏈和嵌入式系統的安全性、可靠性和正確性，以及推廣「運行中驗證」（Runtime Verification）的方式來審計虛擬機以及智能合約。