Beosin总结2018骄人成绩＆展望2019全生态安全服务！

新

总结2018骄人成绩

总结2018，作为全球最早一批将形式化验证技术应用到区块链安全的团队，我们研发了全球精度最高的智能合约安全检测平台VaaS，与国内外的40多家区块链知名企业合作，审计的智能合约超过500份，独家发现区块链领域安全问题10多项，逐步得到行业的认可，成为区块链安全知名企业！

此外，我们还取得了如下成绩：

1

1) 2018年12月，正式进入并打开韩国、日本、印尼、新加坡等国际市场。

2

2) 2018年12月，参加全国首届中小微企业“SaaS”应用创新创业大赛（300多家企业参赛），勇夺冠军。

3

3) 2018年12月，首批入驻 EOSPark SEC 平台。

4

4) 2018年11月，进入普华永道成都创新加速器。

5

5) 2018年11月，加入网信办“中国区块链安全检测中心”，并提供技术服务。

6

6) 2018年11月，再获界石资本、盘古创富数百万美元天使轮投资。

7

7) 2018年10月，VaaS作为网信办区块链安全检测中心唯一技术提供商。

8

8) 2018年10月，Beosin参与ITU区块链安全标准的制定。

9

9) 2018年9月，受邀在万向第四届全球区块链峰会演讲，VaaS平台得到Vitalik的高度赞扬。

10

10) 2018年9月，发布自动化的智能合约验证平台VaaS-2.0，同时支持ETH，EOS，Fabiric等多个区块链平台，安全检测准确度达到98%，为智能合约提供标准的安全审计平台。

11

11) 2018年9月，参加工信部多个区块链安全标准和白皮书的撰写。

12

12) 2018年8月，受邀参加可信区块链推进计划项目组研讨会。

13

13) 2018年7月，作为首批入选Etherscan智能合约安全审计推荐名单的中国公司。

14

14) 2018年7月，获得OKEx最佳安全审计合作伙伴奖。

15

15) 2018年6月，发布自动化的智能合约形式化验证平台VaaS-1.0，是全球首个同时支持EOS、以太坊的合约安全审计平台。

16

16) 2018年5月，首批与火币、OKEx等交易所建立合作关系，为其提供安全服务。

17

17) 2018年5月，入选工信部《2018区块链白皮书》。

18

18) 2018年4月，全球首个发现EOS智能合约安全漏洞。

19

19) 2018年4月，获得分布式资本种子轮投资。

新

展望2019全生态安全服务

展望2019年，我们将继续深耕区块链安全技术领域，深入打造多个区块链安全产品，并为区块链行业做好全生态安全服务：

01

1) 智能合约安全审计

基于VaaS“一键式”形式化验证技术进行ETH、EOS、Fabric等平台的智能合约安全审计，并出具各大交易所认可的安全审计报告。

2

2) 智能合约开发审计一条龙

根据用户需求开发安全的智能合约，并出具安全审计报告。

03

3) 钱包安全加固与审计

提供区块链去中心化钱包安全加固、安全设计和安全审计服务。

04

4) DApp安全加固与审计

面向多区块链平台（ETH、EOS、Fabric等）提供专业的DApp安全加固、安全设计和安全审计。

05

5) 区块链平台安全检测

为区块链平台提供白盒、黑盒混合安全检测服务。

06

6) 交易所安全检测

提供交易所网站渗透测试审计服务。

07

7) 企业级安全服务

面向企业和区块链行业应用提供特定的安全解决方案和服务。