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进行了线下对话交流,我们深感肩上背负的区块链安全责任的重要性,在区块链“凛冬”的大环境下,成都链安科技将会潜心提升“内力”,深研区块链安全技术,迎接“凛冬”后的春天!

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

扫码关注云+社区

领取腾讯云代金券