7月20日上午，中国万向控股有限公司副董事长兼执行董事、上海万向区块链股份公司董事长兼总经理肖风莅临成都链安指导工作。

首先，肖总与成都链安的创始人&CEO杨霞、CTO郭文生、CMO高子扬进行了座谈会议。大家共同探讨了区块链的新发展，新思路。杨霞就公司成立以来的运营发展状况及战略规划向肖总进行了汇报，并展示了一年来的各项荣誉和成就。此外，还特别汇报了公司的各项产品研发进程。肖总，对成都链安针对区块链生态安全建立的完善的安全防御体系，表示高度认可。

接着，肖总亲自体验了公司主要的安全相关产品，智能合约自动形式化验证平台VaaS,智能合约在线集成开发工具Beosin-IDE，区块链安全态势感知系统Beosin-Eagle Eye，数字资产追溯系统等。他对成都链安在这么短的时间内，研发出多个国际领先的安全产品表示惊讶和赞扬，同时对公司高效、严格的安全服务态度和能力表示鼓励。

最后，肖总与公司全体成员合影留念。成都链安将砥砺前行、再接再厉，做好安全技术和产品研发，并继续为区块链行业提供高水平的安全服务，为区块链生态的安全稳定敬献力量。

欢迎大家体验：

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

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

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

官方网址：

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

▲VaaS 精简版平台

二、在线 Beosin-IDE 免费版本

Beosin-IDE 是一款免费的面向BOS、EOS区块链平台的智能合约在线集成开发环境，可同时支持合约开发、部署、测试和源码调试等功能的在线区块链应用开发集成环境。

欢迎大家免费体验：通过浏览器访问

https://beosin.com/BEOSIN-IDE/index.html#/

（如下图，推荐Chrome浏览器）。

▲Beosin EOS-IDE

Beosin官方发表正式声明：

为了全球化市场战略需要，公司发布全新英文品牌 “Beosin”。作为深耕区块链安全领域的公司，“Beosin”力求为行业保驾护航，以打造区块链全生态安全为宗旨，竭诚为客户提供包括智能合约安全审计、智能合约开发审计一条龙、钱包安全审计、DApp渗透测试、区块链平台安全检测、交易所安全服务、安全产品定制化服务、企业级安全服务等。但公司英文名称更名并不涉及业务架构或公司所有权变化。新品牌的Logo如下图：

近期，有XX链安科技与成都链安科技重名，且Logo及宣传语相似。成都链安科技是一家由分布式资本、界石资本、盘古创富投资的专门从事区块链安全的公司，与其他XX链安科技无任何关联。请大家认准成都链安科技唯一指定商标品牌，谨防上当受骗，一切消息以官网及官方公众号为准。

成都链安科技官方公众号名称：Beosin成都链安

成都链安科技官方网址：

www.lianantech.com

——Beosin

关于Beosin：

Beosin成都链安是一家专门从事区块链安全的公司，由从事航空、航天、军事安全领域10多年的，形式化验证技术专家电子科技大学杨霞、郭文生两位教授联合创立，团队核心员工由海外知名高校和实验室、具留学经历的教授、博士后、博士以及曾任职于阿里、华为等知名企业的精英组成。

是全球最早一批将形式化验证技术应用到区块链安全领域的团队，率先研发了国际领先、同时支持多个区块链平台（ETH，EOS，Fabric，蚂蚁BaaS、ONT、BCOS等）的智能合约自动形式化验证平台VaaS（准确率达到95%以上），并搭建了一站式区块链安全服务平台，建立了一整套“区块链安全开发—— 基于形式化验证的安全检测——运行时安全监控与防护”的完善安全防御体系，用户数已超过2万人，申请软件发明专利和著作权10多项，已审计智能合约近千份，审计链平台几十个，精通多个主流区块链平台。

目前成都链安已获得分布式资本、界石资本、盘古创富等著名投资机构的股权投资，与蚂蚁金服、普华永道、微众银行、ONT、NEO、Qtum、布比区块链、R3V等国内外60多家区块链企业，Huobi、OKEx、KuCoin、抹茶、链上等近百家数字货币交易所建立长期战略合作关系。

「Beosin」

作为Huobi、OKEx、KuCoin

CoinBene、CoinTiger等

著名交易所指定的合约审计公司。

入选Etherscan智能合约安全审计名单。

欢迎联系Beosin，了解智能合约安全审计

智能合约开发审计一条龙

钱包安全审计

DApp渗透测试

区块链平台安全检测

交易所安全服务

安全产品定制化服务

企业级安全服务

 ·

电话：028-83262585

网站：www.lianantech.com

邮箱：vaas@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

Telegram中文群：

https://t.me/LiananTech_cn

Telegram英文群：

https://t.me/LiananTech_en

微博：

https://weibo.com/u/6566884467

CSDN博客：

https://blog.csdn.net/CDLianan

知乎专栏：

点击了解更多