CertiK完成对USDK智能合约的形式化验证安全审计

区块链第一快讯 7x24 快讯
2019-06-04 14:24:38

 据悉,USDK智能合约顺利通过CertiK的形式化验证安全审计,确认其合约安全无漏洞。 USDK作为虚拟货币与法币兑换的桥梁,由OKLink联合Prime Trust共同发行,是基于区块链和信托牌照的稳定币。目前USDK已融入OK生态,以合规透明为主打目标,开启了稳定币新模式。CertiK专家团队表示,形式化验证表明USKD代码的规范和设计整体优良,本次安全审计可有效帮助USDK更好的规避风险,实现其成为安全、可靠的合规稳定币的目标。迄今,CertiK利用其行业领先的形式化验证技术,已成功保护累计超过43亿美元的资产免受损失。



本文地址: https://www.xiguacaijing.com/kuaixun/2019/8038.html 生成分享图
声明:本文经授权发布,除注明来源外,均为西瓜财经用户投稿,不代表西瓜财经立场。转载请注明:西瓜财经(xiguacaijing.com)
提醒:投资有风险,入市需谨慎。若内容涉及投资建议,仅供参考勿作为投资依据。谨防以“区块链”名义进行非法集资。

热度

赞助商

西瓜快讯

西瓜快讯

官方认证

全球7x24区块链财经快讯

相关推荐