用户手册 | 支持TRON公链的智能合约验证平台——VaaS，准确率达到95%以上！

随着波场TRON生态建设的逐步扩张，越来越多开发者开始关注TRON公链，为了让TRON公链生态更安全，从服务全面和服务保障上最大程度的保证用户利益，真正树立起安全围城，Beosin（成都链安）智能合约形式化验证平台VaaS已正式支持TRON公链的智能合约验证。 广大区块链从业者可进入下方链接，免费使用智能合约安全审计平台VaaS（精简版）： http://www.lianantech.com 产品

>>阅读原文<<