融资新闻|智能合约安全公司Certora完成3600万美元B轮融资，JumpCrypto领投

转载

956 天前

5113

Captain Hiro

文章转载来源：Captain Hiro

内容要点：

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 表示：