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

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