自选
我的自选
查看全部
市值 价格 24h%
  • 全部
  • 产业
  • Web 3.0
  • DAO
  • DeFi
  • 符文
  • 空投再质押
  • 以太坊
  • Meme
  • 比特币L2
  • 以太坊L2
  • 研报
  • 头条
  • 投资

免责声明:内容不构成买卖依据,投资有风险,入市需谨慎!

Certora宣布完成3600万美元B轮融资,Jump Crypto领投

2022-05-17 10:00:48
收藏

以色列智能合约安全分析公司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生态系统的安全发展提供了重要保障。

展开阅读全文
更多新闻