智能合约安全公司
@Certora
* 不可點擊時,表示無詳細資料展示
Certora 是一家智能合约安全公司,旨在帮助开发人员在部署代码之前检测和防止安全错误。 . Certora 拥有称为 Certora Prover 的独特技术,能够在编译时检查智能合约的所有执行是否满足一组安全规则。
首席执行官
董事会成员
安全工程与研究技术主管
顾问和天使投资人
工作人员
高级技术研究员