 产品分类
站内搜索 友情链接
|
CertiK完成对USDK智能合约的形式化验证安全审计
详细内容
CertiK完成对USDK智能合约的形式化验证安全审计
据CertiK官方消息，USDK智能合约顺利通过CertiK的形式化验证安全审计，确认其合约安全无漏洞。 USDK作为虚拟货币与法币兑换的桥梁，由OKlink联合Prime Trust共同发行，是基于区块链和信托牌照的稳定币。目前USDK已融入OK生态，以合规透明为主打目标，开启了稳定币新模式。CertiK专家团队表示，形式化验证表明USKD代码的规范和设计整体优良，本次安全审计可有效帮助USDK更好的规避风险，实现其成为安全、可靠的合规稳定币的目标。迄今，CertiK利用其行业领先的形式化验证技术，已成功保护累计超过43亿美元的资产免受损失。  OKEx已支持点卡抵扣币币杠杆利息，系统自动进行抵扣OKEx今日起已支持点卡抵扣币币杠杆利息，用户币币账户中有可用点卡时，系统将在每小时计息时自动进行抵扣。此外，币币杠杆交易已支持点卡抵扣交易手续费。Bitfinex的基于ETH的交易平台Ethfinex Trustless将推出OTC交易据cointelegraph报道，Bitfinex的基于ETH的交易平台Ethfinex Trustless将推出OTC交易，Ethfinex Trustless的OTC交易不设KYC（了解您的客户）或注册过程
推荐相关信息：
|