比特币算法背后的巾帼力量

本期币诚时代“链识大咖”将带大家走进成都链安创始人兼CEO杨霞的世界。

青葱岁月

一直以来，杨霞都是大多数人眼中的“学霸”。从小成绩优异的她一路从大学保送至博士，并顺利成为电子科大副教授，可谓顺风顺水。

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

因为保送的原因，杨霞大三就进入实验室开始研究工作，时光荏苒一晃就是近20年。这20年间，杨霞全身心投入到安全领域，坚持从事形式化验证、内核安全、移动设备安全、TEE等安全技术研究。

然而，在她内心一直喜欢尝试新鲜事物，也想做更有挑战的事情。创业，就是她的一个梦想。

“创业能让我实现自我价值，为社会和国家做更多贡献；另外一方面，我们电子科技大学有非常浓厚的创业氛围，学校也非常鼓励我们将科研成果进行转化，把更好的价值带向社会，逐步使我走上了创业的道路。”

2015年，随着区块链被越来越多的人熟知，智能合约安全事件造成的经济损失情况也越加频繁。2015年1月，全球知名的数字货币交易所Bitstamp被盗1.9万枚比特币；紧接着2月，台湾主要比特币交易所之一的Yes-BTC爆出被盗的传闻。

这些事件，让杨霞意识到智能合约的安全问题已经成为一个普遍现象。智能合约将影响到区块链行业的发展，而杨霞发现形式化验证技术可以非常好的应用在区块链安全服务当中。

于是在2016年，杨霞就在当时大热的人工智能与并不太显眼的区块链两个赛道中做出了选择。

找准突破口后，经过了两年的深入研究，杨霞于2018年3月29日成立了成都链安科技公司，正式专注于区块链生态安全，并且当月就获得了分布式资本的种子轮投资。

秣马厉兵

成都链安科技有限公司自成立之后，致力于区块链安全生态建设，团队核心成员是由从事信息安全长达10多年的海内外知名高校教授、博士后、博士以及曾任职于阿里、华为、360等知名企业的网络安全精英组成。

与那些寄希望于蹭热度的创业者不同，杨霞从一开始就致力于在安全领域做深入研究。在投身区块链安全领域之前，杨霞已经从事了多年航空、航天、军事领域形式化验证的安全工作。

“在寻找区块链安全技术解决方案的过程中，我发现形式化验证这一技术就能够很好地应用在区块链领域的智能合约安全问题当中，为区块链行业带来‘军事级的安全

热点：一枚比特币 区块链 区块链技术 比特币 比特币算法 特币