成都链安杨霞：享受「多重身份」乐趣，为区块链竖起安全的盾牌

近期，DeFi 领域的多起安全事件给整个区块链行业敲响了安全的警钟。

事实上，在区块链还处于初期发展阶段的今天，区块链生态发展得越快速越是需要信息安全技术的保障，没有信息安全技术的保障，区块链生态也会存在很大的风险和不可控。

而在保障区块链生态安全的过程中，区块链安全公司的作用显得尤为重要。「区块链安全赛道是一条布满『荆棘』的道路，利用数字货币进行非法犯罪的事件屡见不鲜，黑客的攻击手段层出不穷，各种犯罪活动以及事件的涉案金额每年都在呈递增趋势渐长，这对于所有区块链安全公司都是极大的挑战」成都链安（ Beosin ）创始人兼 CEO 杨霞对 Blocklike 表示。

作为较早进军区块链安全领域的公司，成都链安做了哪些事情？面对日益严峻的安全挑战成都链安将怎样应对？杨霞又与区块链安全之间发生了哪些故事？

近日，Blocklike 采访了成都链安创始人杨霞，就上述问题展开了对话。

引入「军事级」形式化验证

一直以来，杨霞都被认为是区块链安全领域「嗅觉」灵敏的先行人。早在 2016 年，杨霞就在当时大热的人工智能与并不太显眼的区块链两个赛道中做出了选择，但与当时浩浩汤汤的区块链行业「淘金者」队伍不同，她早早地将视野聚焦在了区块链的安全研究上。

说起来比较凑巧，杨霞投身于区块链安全也与 DeFi 有关，「关于创立成都链安的契机，还要追溯到 2016 年，当时，区块链安全的相关生态设施构建并不完善，尤其是由于智能合约而引发的安全事件更是频繁发生，其所造成的巨大经济损失也令人堪忧。我至今还清楚地记得，真正引起我注意的事件是 2016 年以太坊平台被爆出 the DAO 漏洞」杨霞说道。

随后，在朋友的建议下杨霞对当时市面上八成以上的智能合约都开展了相关调研，发现它们或多或少都存在着诸如条件漏洞、整型溢出漏洞、逻辑判断错误、代币授权错误等问题，「这些安全问题如果不能得到解决，将会严重影响到区块链行业的发展」杨霞补充说。

瞄准突破口以后，杨霞开始寻找针对区块链领域安全问题的技术解决方案，最终在她一直钻研的形式化验证技术身上找到了答案。

杨霞向 Blocklike 说道：「在投身区块链安全领域之前，我从事了多年航空、航天、军事领域形式化验证的安全工作。在寻找区块链安全技术解决方案的过程中，我发现形式化验证这一技术就能够很好地应用在区块链领域的智能合约安全问题当中，为区块链行业带来『军事级』的安全检测。」

于是杨霞开始尝试将形式化验证技术引入区块链安全领域，并创立了成都链安，专注于区块链的安全研究。

那么形式化验证技术在区块链安全领域究竟是怎么运作的呢？

杨霞对此解释称：「形式化验证简单来说就是将各种可能出现的问题进行穷举。一般来说，传统意义上的验证手段，是无法把可能会出现的情况一一列举并进行验证的；但形式化验证则是可以穷举的，通过数学手段对代码建立数学模型，并证明是否存在任一可能的安全问题，最终尽可能地让区块链代码没有漏洞，以预防遭受黑客攻击。」

屡获资本青睐的「一站式」区块链安全服务平台

随着区块链技术的普及和应用的不断落地，越来越多的区块链项目被不怀好意的黑客们盯上，安全事件频繁发生。

数据显示，2019 年全球数字资产犯罪案件类型，包括黑客攻击盗币、诈骗、非法集资、洗钱、暗网非法交易等，总计损失超 80 亿美元。

与此同时，聚焦区块链生态安全建设进行发力的区块链安全公司也开始大批进场。

面对愈发激烈的竞争，杨霞表示成都链安的竞争优势可以分为两个部分，「个人层面，作为高校教授，「学院派」的身份让我能够更及时地捕捉到一些国家层面上的政策风向；公司层面，成都链安在区块链安全领域深耕多年，在技术上积累了一定的优势，公司面向区块链全生态安全打造的「 Beosin 一站式区块链安全服务平台」，是以形式化验证、网络安全、人工智能和大数据分析四大技术作为核心，能够为区块链系统提供『研发-运行-监管』的全生命周期安全解决方案」杨霞进一步解释称。

实际上，从资本角度来看，成都链安打造的「 Beosin 一站式区块链安全服务平台」的竞争优势确实得到了一定程度上的认可。

今年 2 月，成都链安宣布获得新一轮融资，这是继 2019 年 12 月获得数千万元战略投资后，成都链安三个月内拿到的第二笔融资。截至目前，成都链安已完成 4 轮融资，投资者中不乏前海母基金、联想创投、复星高科等知名投资机构的身影。

「我认为众多知名投资机构选择投资成都链安的原因有三个方面」，杨霞解释道：

第一，区块链行业经过多年发展，特别是在国家层面越发重视之后，越来越多的传统行业都开始了在区块链行业的布局。

第二，成都链安作为扎根于区块链生态安全建设的头部企业之一，积累了过硬的技术实力、优秀的产品与服务，以及行业一致好评的口碑。

第三，这些行业知名的投资机构对于成都链安的使命都能予以认同，同时也比较看好成都链安的未来发展前景。

值得一提的是，在杨霞看来，竞争发展是一方面，但是凡是扎根在区块链生态安全建设的企业都是值得人们尊敬的，因为不管是对于成都链安还是其他的区块链安全平台来说，都需要作为区块链安全领域的「盾牌」。

杨霞与她的「多重身份」

此前，创业邦发布了一份《 2020 年最值得关注女性创业者名单》，杨霞与其他 19 位从事技术创新相关行业的女性创业者一同上榜，让杨霞受到了更多的关注。

对此杨霞表示：「虽然在当下的创业队伍中，女性创业者并不占多数，但我始终认为，巾帼不让须眉，女性创业者也能够凭借自身的努力，赢得不逊于男性创业者的关注和掌声。」

「但就区块链领域来说，其实大家并不是特别在乎创业者本身的性别，大家更关注的是你的项目好不好，你的技术实力够不够硬，还有公司的产品和服务是不是能够真正解决行业痛点。作为女性创业者，如何平衡事业和家庭的关系是我目前比较焦虑的事情」杨霞补充说。

事实上，杨霞身上的标签远不止一个创业者，她常年在创业者、教授、技术从业者、母亲等「多重身份」中来回切换。

「对于我所担任的多重身份，其实我还是非常乐在其中的，虽然忙碌是必然的，但这些身份都给我带来了不同的成就感。作为教授，我认为是在「打磨」学生；作为创业者，我认为是在「打磨」公司；而作为技术从业者，我认为是在「打磨」产品和服务」。当被问及她如何看待自己的「多重身份」时，杨霞如是说道。

杨霞在享受这些乐趣的同时，却也面临着一些困扰，「正如上面所说，平衡事业和家庭的关系是一大难题，现在的工作让我应接不暇，作为一名母亲，我在生活上陪伴孩子的时间也变得越来越少。虽然心有愧疚，但我并不后悔创业，因为我认为我的表现将会给孩子树立一个好的榜样」杨霞接着补充说。