链安科技

链安科技

一站式区块链安全服务平台


基本信息

  • 成立时间: 2018-03
  • 所在国家: 中国成都
  • 公司官网: 官网链接
  • 微博微博地址
  • 推特推特地址
  • 成都总部成都市武侯区世纪城南路599号天府软件园D7座504室
  • 北京分部北京市朝阳区广顺北大街36号 梦想加空间305室
  • 深圳分部深圳市南山区讯美科技广场3号楼16D
  • 企业邮箱vaas@lianantech.com
  • 联系电话028-8326-2585

链安科技简介

成都链安是全球最早专门从事区块链安全的公司,也是最早将形式化验证技术应用到区块链安全领域的团队,研发了全球领先的智能合约自动形式化验证平台VaaS,并基于此,建立了Beosin“一站式”区块链安全平台,为区块链企业提供安全审计、资产追溯与AML反洗钱、隐私保护、威胁情报、安全防护、安全咨询等全方位的安全服务与支持。申请软件发明专利和著作权15项。

成都链安科技有限公司,专注区块链安全领域,总部位于成都。由电子科技大学杨霞教授和郭文生教授共同创建,团队核心成员由30多名来自海外知名高校和实验室(CSDS、耶鲁、UCLA)留学经历的副教授、博士后、博士、硕士及阿里、华为等知名企业精英组成。其核心技术为形式化验证,该团队使用此技术为航天、军事等领域的安全关键系统提供多年的形式化验证服务,是国内唯一一家将此技术应用到区块链安全领域的公司。

成都链安科技作为分布式战略投资的唯一区块链安全公司,已与Huobi、OKEX、KuCoin、LBank、CoinMex、Becent、ONT、Scry、CareerOn、IoTeX、DALICHAIN、Bplus、比原链、布比区块链、云象区块链等多家单位签订战略合作协议。 并与全球顶级的形式化验证团队法国Inria达成合作。在国家工信部发布的《2018中国区块链产业白皮书》中公司榜上有名。公司已经入选Etherscan智能合约安全审计推荐名单。

