用户手册 | 支持TRON公链的智能合约验证平台——VaaS，准确率达到95%以上！
随着波场TRON生态建设的逐步扩张，越来越多开发者开始关注TRON公链，为了让TRON公链生态更安全，从服务全面和服务保障上最大程度的保证用户利益，真正树立起安全围城，Beosin（成都链安）智能合约形式化验证平台VaaS已正式支持TRON公链的智能合约验证。
广大区块链从业者可进入下方链接，免费使用智能合约安全审计平台VaaS（精简版）：
VaaS（精简版）系统为所有区块链从业者提供方便而免费的智能合约安全审计服务，同时支持TRON、ETH等多个区块链平台的智能合约形式化验证，对智能合约安全漏洞进行形式化验证，从容应对常规合约安全问题，准确率达到95%以上。
· VaaS平台是全球首个同时支持TRON、ETH、EOS、Fabric等多个区块链平台的智能合约形式化验证平台
· 采用多种形式化验证方法，产品国际领先、国内第一
· 平台准确率达到95%以上
· “一键式”自动定位代码漏洞和Bug、精准检测和定位、效率高
· 从源码到字节码完备的形式化验证
· 合约设计、开发、安全审计一体化解决方案
VaaS精简版PC端中，注册用户可在“合约检测”页面中上传合约代码文件或复制粘贴合约源码，“一键式”智能合约常规漏洞形式化验证平台VaaS精简版将快速、准确的定位智能合约常规安全问题，真正实现了高效、便捷、标准化的审计流程。
但检测结果仅供参考，不能作为审计报告，如需要专业的审计报告，需联系Beosin在线商务进行专家审计。
▲VaaS 平台“合约检测”功能（PC端）
VaaS 精简版PC端为区块链从业者提供免费VaaS“一键式”智能合约形式化验证后，用户可到“我的合约”中查看检测结果。
▲智能合约形式化验证检测结果（PC端）
VaaS（精简版）PC端官方网址：
http://www.lianantech.com
通过对区块链底层技术和智能合约的深入研究，Beosin（成都链安）积累了丰富的区块链安全审计经验，同时将会为TRON公链上的智能合约、DApp提供从安全开发到形式化验证的全方位解决方案，推动波场生态及整个区块链生态安全的发展。
欢迎大家体验：
智能合约自动形式化验证平台VaaS精简版，准确率达到95%以上
Beosin（成都链安科技）已向全球发布VaaS平台，全球首个同时支持ETH、EOS、Fabric、TRON等多个区块链平台的智能合约形式化验证平台，准确率达到95%以上。
VaaS（精简版）系统为所有区块链从业者提供方便而免费的智能合约安全审计服务，对智能合约安全漏洞进行形式化验证，从容应对常规合约安全问题。欢迎大家登陆官方网址体验：
官方网址：http://www.lianantech.com
▲VaaS 精简版平台
Beosin官方发表正式声明：
为了全球化市场战略需要，公司发布全新英文品牌 “Beosin”。作为深耕区块链安全领域的公司，“Beosin”力求为行业保驾护航，以打造区块链全生态安全为宗旨，竭诚为客户提供包括智能合约安全审计、智能合约开发审计一条龙、钱包安全加固与审计、DApp安全加固与审计、区块链平台安全检测、交易所安全检测、企业级安全服务等。但公司英文名称更名并不涉及业务架构或公司所有权变化。新品牌的Logo如下图：
近期，有XX链安科技与成都链安科技重名，且Logo及宣传语相似。成都链安科技是一家由分布式资本、界石资本、盘古创富投资的专门从事区块链安全的公司，与其他XX链安科技无任何关联。请大家认准成都链安科技唯一指定商标品牌，谨防上当受骗，一切消息以官网及官方公众号为准。
成都链安科技官方公众号名称：链安科技
成都链安科技官方网址：
www.lianantech.com
——Beosin
关于Beosin：
Beosin（成都链安）成立于2018年，公司位于四川省成都市，专注于区块链生态安全。公司由杨霞和郭文生两位教授共同创建，团队核心成员由来自海内外知名高校和实验室留学经历的教授、博士后、博士及阿里、华为等知名企业精英组成。已获得分布式资本、界石资本、盘古创富等著名投资机构的两轮股权投资。其核心技术为形式化验证，是全球最早一批将此技术应用到区块链安全领域的公司。
公司首批入选Etherscan智能合约审计推荐名单及普华永道创新加速器，荣获全国首届中小微企业SaaS应用创新创业大赛冠军，获得OKEx最佳安全审计合作伙伴奖等荣誉，参加工信部多项区块链安全标准的撰写，入选工信部“2018区块链白皮书”，作为唯一安全公司入选“2018中国区块链企业百强榜”，荣膺金色财经“2018年度最专业安全服务机构”。已与Huobi、OKEx、KuCoin、LBank、CoinBene、CoinMex、CoinTiger、Becent、ONT、Qtum、比原链、Wanchain、Scry、布比区块链、云象区块链、QuarkChain、IoTeX、麦子钱包、EOSPark等共计超过40家区块链公司建立战略合作关系，审计报告被国内外各大知名交易所认可。审计智能合约超500份，独立发现区块链安全漏洞10余个，获得行业及客户的一致好评和认可。让区块链全生态更安全，是我们的美好愿景！
「Beosin」
作为Huobi、OKEx、KuCoin、LBank等
著名交易所指定的合约审计公司。
入选Etherscan智能合约安全审计名单。
欢迎联系Beosin，了解智能合约安全审计
智能合约开发审计一条龙
钱包安全加固与审计
DApp安全加固与审计
区块链平台安全检测
交易所安全检测
企业级安全服务
·
电话：028-83262585
网站：www.lianantech.com
地址：成都市世纪城南路599号
天府软件园D7座504室
官网：
https://www.lianantech.com
GitHub网址：
https://github.com/Lianantech/VCA
Facebook网址：
https://www.facebook.com/BeosinChengdu/
twitter网址：
https://twitter.com/Beosin_com
********中文群：
https://t.me/LiananTech_cn
********英文群：
https://t.me/LiananTech_en
微博：
https://weibo.com/u/6566884467
****博客：
https://blog.****.net/CDLianan
知乎专栏：
点击了解更多