成都链安科技CEO &创始人杨霞：解决智能合约的安全问题，形式化验证是个“利器”！

2018年6月3日，由中国IT技术社区优快云和专注以太坊生态建设的领先企业灵钛科技主办，以太坊爱好者社区、柏链道捷、火星财经、金色财经、Unitimes、区块链大本营协办的「2018以太坊技术及应用大会·中国」在北京·悠唐皇冠假日酒店举行，此时演讲已过半，但精彩始终不停歇！

本次大会围绕以太坊生态、以太坊核心技术、以太坊优质应用展开，邀请了众多国内外顶级开发者、以太坊团队核心成员以及顶级项目负责人针对以太坊展开深入探讨。

涉足智能合约领域，成都链安科技CEO &创始人杨霞在分享中带来了《面向以太坊的智能合约形式化验证平台VaaS》的主题演讲。

很长一段时间内，经常爆出很多区块链系统、交易所系统、钱包系统存在问题，由于过多在关注区块链带来的商业机会，很多人也就慢慢对安全问题掉以轻心了。

其实，早在4月底，成都链安科技研发的区块链形式化验证平台VaaS检测发现，“基于EOS区块链的代币合约同样可能存在BEC代币合约类似的整数溢出漏洞。”

对此，成都链安科CEO &创始人杨霞现场话说VaaS验证平台。

在《面向以太坊的智能合约形式化验证平台VaaS》的主题演讲中，杨霞表示，形式化验证方法是目前更完备的解决安全问题的方法，但是难度高且门槛也不低。

基于这种技术，VaaS平台经过一年半左右时间研制出的形式化验证平台，是采用了多种形式化的技术开发的一套面向多个区块链的平台，“减少人工干预，更多由机器完成”需要被强调。