首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往

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) 企业级安全服务

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

  • 发表于:
  • 原文链接https://kuaibao.qq.com/s/20190102B0TYAB00?refer=cp_1026
  • 腾讯「腾讯云开发者社区」是腾讯内容开放平台帐号(企鹅号)传播渠道之一,根据《腾讯内容开放平台服务协议》转载发布内容。
  • 如有侵权,请联系 cloudcommunity@tencent.com 删除。

扫码

添加站长 进交流群

领取专属 10元无门槛券

私享最新 技术干货

扫码加入开发者社群
领券