PANews 5月17日消息，据TheBlock报道，以色列智能合约安全分析工具 Certora 完成 3600 万美元 B 轮融资，Jump Crypto 领投，其他参投方包括 Galaxy Digital、Electric Capital、ACapital、Framework Ventures、CoinFund、Lemniscap、Coinbase 和 VMware 等。据悉，Certora 由特拉维夫大学计算机科学系主任 Shmuel Sagiv 领导，其也是形式验证的先驱，目前 Certora 团队有 65 人。Certora 使智能合约开发人员能够在部署代码后审计之前检测错误。