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