USDK智能合约顺利通过成都链安形式化验证安全审计

2019-06-04 USDK智能合约顺利通过成都链安形式化验证安全审计已关闭评论

今日,USDK智能合约已经顺利通过 Beosin成都链安的全方位安全审计,并确认合约安全无漏洞。在此期间,USDK智能合约接受了成都链安全面、严格的形式化验证审计,代码运行状态良好,实现了技术功能与设计预期的高度结合,并获得了成都链安官方优秀合约的安全报告。据悉,USDK是基于区块链和信托牌照的稳定币,是由OKLink和Prime Trust联合推出的ERC-20数字资产,在以太坊区块链上运营。USDK本次采用成都链安提供的形式化验证审计服务,提前帮助USDK团队更好的规避风险,为智能合约安全加上双保险。后续,双方团队还将建立更为深入的战略合作,携手共创更加安全的区块链环境。