以色列智能合约安全分析公司Certora完成3600万美元B轮融资
总部位于以色列的智能合约安全分析工具提供商Certora近日宣布完成3600万美元B轮融资。本轮融资由Jump Crypto领投,Tiger Global、Galaxy Digital以及Electric Capital、ACapital、Framework Ventures、Coinfund、Lemniscap、Coinbase和VMware等现有A轮投资者跟投。
智能合约安全领域的创新者
Certora为智能合约开发者提供在代码部署前检测错误的能力。据公司声明,包括Aave、Balancer、Compound Finance、MakerDao、Sushi等在内的DeFi协议都将Certora作为完成代码审计后的最终检查点,以确保其智能合约在发布前没有漏洞。
该公司表示,其采用类似于航空电子软件等安全关键程序的技术,已经为价值约500亿美元的DeFi项目提供安全保障。Certora的技术建立在二十年来形式化验证和编程语言学术研究的基础上。
专家团队与技术优势
Jump Crypto的合伙人兼投资主管表示:"Certora由世界级专家提供支持,利用形式化验证技术开发了一套可扩展且稳健的产品,提供了更高的可重用性和粒度测试。"
Certora由特拉维夫大学计算机科学系主任、形式化验证领域先驱Shmuel Sagiv领导。公司65人团队拥有丰富的数学和安全经验,包括康奈尔大学和华盛顿大学的讲师,以及来自摩根大通等传统金融机构的安全工程师。
Certora的持续创新和强大技术实力,使其在智能合约安全领域保持领先地位,为DeFi生态系统的安全发展提供了重要保障。