链安科技

A轮四川省2018年10月
推出“一键式”智能合约自动形式化验证工具
寻求报道
官方网址：http://www.lianantech.com
编辑维护
36氪报道产业升级高新技术企业科技型中小企业中关村科创大赛
1.1万
项目信息
36氪报道相关文章行业资讯
1.1万
编辑维护

项目简介

针对区块链严峻的安全形势，成都链安科技以“形式化验证”为核心技术，推出了“一键式”智能合约自动形式化验证工具Beosin-VaaS。可一键查验代码漏洞，检测准确率超过97%。

融资历史

融资轮次融资时间融资金额投资方
A轮
2022-11
近2000万美元
战略融资
2020-02
未透露
战略融资
2020-01
数千万人民币
天使轮
2018-11
数百万美元
种子轮
2018-05
未透露

工商信息

工商全称成都链安科技有限公司英文全称-
法定代表人杨霞成立时间2018-03-29
注册地址中国（四川）自由贸易试验区成都高新区世纪城南路599号7栋5层505A、505B号
股东（发起人）
持股比例
认缴出资额
认缴出资日期
杨霞
30.16%
52.0066万人民币
2068-03-28
郭文生
15.84%
27.3171万人民币
2068-03-28
上海云镌企业管理咨询有限公司
11.89%
20.5101万人民币
2022-12-31
查看更多

团队成员

杨霞
创始人&CEO
杨霞，成都链安科技创始人&CEO。电子科技大学副教授、博士后，区块链形式化验证权威专家，形式化验证理论和方法专家 从事形式化验证多年，曾 为多家军口单位（神州飞船控制系统，导弹控制系统等）研制关键软件的形式化验证，CCF区块链专委会成员，曾担任多家公司的创始人。发表30多篇，申请20多项专利。
郭文生
CTO
郭文生，成都链安科技CTO。电子科技大学副教授、博士，形式化验证技术专家，长期从事形式化方法和理论的研究，主持国家重大课题多项，发表论文多篇，申请专利10多项，担任2家公司的CTO。

36氪报道

文章成都「链安科技」近期获多轮融资，共计数千万人民币，由联想创投、复星高科领投
融资将用于持续深化区块链全生态安全布局、研发“一站式”区块链安全服务平台、开展自主可控的区块链安全技术研究。
2020-01-16
文章一键查验代码漏洞 成都链安打造VaaS平台保障区块链安全
成都链安科技以“形式化验证”为核心技术，打造的Beosin-VaaS可一键查验代码漏洞，检测准确率超过97%。
2019-11-08

相关文章

天府新时氪 | 宁德时代四川子公司「四川时代」获国宏集团增资，将成为洛阳钼业间接第二大股东
记录成都新经济每时每刻
2022-11-08
中小GP的隐忧：沦为LP的投资通道
当LP把大量的资金留给了跟投，GP扮演的角色就发生了变化，沦为LP的投资“通道”。
2020-11-12
网络信息安全：魔高一尺道高一丈
“天下武功，唯快不破。”对其他风口上的创业者来说，时机意味着一切，稍慢一步，行业市场空间饱和，天花板就到头了。但对于信息安全产业而言，不断演化的欺诈手段，会刺激网络信息行业的反欺诈技术不断进化—这几乎是一个长青的市场。
2020-09-21
成都16条新经济优势赛道解读之区块链
区块链赛道成都有哪些优质企业？
2020-08-14
查看更多

行业资讯

CIC灼识咨询与36氪联合发布《36氪品牌价值研究报告》（文末附完整版报告）
36氪具备多样化的服务内容、行内领先的洞察力、多圈层信赖的媒体基因、丰富的社群资源、庞大且专业的内容团队和全渠道覆盖的影响力，覆盖不同领域企业全生命周期的商业服务需求。通过36氪个人用户和企业客户的调研发现，个人用户及企业客户均给予36氪超高的满意度，并且将36氪视为第一选择，未来继续使用36氪服务的意愿强烈。36氪将持续以多元的服务体系助力新经济稳健、可持续地发展。
2023-05-10
2023Q1 投融资报告：上海还是第一；硬科技继续硬挺；上市募资 6 成不足 1 亿美元
投资交易事件同比下降 37.29%
2023-04-11
估值回到2200亿美元，字节杀入成都
成都逐渐成为越来越多企业下一步战略规划的重镇。
2023-03-17
包下中国互联网大买卖的人，失联
两肋插刀，肝胆相照。
2023-02-17
查看更多

认证成员

我要认证

认证成员可维护项目信息，并可享合作对接权益

暂无认证用户