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