Vitalik莅临成都链安科技公司展台并竖起了大拇指！

昨天，以太坊创始人Vitalik Buterin在上海外滩W酒店举行的“2018上海区块链国际周”上发表了演讲，Vitalik对以太坊的一些先进技术做了报告，同时提到了区块链安全问题的重要性。

Vitalik Buterin在峰会演讲

演讲后，Vitalik 莅临成都链安科技展位，参观了成都链安科技研发的智能合约自动形式化验证平台VaaS的产品，并且和我们的技术小伙伴进行了长时间的技术交流和讨论！

成都链安科技CEO杨霞及技术团队与V神交流

成都链安科技CEO杨霞及技术团队给Vitalik 介绍了VaaS平台的架构、功能以及优势，并现场展示了VaaS平台对智能合约安全验证的过程。杨霞给Vitalik 详细讲解了VaaS平台：VaaS平台采用多种形式化验证方法和数学模型，为智能合约和区块链应用提供形式化验证服务，具有验证效率高、自动化程度高、人工参与度低、易于使用、支持多个合约开发语言、支持大容量区块链底层平台的形式化验证等优点。

VaaS“一键式”形式化验证工具，不仅可以做到精确定位到有风险的代码位置和风险原因，还能有效的验证智能合约或区块链应用的常规安全漏洞、安全属性和功能正确性。

Vitalik还现场亲自体验了VaaS-ETH产品的"一键式"形式化验证工具，对其高效,准确定位到以太坊合约的安全问题的功能，竖起了大拇指。同时感谢成都链安科技对以太坊安全生态作出的贡献，并且表示未来Ethereum官方可能和成都链安科技达成技术合作。

VaaS产品得到了V神的肯定及赞扬

除了Vitalik Buterin，近两天峰会期间还有很多国内外的区块链领域的投资方、项目方、媒体及区块链技术爱好者来到成都链安科技展位，了解公司最新成果，观看了VaaS平台产品演示，并进行了现场免费的产品体验。

成都链安科技展位

此次上海区块链国际周技术开放日顺利举行，成都链安科技与很多主流技术平台进行了深度的分享与交流，探讨了2018年及未来区块链的核心技术及发展方向，收获颇多。除此之外，我们也非常荣幸与以太坊创始人Vitalik Buterin进行了线下对话交流，我们深感肩上背负的区块链安全责任的重要性，在区块链“凛冬”的大环境下，成都链安科技将会潜心提升“内力”，深研区块链安全技术，迎接“凛冬”后的春天！