成都链安科技周报10月27日—11月2日

金九银十过完，迎来了11月冬季的时令，寒冬渐渐进入我们的生活，可是奋斗的人儿依然每天坚持努力在工作的第一线，忙碌且快乐着~

比如成都链安科技全体团队，自从上周公司搬迁至南边天府软件园后，市场、运营、技术等各个部门的而工作效率都有了全面提升。

下面请看本周周报的详细内容：

-01-

重大事件

链安（Beosin）受邀出席成都第一届Block Club区块链创投大会

2018年10月30日，由布洛克科技联合BTC123主办的Block Club区块链创投大会在成都软件园举办。

本次活动以“把握风口机遇，保障区块链安全”为主题，邀请知名区块链自媒体、业内投资者、知名专家学者、甚至跨界专家，联合探讨在区块链未来应用的发展方向与安全趋势，现场座无虚席。

成都链安科技（Beosin）作为为区块链资产保驾护航的国内一线安全公司，公司CMO高子扬受邀出席了本次大会，现场与项目方、投资方以及行业媒体分享了自己对区块链安全行业的见解，探讨了智能合约对于项目方、公链以及交易所的重要性，也是未来区块链重要的发展趋势。

成都链安科技（Beosin）专注于区块链全生态安全，高子扬也在本次大会晚宴期间为在场嘉宾详细介绍了公司自主研发的“一键式”自动形式化验证产品VaaS，得到了现场嘉宾们的一致好评。

蓝链盟专访成都链安科技CEO杨霞

由全国大学生区块链爱好者组成的联盟“蓝链盟”近期对成都链安科技CEO杨霞进行了专访，解答了很多对区块链安全关注的名校大学生疑问，诸如：

1、智能合约漏洞的危机有哪些？

2、什么是形式化验证？

3、类似SMT的这种漏洞是否可以提前发现？

4、什么是VaaS，工作原理是什么？

5、国内一线区块链安全公司，其核心竞争力是什么？

-02-

公司合作

成都链安科技与币快报达成战略合作

11月2日，成都链安科技与币快报达成战略合作，双方将在DAPP开发，内容生态，安全审计等方面形成资源互换。成都链安科技专注于区块链生态安全领域，其核心技术为形式化验证，是国内最早一家将此技术应用到区块链安全领域的公司。

▲币快报是面向全球用户的区块链媒体&社区平台，也是亚太地区增长速度最快的区块链媒体平台之一。