VaaS 之“成长史”

成都链安

于 2019-04-22 14:32:26 发布

阅读量372

点赞数

本文链接：https://blog.csdn.net/CDLianan/article/details/89464555

版权

640?wx_fmt=png

吾家有儿初长成，望齐成龙亦平安。

前不久Beosin成都链安度过了一周岁生日，现在我们的核心产品自动化的智能合约形式化验证平台VaaS也将迎来上线一周年。

从VaaS 的研发到VaaS 1.0的发布，到VaaS 2.0的发布，再到VaaS-ONT的发布，真可谓是“吾家有儿初长成”。我们Beosin成都链安的创始人杨霞就像看着自己孕育的孩子降临于世，再一点点成长起来。看着VaaS的成型、发布上线、不断更进，成为全球该领域广受用户认可的智能合约形式化验证平台，我们都感到油然欣慰。

为表心中满满的欣慰之情，表达对VaaS 这个“孩子”的爱意，我们为它做了一本“成长记录簿”。

01诞生

640?wx_fmt=png

VaaS 1.0 产品界面

2016年6月，以太坊第一个安全漏洞发生，The DAO事件爆发。

这次事件让原来主要做军事领域安全关键系统方面研究的杨霞看到区块链作为一个有着大量数字货币交易的平台，其所面临的安全问题及其带来的严重后果不亚于军事等安全关键系统。她意识到了区块链智能合约的安全也需要有专门的技术人员来提供安全保障。

基于原来在形式化验证方面的研究成果和经验，她作出了设想：形式化验证作为一种大家公认的提高安全关键软件功能正确性和安全性的并且在军事、航空、航天等安全关键系统中得到了应用的有效手段，可与区块链安全相结合。

于是自2016年下半年，她就开始尝试用形式化验证的方法提高智能合约安全性。

2018年3月，分布式资本团队在看完VaaS验证平台原型后决定投资，Beosin成都链安由此成立。

2018年6月，自动化的智能合约形式化验证平台VaaS 1.0 发布正式上线。

02成长

640?wx_fmt=png

VaaS的诞生即受到了国家、资深媒体以及大众的认可。

VaaS 1.0上线当年同月，工信部发布了《2018中国区块链产业白皮书》，在“区块链安全保护”章节中，详细介绍了成都链安科技的VaaS平台。成都链安科技的形式化验证得到了国家级的肯定。

随后，于“2018以太坊技术及应用大会”、巴比特在浙江乌镇举办的“2018世界区块链大会”、“共享·共创·共赢——2018 OKEx 产业共赢大会”、“2018 BCEA世界区块链创业联盟高峰论坛—成都站”等重要会议上，VaaS 平台都受到了高度的关注、支持与认可。

VaaS 平台同时也在不断地完善更新中，得到了进一步成长，2018年9月 VaaS 2.0 发布，安全检测准确度达到95%以上，成为标准的智能合约安全检测平台。

640?wx_fmt=jpeg

VaaS 2.0 移动版界面

正是在2018年9月，在万向第四届全球区块链峰会上，VaaS平台受到了以太坊创始人Vitalik的高度赞扬。

接下来，在2018年最后的几个月中，Beosin成都链安继而推出智能合约自动形式化验证平台VaaS-ETH精简版。在这段成长历程中，VaaS 平台也在区块链数字媒体 CoinDesk 于新加坡举办的“重量级区块链技术峰会 Consensus 共识大会”，由中国信息通信研究院、中国通信标准化协会联合主办，国际电信联盟、可信区块链推进计划的“2018年可信区块链峰会”中都受到了参会嘉宾的高度认可。

2019年，新的一年，新面貌，VaaS平台继续“成长”：4月， VaaS-ONT正式上线，助力本体智能合约安全。

640?wx_fmt=png

VaaS-ONT产品页面

这里敲黑板！划重点！最新推出的VaaS-ONT 是2018年上半年Beosin成都链安与本体达成协作后，潜心研发的面向本体链平台的自动形式化智能合约验证平台，智能合约安全监测精度达到95%以上，现已在本体智能合约集成开发环境“SmartX-IDE”中集成，并得到本体用户的好评。

03 未来

640?wx_fmt=jpeg

现如今，距VaaS开始研发已有两年多，距VaaS平台正式上线已近一年，VaaS平台安全服务领域不断扩展，与主流交易所、公链、钱包、技术公司、项目方等多个行业的客户展开合作,包括Huobi、OKEx、KuCoin、CoinBene、CoinTiger、ONT、Qtum、比原链、Wanchain、BOS、Scry、布比区块链、云象区块链、QuarkChain、IoTeX、麦子钱包、EOSPark等50多家，为不同行业的企业及用户提供了可靠的从安全开发到形式化验证的全方位解决方案。

现Beosin成都链安已经累计审计智能合约超500份，独立发现区块链安全漏洞几十种，获得业界及广大客户的一致好评和认可。

未来，VaaS平台将继续前行，不断完善，不断拓展更多服务领域，用高度自动化智能合约形式化验证提升智能合约、区块链应用的安全性、稳定性和功能正确性，真正为用户构建区块链生态模式的纵深防御产品和服务,为企业安全发展保驾护航，为区块链生态安全敬献力量。

请与Beosin 成都链安一同期待“VaaS” 这个“孩子”最终成“龙”——成为区块链生态安全的最佳守护骑士。

欢迎大家体验：

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

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

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

官方网址：

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

640?wx_fmt=jpeg

▲VaaS 精简版平台

二、在线 Beosin-IDE 免费版本

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

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

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

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

640?wx_fmt=jpeg

▲Beosin EOS-IDE

Beosin官方发表正式声明：

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

640?wx_fmt=jpeg

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

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

成都链安科技官方网址：

www.lianantech.com

——Beosin

640?

关于Beosin：

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

公司首批入选Etherscan智能合约审计推荐名单及普华永道创新加速器，荣获全国首届中小微企业SaaS应用创新创业大赛冠军，获得OKEx最佳安全审计合作伙伴奖等荣誉，参加工信部多项区块链安全标准的撰写，入选工信部“2018区块链白皮书”，作为唯一安全公司入选“2018中国区块链企业百强榜”，荣膺金色财经“2018年度最专业安全服务机构”、“2019中国区块链安全领军企业”称号，荣获火星财经“最佳区块链数据安全团队”奖项，成为2019年区块链技术与数据安全工业和信息化部重点实验室成员单位。已与Huobi、OKEx、KuCoin、LBank、ONT、Qtum、比原链、Wanchain、BOS、Scry、布比区块链、云象区块链、QuarkChain、麦子钱包、EOSPark等共计超过50家区块链公司建立战略合作关系，审计报告被国内外各大知名交易所认可，为助力本体智能合约安全发布形式化验证平台VaaS-ONT。公司审计智能合约超500份，独立发现区块链安全漏洞几十种，获得行业及客户的一致好评和认可。让区块链生态更安全，是我们的美好愿景！

640?wx_fmt=jpeg