官方消息，OKExChain首批自动做市协议CherrySwap已于近日成功通过区块链安全服务公司CertiK的安全审计，并出具审计报告。审计过程中，CertiK团队利用形式化验证技术为CherrySwap提供了全面、严格的安全审计，演绎推理所有可能的场景，证明“漏洞不存在”，综合评估无风险。 据介绍，Certik是币安投资的全球网络安全服务公司，旨在通过形式化验证技术为区块链等软件系统提供最高等级的安全解决方案，截止目前，已为200+企业提供了优质服务，成功保护了700亿+RMB的数字资产与软件系统安全。
本文地址： https://www.xiguacaijing.com/kuaixun/2021/35965.html 生成分享图
赞助商