内容要点：

• Certora 在 Jump Crypto 领导的 B 轮融资中筹集了 3600 万美元的资金，Tiger Global 和 Galaxy Digital 也参与了此轮融资
• 这家位于以色列的公司为区块链智能合约提供安全分析工具

据 The Block 5 月 17 日报道，为智能合约提供安全分析工具的以色列公司 Certora 宣布，它在 Jump Crypto 领导的 B 轮融资中筹集了 3600 万美元的资金。

根据该公司于本周二发表的一份声明显示，本轮融资的参与者包括 Tiger Global、Galaxy Digital 和现有的 A 轮投资者，包括 Electric Capital、ACapital、Framework Ventures、Coinfund、Lemniscap、Coinbase 和 VMware。

区块链安全漏洞在今年成为头条新闻，一些漏洞造成了九位数的经济损失。其中包括区块链桥梁 Wormhole 的 3.26 亿美元和 Ronin Network 的 6.25 亿美元，Ronin Network 是流行的玩赚游戏 Axie Infinity 的基础设施。

Certora 使智能合约开发者能够在部署代码后的审计之前发现错误。该公司发表的声明表示，包括 Aave、Balancer、Compound Finance、MakerDao、Sushi 等在内的 DeFi 协议使用 Certora 来保护他们的智能合约在启动前免受错误的影响，作为代码审计完成后的最后检查点。

Certora 目前只处理与以太坊虚拟机（EVM）兼容的区块链。下一个重点是将支持扩展到 Solana，然后进一步向波卡进行分支。

该公司表示，它为大约 500 亿美元的去中心化金融（DeFi）项目提供保障，其技术类似于用于航空电子软件等安全关键程序的技术。Certora 的技术是通过二十年的形式验证和编程语言的学术研究开发出来的。

Jump Crypto 的合伙人兼投资主管 Saurabh Sharma 表示：

在世界级专家的支持下，Certora 利用形式验证来采用一套可扩展和强大的产品，提供更高的可重用性和细化测试。

Certora 由特拉维夫大学计算机科学系主任 Shmuel Sagiv 领导，他是形式验证的先驱，该研究领域是 Certora 背后技术的动力。

Cetora 的 65 人团队拥有丰富的数学和安全经验，包括来自康奈尔大学和华盛顿大学的讲师，以及来自摩根大通等传统金融公司的安全工程师。