CertiK与多家
交易所达成战略合作。最近，腾讯安全联合知道创宇发布了《2018上半年
区块链安全报告》。该报告显示，由于区块链的机制安全、生态安全和使用者安全，经济损失分别为12.5亿、14.2亿和0.56亿美元，总计高达27亿美元。各种因素导致的安全事件仍在增加。构建安全可靠的区块链生态变得越来越紧迫。在此背景下，8月5日13:00，CertiK联合创始人顾荣辉在“创始学习群”上做了名为“CertiK，构建安全可靠的区块链生态”的分享。他表示，尽管区块链世界存在着频繁的安全事故，传统的安全技术难以满足要求。CertiK采用形式化验证将智能
合约转化为数学模型，通过逻辑推理演算来验证模型以证明智能合约的安全性。目前，CertiK正在努力自动化智能合约的验证工作，提高验证速度，减少人工介入。 CetiK的安全验证服务已经与多家交易所达成战略合作，如
火币、OKEx、Fcoin、Gate、KuCoin和币信等。同时，CertiK还与NEO、星云、本体、Quarkchain等平台方达成安全战略合作。
热点：区块链
非小号行情