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

据Coindesk 6月19日报道，区块链安全审计公司Runtime Verification完成530万美元融资。此次融资由IOSG Ventures领投，专注于Polkadot的Hypersphere Ventures、Cardano的cFund、Tezos Foundation、Elrond Research和Algorand accelerator Borderless Capital参投。Runtime Verification成立于2010年，旨在通过利用数学验证对虚拟机和智能合约进行安全审计。（巴比特） [原文链接]