项目简介
Certora 是一家智能合约安全公司,旨在帮助开发人员在部署代码之前检测和防止安全错误。 . Certora 拥有称为 Certora Prover 的独特技术,能够在编译时检查智能合约的所有执行是否满足一组安全规则。
项目概览
标签
总融资额
$43,200,000.00
成立日期
2019
投资机构
Jump Crypto, Electric Capital, Galaxy Digital, Framework Ventures, Coinbase Ventures, Lemniscap, VMware, Stani Kulechov, Eli Ben-Sasson, Tiger Global, Hypersphere Ventures, Electric Capital, CoinFund, A.Capital, Semantic Ventures, Elad Gil, Balaji Srinivasan, Uri Kolodny
社交媒体
数据来源
加载中...
鼓狮快讯
加载中...