智能合约安全公司 Certora 完成3,600万美元 B 轮融资 Jump Crypto 领投

智能合约安全公司 Certora 完成3,600万美元 B 轮融资，本轮融资由 Jump Crypto 领投，Galaxy Digital、Coinbase、Tiger Global 等参投。 Certora 旨在帮助开发人员在部署代码之前检测和防止安全错误。该公司的 Prover 工具旨在补充人工审计和漏洞赏金。Certora 目前仅处理与以太坊虚拟机（EVM）兼容的区块链，下一个重点是扩展对 Solana 的支持，然后进一步扩展到 Polkadot。