区块链安全审计公司Runtime Verification完成530万美元融资，IOSG领投

链捕手消息，区块链安全审计公司Runtime Verification完成530万美元融资。此次融资由IOSG Ventures领投，专注于Polkadot的Hypersphere Ventures、Cardano的cFund、Tezos Foundation、Elrond Research和Algorand accelerator Borderless Capital参投。据悉，Runtime Verification成立于2010年，旨在通过利用数学验证对虚拟机和智能合约进行安全审计。（Coindesk）