币安加密交易所使用CertiK自动扫描引擎(CASE)来提高安全性

币安斯希望将Certik的自动扫描功能整合到自己的平台上,以防止黑客入侵。

有了Certik自动扫描引擎,企业、交易所以及其他机构就不用再害怕了,因为它们可以很容易地识别出风险易发区,同时设计出消除风险的方法。

CertiK是一个区块链和智能合约验证和审计平台,提供了必要的措施来阻止区块链黑客。多年来,不同交易所不断遭到黑客攻击,导致政府对加密相关公司采取了严厉措施。

据CertiK group称,黑客已经减少了对加密货币的依赖,由于对智能合约的攻击,没有少于20亿美元的资金被运走。

值得注意的是,一个大型众筹项目The DAO损失了超过5000万美元。基于此,智能合约审计平台一直致力于通过研究降低平台攻击级别的审计和验证技术来消除风险。

有趣的是,以太坊领先的区块浏览器Etherscan将CertiK列为17个推荐的审计服务提供商之一。

币安正在部署的CertiK表示,与常规的安全审计服务提供商相比,CertiK有三大优势。其中对成熟的形式化验证框架、高可扩展性和高自动化进行了深入研究。

然而,出于安全考虑,CertiK表示,它不会通过CertiK的“自动扫描”过程来识别据称存在问题的令牌名称或漏洞位置。取而代之的是,CertiK参与这些项目,并帮助他们调查这些智能合约。

一旦解决了这个问题,CertiK将公开宣布有关检测到的漏洞、调查过程和实现的解决方案的细节。

与此同时,在币安上增加这种安全措施将防止可能导致巨大损害的安全漏洞。

当Certik在推特上谈论它的新开发时,Binance的首席执行官说这个想法很“酷”,Certik回复说:

文章分类 Binance消息