请选择 进入手机版 | 继续访问电脑版
开启辅助访问
链路首页链路财经目前收录 币种 : 4908 交易所 : 310钱包 : 16 24H 交易量 : $11,304,958,159 总市值 : $226,427,114,804
2018
11/09
14:47
分享
评论
  • 链茶访链茶馆新开辟的区块链项目报道专栏,每周会对一个项目团队进行专访,链茶馆将挖掘不同项目的闪光点,讲述区块链开发者的创业故事,为各位区块链同侪提供最新的项目资讯与行业动向。

    今天,链茶馆来到成都链安科技有限公司,拜访了成都链安科技的创始人杨霞和其团队。杨霞是电子科技大学副教授、博士后,从事形式化验证、内核安全、移动设备安全、TEE等安全技术研究长达18年,有着多年航空、航天、军事领域形式化验证服务经验。

    成都链安科技有限公司,是杨霞与电子科技大学副教授郭文生联合创建的区块链全生态安全服务公司,目前已经经历两轮投资,全新智能合约自动形式化验证平台VaaS-ETH精简版也在11月6日开放供用户体验与使用,该精简版本对于以太坊智能合约的安全监测可以达到95%以上的精确度。

    在传统互联网行业中,安全便是极为重要的工作,区块链行业更是如此,因为每个合约、每条代码很可能与用户的个人数字资产挂钩,如果遭到攻击将直接损失经济利益。那形式化验证究竟是一种什么样的技术,成都链安科技又是如何为区块链行业提供安全服务的呢?本期链茶访,将由杨霞老师为大家详细介绍。

    团队80%为技术人员 半数成员属电子科技大学系

    链茶访:链安CEO杨霞:形式化验证技术如何提供区块链安全服务

    印象中这还是链茶馆首次采访到985大学的在职教授,初见杨霞老师时,被她温暖的微笑深深打动,就好像又回到大学校园中一样。杨霞老师说话语气温婉和煦,自带一种久浸象牙塔的书香气,这次专访在她个人办公室中展开。

    杨霞介绍到,团队一共40人左右,一半的成员是来自于电子科技大学,目前还在校的学生有5人,80%的团队成员是做技术的,最低学位都是硕士研究生。她和另外一位创始人郭文生教授,都是电子科技大学的副教授,有着多年航空、航天、军事领域形式化验证的安全工作经验。除了电子科技大学的毕业生,团队另一部分成员来自于阿里、华为等知名企业及海外高校归来的高材生。

    杨霞老师谈到,成都链安科技与很多区块链项目不一样,很多公司是以商务和运营为主,而成都链安专注于区块链安全领域。记者在成都链安科技公司办公场地也看到了,行政、运营人员的办公室只有技术人员办公室五分之一大,技术人员在一间开阔的大办公室中,近四十人济济一堂。

    成都链安科技虽然自身带有极强的电子科大属性,但并不是由电子科大孵化出来的科研项目,而是由杨教授个人兴趣演化而来的。杨霞谈到,2015年她开始对区块链感兴趣,2016年发现形式化验证技术可以非常好的应用在区块链安全服务当中,看到了其中商机,在深入研究过程中,成立了成都链安科技公司,而后相继获得了分布式资本、界石资本、盘古创富等著名投资机构的股权投资。

    杨霞目前在电子科技大学还在授课,上的是计算机系操作系统课程,在形式化验证领域的研究,主要是带着研究生和博士生做科研项目。杨霞在授课过程中会为学生们讲解区块链的相关概念,会发现一些资质比较好的学生进行培养,而她的研究生目前也加入到了成都链安科技的技术研发中。

    杨霞很欣慰的谈到,成都链安科技营造了很好的电子科大校友氛围,包括公司内的商务人员都有电子科技大学的毕业生,同一所大学毕业的校友在一起为一件事而奋斗,当真是件很幸福的事情。“昨天还有一位来面试的技术人员,是电子科技大学毕业的,听说是母校的创业公司,就非常希望加入。”她如是说。

    形式化验证技术究竟是什么?如何保障区块链行业安全?

    形式化验证光看字面是完全不能理解其本质的技术,杨霞老师用授课的口吻解释道,形式化验证就是把代码变得更安全的技术,即使遭到入侵,但是代码自身是安全的,也不会造成损失。传统网络安全公司的方式主要依靠进攻,形式化验证重在防守,类似于古代攻防战中的“护城河”。

    该技术是一种基于数学和逻辑学的方法,把代码进行形式化的建模,然后用数学化的方法证明代码是否存在安全问题。形式化验证技术已经有几十年的历史,全球范围内研究比较透彻的人不足100人,杨霞是全球最早将形式化验证技术应用到区块链安全领域中的研究者。

    成都链安科技作为全球最早在区块链应用形式化验证技术的公司,申请了5项软件发明专利。杨霞谈到,这些技术成果是她非常自豪的,这是成都链安科技实实在在的技术硬实力。

    链茶访:链安CEO杨霞:形式化验证技术如何提供区块链安全服务

    利用形式化验证技术,成都链安开发了“一键式”VaaS高度自动化智能合约形式化验证平台,正好在11月6日,成都链安开启了全新智能合约自动形式化验证平台VaaS-ETH精简版,提供给区块链从业者免费体验VaaS“一键式”智能合约安全检测功能,对智能合约安全问题进行筛查,事先防止合约安全问题。杨霞谈到,这样做的目的,首先是回馈社会,为区块链行业做些贡献,其次是秀下链安科技的“肌肉”,让区块链行业看到稳定可运行的安全技术平台。

    杨霞谈到,通过VaaS-ETH精简版的试用,用户可以清晰看到与其他一些平台的不同,有些平台可检测的项目非常少,且误报率很高。而成都链安的VaaS-ETH精简版系统检测项目较详实,误报率也很低,一相对比,用户即可看到形式化验证与传统安全技术的差异。

    VaaS平台是为区块链行业提供安全服务的平台,是中心化运行的。杨霞表示,并不是所有区块链行业项目都需要去中心化,对于安全服务提供商,去中心化是没有必要的,不用去抢占这个噱头,反而会浪费团队很多技术开发的时间。

    成都链安科技在经历了两轮融资后,目前资金充足,暂时不需要大批量的融资。但是杨霞也谈到,未来成都链安肯定还存在融资需求的,随着业务的扩大、团队的扩建,融资规模也会进一步的提升。

    成都链安科技的盈利模式是怎样的?

    虽然说成都链安团队成员来源于各大高校,以技术人员为主,创始人杨霞本身也是电子科技大学的教授,但整个公司仍然是商业化运行的,目前已经在多个可以盈利的服务上占领了很大的市场份额。

    链茶访:链安CEO杨霞:形式化验证技术如何提供区块链安全服务

    杨霞介绍到,目前成都链安的主营业务有智能合约安全审计、钱包开发和审计、VaaS平台定制化开发、安全的Dapp开发与审计一条龙、安全的智能合约开发审计一条龙、交易所和公链平台安全检测等。

    成都链安团队以技术人员为主,可以为项目方提供一整套安全的Dapp开发方案和实现,即项目方提供需求,成都链安量身定制安全的Dapp。杨霞谈到,正因为成都链安有这样的Dapp开发实力,未来有可能创建自己的Dapp平台。

    与成都链安合作的区块链公司有40多家,审计过的智能合约有500多份,交易所方面与Huobi、OKEX、KuCoin、LBank、CoinBene、CoinMex、CoinTiger等都有合作。公链方面,VaaS平台同时支持ETH、EOS和Fabric等多个区块链平台的智能合约安全检测,达到95%以上准确率。至于其他的公链平台,也可以进行VaaS平台定制化服务,不过要收取费用。杨霞谈到,成都链安团队的技术实力是可以自己创建一条公链的,但是考虑到国内公链过多,团队目前并没有太大的必要,出于商业化考虑,未来的市场推广可能会出现难点,暂时公链开发并不是团队的重点。

    采访中得知,成都链安目前最大的盈利点是来自于智能合约、钱包、公链的安全审计,以及安全的dapp开发,这与目前开放给用户免费试用的VaaS-ETH精简版是不同的。VaaS-ETH精简版只能检测出常见的10大类27小类安全问题,对于复杂的逻辑问题,还是需要成都链安科技采用VaaS内部专业版进行进一步的专家审计服务,并会提供一份被国内外各大知名交易所认可的智能合约安全审计报告,这部分服务是需要收费的。

    成都区块链行业氛围更专注于技术

    杨霞谈到,成都区块链行业的氛围更加专注于技术,很多公司做的比较扎实,在区块链行业内的口碑还是比较好的。成都虽然矿场很多,但是炒币的人挺少,并不如一线城市对于币价那么狂热,有很多安心做技术的团队,比如成都链安科技与Scry-info。

    位于成都的电子科技大学,也是成都区块链发展的一个缩影。链茶馆上个月采访的欧链的创始人老狼,也毕业于电子科技大学,与杨霞老师是一个实验室,布比的CEO王璟也是电子科技大学毕业的。杨霞给我们看了一个电子科技大学的区块链行业群,有86个CEO全来自于电子科大。

    不过,杨霞也谈到,目前电子科技大学还没有开设区块链技术相关的专业,她本来是想过开授相关课程的,但因为成都链安科技的工作需要,实在是没有精力专注于此。在她看来,电子科技大学学生对人工智能非常关注,对于区块链的概念还有些模糊。而成都的投资人是很能把握方向的,是非常了解区块链技术的发展的。投资人的嗅觉非常灵敏,往往瞄准很早期的技术市场,链安便是在市场非常冷的情况下拿到了两轮投资。

    熊市或是牛市 对于成都链安都没有什么影响

    链茶访:链安CEO杨霞:形式化验证技术如何提供区块链安全服务

    面对目前的区块链熊市,很多中小创业团队已经倒下去了,而杨霞老师还是非常乐观的。在她看来,熊市对成都链安并没有什么影响,不论是熊市还是牛市,成都链安做的事情是一样的,安心做好安全服务即可。安全对于区块链行业是刚需,区块链中一行代码的失误可能会丢失几十亿美元。就连目前比较火爆,有希望成为第一批落地应用的区块链游戏,也会出现丢失数字资产的安全问题,杨霞表示成都链安已经为多款游戏提供了安全审计服务。

    杨霞老师谈到,成都链安专注于做区块链行业的安全技术,目前区块链安全服务在国内算数一数二的,公司愿景就是“让区块链更安全”。而身处熊市之中,大批量的空气项目将被大浪淘沙,最终留下来的是真正做出事情的团队,杨霞老师表示,成都链安也会利用这段时间沉淀自身。

主题帖 427 关注 0 粉丝 0
情感指数

链路大数据分析置信度 57.87 %

TA的主题帖
主题相关
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

快速回复 返回顶部 返回列表