基本信息
Certora 是一家智能合约安全公司,旨在帮助开发人员在部署代码之前检测和防止安全错误。 . Certora 拥有称为 Certora Prover 的独特技术,能够在编译时检查智能合约的所有执行是否满足一组安全规则。
投资方
关键事件
2022-05-17
Certora 完成 3600 万美元B轮融资
2021-05-21
Certora 完成 720 万美元A轮融资
Certora 是一家智能合约安全公司,旨在帮助开发人员在部署代码之前检测和防止安全错误。 . Certora 拥有称为 Certora Prover 的独特技术,能够在编译时检查智能合约的所有执行是否满足一组安全规则。
2022-05-17
Certora 完成 3600 万美元B轮融资
2021-05-21
Certora 完成 720 万美元A轮融资