公司团队信息

  • 杨霞 创始人兼CEO

    杨霞女士,电子科技大学副教授、博士后,区块链形式化验证权威专家,形式化验证理论和方法专家,从事形式化验证多年,曾为多家军口单位(神州飞船控制系统,导弹控制系统等)研制关键软件的形式化验证,CCF区块链专委会成员,曾担任多家公司的创始人。发表30多篇,申请20多项专利。

  • 郭文生 CTO

    郭文生,链安科技CTO。电子科技大学副教授、博士,形式化验证技术专家,长期从事计算机网络,人工智能,形式化验证技术研究和项目开发,承担国家级、省部级项目多项,发表论文多篇,授权发明专利多项,主持国家重大课题多项,发表论文多篇,申请专利10多项,担任2家公司的CTO。

  • 高子扬 CMO

    高子扬先生,链安科技CMO。马德里康普斯顿学士,广西大学法律硕士。自2012年起接触区块链技术,发起了西班牙比特币论坛,参与多个项目的投资孵化管理,united labs投资联盟成员。

  • 链安科技相关快讯
  • 链安科技相关新闻
  • 2018年05月10日 22:58:26

    比原链牵手成都链安科技,共建区块链安全新生态

    近日,比原链基金会与成都链安科技签署战略合作协议。双方将在区块链安全技术领域达成初步合作意向,未来成都链安科技将会为比原链提供底层平台的形式化安全验证,智能合约的开发、审计、安全验证等服务,保证比原链平台和智能合约的安全性、功能正确性。

  • 2018年06月26日 12:08:23

    链安科技创始人杨霞宣布参选Huobi Chain领袖招募

    日前,成都链安科技创始人兼CEO杨霞女士宣布参选领袖招募,这是领袖招募活动开始以来第一位参选的女性。

  • 2019年10月22日 16:32:59

    慢雾、成都链安、CertiK支持使用OKB兑换服务

    OKEx消息显示,区块链安全公司慢雾科技、成都链安科技以及CertiK已与OKEx达成合作,用户可使用OKB兑换上述三家公司安全服务。

  • 2018年08月06日 19:33:41

    CoinMex与成都链安科技建立战略合作 保障平台项目智能合约安全

    据CoinMex官方消息,数字资产交易全平台CoinMex已与区块链安全公司成都链安科技建立战略合作,后者将对CoinMex平台上的区块链项目进行智能合约开发、审计、安全验证,以保障其智能合约和底层链的安全性。

  • 2018年06月25日 22:29:52

    慢雾科技、链安等知名安全审计公司的安全服务接受OKB支付

    近日,慢雾科技、链安等知名安全审计公司的安全服务接受OKB支付,提升智能合约安全性,避免项目出现重大安全漏洞。OKB的流通和价值得到进一步的认可,生态也更加的丰富。

  • 2018年11月18日 12:03:27

    链安科技 CMO:EOS、Dapp出现的很多问题都是智能合约问题,很多人在合约中开了后门

    11月18日,在“2018比原链全球开发者大会”的《钱包的安全与隐私的再考量》圆桌论坛上,链安科技 CMO 高子扬表示,链安科技是一家专注于区块链安全的公司,我们也是比原的合作伙伴,用形式化验证的方法对整个比原进行安全防护。行业对安全问题的关注热情如今越来越高,特别是智能合约,包括现在EOS,DAPP出现的很多问题都是合约方面的问题,他们很多人都在自己的合约里面开了后门,所以问题比较大。

  • 2018年07月12日 19:27:44

    链安科技正式加入本体安全“共建者计划”

    今日,本体宣布与成都链安科技启动技术合作,链安科技正式加入本体安全“共建者计划”,双方将聚焦于区块链智能合约开发、安全审计、形式化验证等领域。链安科技将针对本体区块链平台专门定制化研发自动形式化验证平台VaaS-ONT,以提高智能合约和底层链平台的安全性,进一步打造安全、放心、可靠的区块链基础设施。

  • 2018年12月13日 08:38:15

    众安科技建立区块链反欺诈联盟

    据证券日报消息,众安保险机构金融部总经理王鹰近日接受采访时表示,众安在区块链领域的全资子公司众安科技,建立了一个区块链反欺诈联盟,将信用相关数据上链,通过算法加密解决欺诈问题。

  • 2019年05月27日 14:16:15

    2019掘金牛熊.优质公链深圳见面会银链科技作为嘉宾出席并分享观点

    由ROCKMINER发起,币桃Bitell、链向财经联合举办的2019掘金牛熊.优质公链深圳见面会于5月25日下午盛大召开。在会上,银链科技联合创始人刘毅先生分享了安网的前世今生、现状以及未来,安网的智能合约侧链,基于EOS底层技术改造,具有安码、集成SPV、单个见证人、见证网络等特点,并表示安网的超级节点采用周期性对超级节点进行投票,持有主节点 锁定SAFE 正常SAFE的用户都可以投票。

  • 2018年06月30日 10:09:15

    乌镇现场•链安科技杨霞:区块链安全和军事安全同等重要

    6月30日,在“世界区块链大会·乌镇”分会场“数字资产与用户隐私——区块链应用与安全论坛”上,链安科技创始人杨霞在演讲中表示,区块链安全和军事安全有一定同等性,比如要通过DO-178C国际标准,必须通过形式化验证。未来区块链平台也要通过形式化验证才能够达到这个标准的要求。

  • 2019年01月17日 10:24:11

    众安科技区块链在产链融合评选中获肯定

    据产经新闻消息,近日,在由国家工业信息安全发展研究中心指导、《计算机世界》报社等共同发起的“2019产链融合应用高峰论坛暨首届产链融合应用案例评选颁奖典礼”上,众安科技(06060.HK)基于区块链与人工智能的产品与场景解决方案安链云、首个保险资产通证产品飞享e生和基于安链云的全球首个钻石溯源及交易平台,分别获得优秀解决方案、创新奖和示范奖。

  • 2018年06月29日 12:02:18

    上海保监局携手众安科技等公司,发布国内首个区块链再保险实验平台

    6月29日,中再集团、众安保险、众安科技、英特尔公司等在上海联合发布了《再保险区块链(RIC)白皮书》。 RIC是一条面向再保险行业的联盟链,采取侧链结构、运行在可信任环境中,未来将组建联盟对RIC进行共治。RIC的前身是今年3月由上海保监局牵头、中再集团联合众安科技等打造国内首个区块链再保险实验平台。在发布会上,中再集团透露,上海保监局早在2016年就已经开始尝试将区块链技术在保险行业进行应用了。在规划中,上海将被打造为区域再保险行业中心,中再集团是国内唯一的国有再保险集团。

  • 2019年07月29日 15:08:20

    海伯利安宣布与力安科技达成合作

    海伯利安日前宣布,已与香港新鸿基集团成员公司力安科技达成合作,后者拥有超过30年高端智能安防系统开发和业务积累。双方合作内容包括共同研发用于高端安防整体解决方案的隐私地图技术、基于先进密码学协议和去中心化数据层的新型安防地图应用、以及基于位置服务(LBS)的商业价值增强应用。 海伯利安专注于地图公链,致力于依托去中心化技术为全世界提供“One Map”便捷式地图服务,现已推出3款去中心化地图产品:去中心化地图服务网络Map3,去中心化隐私地图Titan,以及底层去中心化空间共识协议Atlas链,可同时支持2B的服务端与2C的数据端在链上发展。

  • 2019年12月13日 06:28:57

    众安科技区块链开发高级专家:联盟链与公有链未来会交叉、融合,诞生出一种新技术

    众安科技区块链开发高级专家吴小川表示,联盟链与公有链未来会交叉、融合,诞生出一种新技术。这两链是不会割裂的,有可能其他的技术加入,形成下一代可信的价值网络。吴小川解释称,云计算更多讲究集权下的分布式,区块链则是去中心化的分布式,两个优点冲突。但区块链可以解决辅助密码算法的问题,算力不够的时候就需要云计算帮助,将计算结果返回区块链网络,然后验证确实是按照原定规则计算,这样的发展路径看来,我觉得二者更多将是协助和补足的关系。

  • 2018年05月01日 12:02:20

    BM驳斥EOS“溢出漏洞说”

    今日,BM在Medium发文回应成都链安科技关于EOS智能合约漏洞的报告。他认为,这完全是一个不负责任的报告,链安科技所呈现的问题不是一个安全漏洞,而是一个糟糕代码实践的结果。智能合约平台并不能阻止开发人员犯的错误。随即他举例可以使用 boost multiprecision 定义的 checked_int64_t,将不安全的代码转换成安全的代码阻止溢出。总而言之,他认为此次不负责任地报告结果是误导了那些不了解技术的人,而在这个行业内,也应该准确理解 “安全漏洞”。

  • 2019年05月31日 15:00:17

    音乐区块链生态平台Muzika将上线币安链

    音乐区块链生态平台Muzika宣布将上线币安链,推动其音乐生态系统中的微支付和社区激励机制。去年8月,区块链音乐平台Muzika宣布成立,旨在应对日益增长的艺术家支付和权力问题。据了解,Muzika已吸引韩国两家科技公司Kakao和Naver的支持。

  • 2019年08月20日 10:31:29

    MXC平台与北京链安达成安全合作

    据官方消息,2019年8月19日,MXC平台与区块链安全公司北京链安科技达成安全合作,双方主要将在智能合约安全审计、服务端网络安全、链上数据追溯、数字资产合规,以及C端安全等领域展开进一步的合作,共同为投资者打造安全、便捷的投资环境。 北京链安网络科技有限公司聚焦区块链生态安全,提供包括不限于交易所、钱包、主链 和矿池的安全服务。团队具备完善的公链漏洞挖掘和项目代码审计能力,可提供全面的链上数据追溯和项目代码审计服务以及链安评测和链安评级服务,曾协助EOS、以太坊等知名公链官方发现并修复漏洞。MXC平台成立于2018年4月,总部位于新加坡,在全球拥有超过200万注册用户,日活最高超过20万用户,日交易量超过6亿美元。

  • 2019年10月22日 16:29:34

    慢雾科技、成都链安、CertiK宣布支持使用OKB兑换服务

    OKEx运营团队今日表示,OKB应用场景实现新突破,近日已与知名区块链生态安全公司慢雾科技、成都链安以及CertiK达成安全合作关系。作为OKB首批生态合作伙伴,慢雾科技、成都链安、CertiK的用户可使用OKB兑换相应安全服务。未来,OKB也将携手上述业内领先安全机构,为区块链行业安全持续保驾护航。 慢雾科技为全球多家领先的数字货币交易所、钱包、 底层公链、智能合约等项目做安全审计及防御部署,团队成员拥有十余年一线网络安全攻防实战的经验,曾打造拥有世界级影响力的安全工程。 成都链安为全球近1000个项目提供全生态安全审计服务、 资产追溯反洗钱、隐私保护、威胁情报、安全防护等全方位的安全服务与支持,在区块链领域有着丰富的安全攻防经验。 CertiK由耶鲁大学和哥伦比亚大学的顶级形式化验证专家创立,曾完成世界上首款防黑客操作系统内核,并将核心技术成功应用于区块链安全领域,在数学层面上证明区块链生态系统与智能合约安全无漏洞,截至目前已经保护了超过 62 亿美元的资产免受损失。

  • 2018年05月01日 11:07:58

    BM发文回怼智能合约系统漏洞问题:不负责任的报告

    今日,BM在Medium发文回应成都链安科技关于EOS智能合约漏洞的报告。他认为,这完全是一个不负责任的报告,链安科技所呈现的问题不是一个安全漏洞,而是一个糟糕代码实践的结果。智能合约平台并不能阻止开发人员犯的错误。随即他举例可以使用 boost multiprecision 定义的 checked_int64_t,将不安全的代码转换成安全的代码阻止溢出。 总而言之,他认为此次不负责任地报告结果是误导了那些不了解技术的人,而在这个行业内,也应该准确理解 “安全漏洞”。

  • 2018年05月20日 15:58:48

    中国区块链产业白皮书发布, 链安科技榜上有名

    今日,工信部发布了《2018中国区块链产业白皮书》,在“区块链安全保护”章节中,详细介绍了成都链安科技有限公司研发的VaaS平台。该平台可对区块链智能合约进行形式化验证,目前已经支持以太坊和EOS等主流平台,并与国内外10余家区块链企业进行了合作。VaaS为智能合约提供的高度自动化的形式化验证工具,可极大地提高智能合约的安全性和可靠性,使其达到“军事级”安全性要求。防止合约安全漏洞带来的重大损失。

  • 2018年04月28日 15:32:00

    链安科技:基于EOS的代币合约同样可能存在BEC代币合约类似的整数溢出漏洞

    4月28日,成都链安科技向巴比特透露,其研发的面向区块链形式化验证平台VaaS(Verification as a Service)检测发现,基于EOS区块链的代币合约同样可能存在BEC代币合约类似的整数溢出漏洞。Thomas在回复中对形式化验证用于智能合约安全检测表示称赞,认为这一问题的出现主要表明智能合约开发者不够仔细。同时还指出,核心的EOS原生令牌合约不会受到这种形式的攻击。

  • 2018年02月01日 13:43:35

    众安科技发布新公益计划,区块链的积分可做捐赠

    网易科技讯,众安保险旗下科技子公司——众安科技,联合真爱梦想、火堆公益等机构发布了基于区块链的新公益计划。基于众安科技区块链技术,火堆公益等机构每一笔善款捐献和使用情况将被完整加密地记录并可追踪,打造透明公益;与此同时,火堆公益宣布开始接受众安科技区块链积分平台发行的积分捐赠,让公益数字化。

  • 2018年03月21日 13:15:16

    众安科技众安在线首席执行官表示区块链等三条产品线已服务于超过200家客户

    众安科技众安在线首席执行官陈劲表示,2017年众安科技的S(保险科技产品)、X(数据智能产品)、T(区块链产品)三条产品线已经初具规模,并实现科技服务收入约人民币4070万元,服务于超过200家客户。(一财)

  • 2018年03月21日 13:25:08

    众安科技:2017年区块链等三条产品线已初具规模

    众安科技众安在线首席执行官陈劲表示,2017年众安科技的S(保险科技产品),X(数据智能产品),T(区块链产品)三条产品线已经初具规模,并实现科技服务收入约人民币4070万元,服务于超过200家客户。(一财)

  • 2018年08月06日 18:08:49

    众安科技推全球首个区块链钻石溯源及交易平台

    据中国证券报报道,众安保险全资子公司众安科技宣布与生态伙伴擎亿科技成立合资公司——上海鼎钻信息科技有限公司(简称“鼎钻科技”),联手推出全球首个区块链钻石溯源及交易平台。

  • 2018年02月01日 08:38:02

    众安科技发布新公益计划 区块链的积分可做捐赠

    1月29日消息,众安保险旗下科技子公司——众安科技联合真爱梦想、火堆公益等机构发布了基于区块链的新公益计划。基于众安科技区块链技术,火堆公益等机构每一笔善款捐献和使用情况将被完整加密地记录并可追踪,打造透明公益;与此同时,火堆公益宣布开始接受众安科技区块链积分平台发行的积分捐赠,让公益数字化。

  • 2018年09月14日 11:52:14

    海峡保险推出首张区块链保单

    榕城网9月14日讯,近日,海峡保险在第五届金融科技峰会上与CAM公链、享安保险经纪、中篮驯同盟联合推出首张区块链保单。

  • 2018年06月08日 11:01:01

    众安科技CFO邓锐民:众安正在搭建区块链平台

    6月4日,在线保险公司众安科技CFO邓锐民接受采访时表示,众安在搭建区块链、大数据和云系统,并希望将他们销售给其他保险公司。据悉,众安科技是由蚂蚁金服、腾讯、中国平安等发起设立的众安保险旗下的全资科技子公司,专注于区块链、人工智能、大数据、云计算等前沿技术研究。

  • 2018年02月27日 17:13:13

    雄安新区成区块链等科技的创新高地

    中国新闻网引援《中国青年报》报道,在“千年大计”政策的支持下,在物联网、大数据、人工智能、区块链等科技手段的帮助下,一座充满科技感的智慧城市即将在雄安新区诞生。2017年11月下旬,腾讯公司与雄安新区签署“金融科技战略合作协议”,成立腾讯(雄安)金融科技实验室。该实验室将基于腾讯云的区块链BaaS(blockchain as a service)服务在雄安先行先试,拓展从民生到企业、政府管理的不同场景。

  • 2018年02月27日 17:15:37

    雄安新区成区块链等科技的创新高地:数据上的未来之城

    中国新闻网引援《中国青年报》报道,在“千年大计”政策的支持下,在物联网、大数据、人工智能、区块链等科技手段的帮助下,一座充满科技感的智慧城市即将在雄安新区诞生。2017年11月下旬,腾讯公司与雄安新区签署“金融科技战略合作协议”,成立腾讯(雄安)金融科技实验室。该实验室将基于腾讯云的区块链BaaS(blockchain as a service)服务在雄安先行先试,拓展从民生到企业、政府管理的不同场景。