比推消息，智能合约安全公司 Certora 完成 3600 万美元 B 轮融资， Jump Crypto 领投，其他参与者包括 Tiger Global、Galaxy Digital、Electric Capital、ACapital、Framework Ventures、CoinFund、Lemniscap、Coinbase 和 VMware。Certora 旨在帮助开发人员在部署代码之前检测和防止安全错误，该公司的 Prover 工具可以作为人工审计和漏洞赏金的补充。Certora 目前仅处理与以太坊虚拟机 (EVM) 兼容的区块链，下一个重点是扩展对 Solana 的支持，然后进一步扩展到 Polkadot，未来将覆盖所有区块链。

1_1CY6jMe0Z6K4NHYxUmbFwg.png

文章来自：https://www.bitpush.news/articles/2587508?from=listen

更新日期: 2022-05-18 01:10:33
文章标签: ,,,,,,
文章链接: 智能合约安全公司 Certora 完成 3600 万美元 B 轮融资， Jump Crypto 领投  [复制链接]
站方声明: 除特别标注, 本站所有文章均为原创, 互联分享, 尊重版权, 转载请注明.