官方动静,OKExChain首批自动做市协议CherrySwap已于克日乐成通过区块链安详处事公司CertiK的安详审计,,并出具审计陈诉。审计进程中,CertiK团队操作形式化验证技能为CherrySwap提供了全面、严格的安详审计,演绎推理所有大概的场景,证明“裂痕不存在”,综合评估无风险。据先容,Certik是币安投资的全球网络安详处事公司,旨在通过形式化验证技能为区块链等软件系统提供最高品级的安详办理方案,截至今朝,已为200+企业提供了优质处事,乐成掩护了700亿+RMB的数字资产与软件系统安详。 郑重声明:本文版权归原作者所有,转载文章仅为传播更多信息之目的,如作者信息标记有误,请第一时间联系我们修改或删除,多谢。