链安科技杨霞专访：如何落实自主创新的国产安全产品？|算力波

嘉宾介绍

链安科技的创始人杨霞，作为形式化验证的专家，曾经为大型航空航天项目的形式化验证服务，主持过国家核高基，装发重大软件等近10项国家重大课题，发表学术论文30多篇，申请20多项专利。

纵观区块链安全领域，学院派与极客派基本是双足鼎立。相比于极客派的飘渺，学院派的“理论-课题-实践商用"发展脉络也是另一种独特的风格。

一路保送至博士的杨霞似乎并没有传统学者身上那种浓郁的“研究属性”；作为国内安全圈较“金贵”的女性CEO，支撑她砥砺前行的是专攻十九年安全领域的经验积淀；既是教授，同时她也带领着链安科技在区块链安全领域占据着重要的一席之地。

文艺女？教授！创业者！当这三种身份标签汇集于在一人身上的时候，作为采访者的我充满对这场专访的期待。算力波本期带您扒一扒”学院派安全卫士“杨霞背后的故事，以她的视角分享下学院派眼中的区块链网络安全。

不是

在路上、在酒店就是在活动中

“每次来上海的时候，不是在路上、在酒店就是在活动中。 ”杨霞感慨道。

杨霞高中的时候特别喜欢余秋雨和张爱玲的散文，用她自己的话说就是有着小资情调的文艺青年。书中描写上海的内容也曾一度让杨霞向往，但还没有感受过那里片刻小资生活的她，每一刻都和上海一样的繁忙。

“做老师的时候还好，创业以后你就再停不下来了，但是我喜欢这样忙碌的生活。 ”杨霞笑道。

我想没有任何人不好奇，在获得各项研究荣誉之后，杨霞为什么选择的是创业这条路。面对这样的问题，杨霞给出了两个原因。

杨霞回忆道，“读书那会我就是一个闲不下来的活跃分子。高中就上过电视台，也曾创立了当地第一届由学生主导的报纸，组织类似联谊的活动、还四处和同学一起拉赞助”。

说到这里，杨霞不禁笑了起来。从事安全领域十九年之久的她如今看起来依旧有着一颗赤子之心。

“第二个原因是我们电子科技大学的优良传统。学校注重产学研，也鼓励我们走出去，把更好的价值带向社会。我们实验室从1999年就开始创业。我的导师在互联网时代之际亦是如此。 ”她补充道。

在区块链安全引入类军事级形式化验证

“在投身区块链安全之前，我从事多年航空、航天、军事领域形式化验证的安全工作。不知不觉，在安全领域快20年了。 ”杨霞不免感慨道。

据瑞波我了解，形式化验证这套方法原来一直在军事领域，或者是比较尖端的安全管理软件里应用，比如导弹控制、战斗机的控制系统。它对代码自身的安全性和正确性的保障是非常好的一种手段。

被问及进入到区块链安全领域的原因，杨霞说真正引起她注意区块链安全的是源自2016年以太坊theDAO漏洞。她发现市面上八成以上的智能合约或多或少的存在着安全问题。它们可能是条件漏洞、逻辑判断错误、代币授权错误、整型溢出漏洞、拒绝服务攻击等数十个漏洞。有着多年形式化验证安全经验的杨霞认为她需要站出来。

将代码变成公式，用严谨的逻辑验证代码的准确性，从而减少程序员人为犯错而产生的BUG。经过形式化验证的智能合约可以追踪和验证，可以起码杜绝近九成的错误。

这也就是Beosin-VaaS，杨霞带领链安科技以十数年经验打造，用于区块链安全防护的一个重要工具。