快速拍摄
- Certora 在由 Jump Crypto 领投的 B 轮融资中筹集了 3600 万美元，Tiger Global 和 Galaxy Digital 参与了该轮融资。
- 这家总部位于以色列的公司为区块链智能合约提供安全分析工具。
总部位于以色列的为智能合约提供安全分析工具的公司 Certora 宣布已在 Jump Crypto 领投的 B 轮融资中筹集了 3600 万美元。
根据周二的一份声明，该轮融资的参与者包括 Tiger Global、Galaxy Digital 和现有的 A 系列投资者，包括 Electric Capital、ACapital、Framework Ventures、Coinfund、Lemniscap、Coinbase 和 VMware。
Certora 使智能合约开发人员能够在部署代码后审计之前检测错误。 声明称，包括 Aave、Balancer、Compound Finance、MakerDao、Sushi 等在内的 DeFi 协议使用 Certora 来保护他们的智能合约在发布前免受错误，作为代码审计完成后的最终检查点。
公司表示它在分散金融 (DeFi) 项目中获得了约 500 亿美元的资金，其技术类似于用于航空电子软件等安全关键程序的技术。 Certora 的技术是通过在形式验证和编程语言方面的 20 年学术研究而开发的。
Saurabh Sharma，合伙人兼投资主管跳转加密，说：“在世界级专家的支持下，Certora 利用形式验证来采用一套可扩展且强大的产品，这些产品可提供更高的可重用性和细粒度的测试。”
Certora 由特拉维夫大学计算机科学系主任 Shmuel Sagiv 领导，他是形式验证的先驱，该研究领域为 Certora 背后的技术提供动力。
Certora 的 65 人团队拥有丰富的数学和安全经验，其中包括来自康奈尔大学和华盛顿大学的讲师，以及来自摩根大通等传统金融公司的安全工程师。
