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

今日，USDK智能合约已经顺利通过 Beosin成都链安的全方位安全审计，并确认合约安全无漏洞。

在此期间，USDK智能合约接受了成都链安全面、严格的形式化验证审计，代码运行状态良好，实现了技术功能与设计预期的高度结合，并获得了成都链安官方优秀合约的安全报告。

据悉，USDK是基于区块链和信托牌照的稳定币，是由OKLink和Prime Trust联合推出的ERC-20数字资产，在以太坊区块链上运营。USDK本次采用成都链安提供的形式化验证审计服务，提前帮助USDK团队更好的规避风险，为智能合约安全加上双保险。

后续，双方团队还将建立更为深入的战略合作，携手共创更加安全的区块链环境。

欢迎大家体验：

一、智能合约自动形式化验证平台VaaS精简版，准确率达到95%以上

Beosin（成都链安科技）已向全球发布VaaS平台，全球首个同时支持ETH、EOS、Fabric、ONT、TRON等多个区块链平台的智能合约形式化验证平台，准确率达到95%以上。

VaaS（精简版）系统为所有区块链从业者提供方便而免费的智能合约安全审计服务，对智能合约安全漏洞进行形式化验证，从容应对常规合约安全问题。欢迎大家登陆官方网址体验：

官方网址：

https://beosin.com/vaas/index.html#/audit/ptsj

▲VaaS 精简版平台