CertiK获OKEx最佳安全审计伙伴奖

浪花财经浪花财经 新闻 2018年7月23日
1.90W 0
在2018OKEx产业共赢大会上，CertiK荣获最佳安全审计伙伴奖项。CertiK是美国形式化验证公司，专注于以深度规范技术（DeepSpec）验证智能合约安全，提供安全审计服务。目前，CertiK

在2018OKEx产业共赢大会上，CertiK荣获最佳安全审计伙伴奖项。CertiK是美国形式化验证公司，专注于以深度规范技术（DeepSpec）验证智能合约安全，提供安全审计服务。目前，CertiK已成为多家交易所指定代码审计机构并达成战略合作关系，并对数十家区块链项目完成了严格的代码审计服务。

生成图片
♥赞10
交易所(3011)区块链(9086)

相关文章

发表评论

CertiK获OKEx最佳安全审计伙伴奖

星期一 2018-07-23 11:51:06

在2018OKEx产业共赢大会上，CertiK荣获最佳安全审计伙伴奖项。CertiK是美国形式化验证公司，专注于以深度规范技术（DeepSpec）验证智能合约安全，提供安全审计服务。目前，CertiK已成为多家交易所指定代码审计机构并达成战略合作关系，并对数十家区块链项目完成了严格的代码审计服务。