近日，有多个关心成都链安的媒体朋友及合作伙伴向我们反映，因北京链安有限公司名称与我司相近而引起混淆，多次将“北京链安”误认为“成都链安”。为避免公众因此造成损失，切实保护广大项目方及合作伙伴的利益，我司现作声明如下：

1、我司全称“成都链安科技有限公司”，品牌名“Beosin成都链安”，公司成立日期为2018年3月29日，位于四川省成都市，在其他地区均无分公司。而北京链安成立日期为2018年5月28日，与我公司没有任何关系。

2、我司专注于区块链生态安全，其核心技术为形式化验证，是全球最早一批将此技术应用到区块链安全领域的公司，自主研发出全球首个同时支持多区块链平台的智能合约形式化验证平台VaaS。已与Huobi、OKEx、ONT、Wanchain、布比区块链、麦子钱包等共计超过50家区块链公司建立战略合作关系。

3、我司官方网址为https://www.lianantech.com，安全产品平台https://www.beosin.com/#/，官方公众号为“Beosin成都链安”，官方邮箱为vaas@lianantech.com。

4、北京链安与我公司没有任何代工、代理、投资、控股、参股、授权许可等法律关系，也不是我公司的关联公司。请媒体朋友及合作伙伴们认清我们品牌名“Beosin成都链安”，若因公司名称混淆造成损失，我司概不承担任何责任。如有疑问，可致电028-83262585咨询。

我司特别提醒广大媒体及公众提高警惕，一切与Beosin成都链安相关的事项均以我司官网及公众号公告为准。

——Beosin成都链安官方声明

欢迎大家体验：

一、智能合约自动形式化验证平台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（成都链安）成立于2018年，公司位于四川省成都市，专注于区块链生态安全。公司由杨霞和郭文生两位教授共同创建，团队核心成员由来自海内外知名高校和实验室留学经历的教授、博士后、博士及阿里、华为等知名企业精英组成。已获得分布式资本、界石资本、盘古创富等著名投资机构的两轮股权投资。其核心技术为形式化验证，是全球最早一批将此技术应用到区块链安全领域的公司。

公司首批入选Etherscan智能合约审计推荐名单及普华永道创新加速器，荣获全国首届中小微企业SaaS应用创新创业大赛冠军，获得OKEx最佳安全审计合作伙伴奖等荣誉，参加工信部多项区块链安全标准的撰写，入选工信部“2018区块链白皮书”，作为唯一安全公司入选“2018中国区块链企业百强榜”，荣膺金色财经“2018年度最专业安全服务机构”、“2019中国区块链安全领军企业”称号，荣获火星财经“最佳区块链数据安全团队”奖项。已与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

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

知乎专栏：

点击了解更多