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

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 表示:
    
在世界级专家的支持下,Certora 利用形式验证来采用一套可扩展和强大的产品,提供更高的可重用性和细化测试。

    Certora 由特拉维夫大学计算机科学系主任 Shmuel Sagiv 领导,他是形式验证的先驱,该研究领域是 Certora 背后技术的动力。
    Cetora 的 65 人团队拥有丰富的数学和安全经验,包括来自康奈尔大学和华盛顿大学的讲师,以及来自摩根大通等传统金融公司的安全工程师。