Certora 筹集了由 Jump Crypto 领投的 36 万美元 B 轮融资

17 年 2022 月 XNUMX 日 - 前后 2 分钟分钟阅读

Certora 是一家提供智能合约安全分析工具的以色列公司，在由 Jump Crypto 领投的 B 轮融资中获得了 36 万美元的融资。

根据周二发布的声明，Tiger Global、Galaxy Digital 以及 Electric Capital、ACapital、Framework Ventures、Coinfund、Lemniscap、Coinbase 和 VMware 等当前 A 轮投资者参与了本轮融资。

Certora 允许智能合约开发人员在审核后部署代码之前识别错误。声明称，Aave、Balancer、Compound Finance、MakerDao、Sushi 等 DeFi 协议使用 Certora 在发布前保护其智能合约免受错误影响。

据该公司称，它已使用与航空电子软件等安全关键系统中使用的技术类似的技术，获得了约 50 亿美元的去中心化金融 (DeFi) 项目。 Certora 的技术是二十年来形式验证和编程语言学术工作的成果。

Jump Crypto 合伙人兼投资主管 Saurabh Sharma 表示：“在世界一流专家的支持下，Certora 利用形式验证来采用一套可扩展且强大的产品，提供更高的可重用性和精细测试。”

Shmuel Sagiv 是特拉维夫大学计算机科学系主任，也是形式验证（支持 Certora 技术的学术主题）的先驱，也是该公司的创始人。

Cetora的65人团队包括来自康奈尔大学和华盛顿大学的学者，以及来自摩根大通等传统银行机构的安全工程师。

免责声明：本网站上的信息作为一般市场评论提供，并不构成投资建议。我们鼓励您在投资之前进行自己的研究。

加入CoinCu Telegram以跟踪新闻： https://t.me/coincunews

榛

CoinCu新闻