BEOSIN（成都链安）支持波场TRON公链

近期，Beosin（成都链安）智能合约形式化验证平台VaaS正式支持TRON公链的智能合约验证。

Beosin自主研发的“一键式”智能合约形式化验证平台VaaS，支持多种主流区块链平台（EOS，ETH，Fabric等）的智能合约验证，准确率高达95%以上。

目前Beosin已全新上线智能合约自动形式化验证平台（官方网址：

http://www.lianantech.com），为用户提供方便且免费的智能合约安全审计服务，对智能合约安全漏洞进行形式化验证，从容应对常规合约安全问题。

Beosin作为ONT、Qtum、比原链、Wanchain等10余家公链指定的安全合作伙伴，审计过的智能合约超过500份。通过对区块链底层技术和智能合约的深入研究，Beosin积累了丰富的区块链安全审计经验，将会为TRON公链上的智能合约、DApp提供从安全开发到形式化验证的全方位解决方案，推动波场生态及整个区块链生态安全的发展。