中国第一家区块链形式化验证公司获种子轮投资

引言：

创立于电子科大科技园军事电子创新加速器的“成都链安科技有限公司”，近日获得分布式资本种子轮投资，是分布式资本唯一资助的中国第一家专门从事区块链形式化验证技术研发的公司。

区块链作为大数据时代计算机技术的新型应用模式，已经成为金融、军事安全等科技领域具有划时代意义的重要成果，将在建设世界现代化数字信息体系中发挥巨大作用。

随着DAO系统、Parity钱包、Coincheck等区块链安全问题的频发，区块链平台特别是智能合约的安全问题成为制约区块链技术发展的关键问题。国内外的学者和研究者一致认为，基于数学工具进行定义、开发和验证区块链安全性的“形式化验证方法”将有效提高区块链生态系统和智能合约的安全性。

链安科技是由电子科大信软学院杨霞副教授作为CEO，带领其区块链形式化验证团队，共同成立的聚焦区块链安全验证领域的前沿信息技术公司。公司的目标是占领区块链安全技术研究、创新与实践的高地，成为中国乃至世界区块链安全的验证者和看门人。

公司团队由20多名具有海外知名高校（如耶鲁、UCLA）留学经历的教授、博士、硕士组成，具有多年的形式化验证经验。该团队自2013年起，为航天、国防等领域的安全关键软件提供专业的形式化验证服务。团队经过近2年的研究和努力，研制完成了全球第一个针对区块链的形式化验证平台VaaS（Verification as a service）。平台采用多种形式化验证方法，具有验证效率高、自动化程度高、人工参与度低、易于使用、支持多个合约开发语言、可支持大容量区块链底层平台的形式化验证等优点。VaaS提供了针对智能合约的形式化验证工具，极大提高了智能合约的安全性和可靠性。产品通过对合约代码进行严格的安全验证，杜绝逻辑漏洞，确保合约安全，在满足实际应用效率需求的同时，达到有效控制漏洞风险的目的。目前，VaaS平台已支持主流区块链平台（如以太坊、EOS等）智能合约形式化验证，并且已与国内10多家区块链行业的知名企业建立了合作关系。

链安科技正在和LongHash，Cybex一起建立服务于EOS（Enterprise Operation System，即为商用分布式应用设计的区块链操作系统）生态系统的形式化验证社区，聚焦EOS区块链平台的形式化验证工作，为EOS提供全面的形式化验证服务，包括EOS智能合约的形式化验证，EOS平台底层软件的形式化建模和验证。

公司CEO杨霞副教授表示，链安将进一步深入区块链安全技术和底层技术研究，并联合多方制定区块链安全验证及应用的相关技术标准。未来，VaaS平台可逐步支持其它主流区块链平台的形式化验证工作，为更多的区块链平台提供形式化验证服务，围绕区块链安全验证这一千亿级的蓝海市场，为区块链的安全应用保驾护航。链安科技的研发成果还将广泛应用到金融、国防、航空、航天等电子信息领域，为军民融合领域做出重大贡献。

中国第一家区块链形式化验证公司获种子轮投资相关推荐

聚焦分布式资本：中国首家区块链基金如何布局区块链
在目前阶段,与其定论区块链是一次生产关系革命,不如实事求是认清区块链仍处在初步实验阶段,各项基础设施仍未建成,具有良好体验的产品尚未出现.在接下来的一段时间,会有大批项目集中落地,这些一代项目的进展对 ...
聚焦分布式资本：中国首家区块链基金如何布局区块链？|链捕手
在目前阶段,与其定论区块链是一次生产关系革命,不如实事求是认清区块链仍处在初步实验阶段,各项基础设施仍未建成,具有良好体验的产品尚未出现.在接下来的一段时间,会有大批项目集中落地,这些一代项目的进展对 ...
中国第一块区块链牌照
十大发展趋势进入2018年以来,全球区块链似乎进入一个白热化的发展环境,各国持续不断出台或更新相关监管政策,在该洪流下的币所.初创企业.区块链媒体等各机构使劲"蹦跶". 此次,信 ...
胡润首次发布《2019胡润全球独角兽榜》，11家区块链公司入选！
"胡润百富董事长兼首席调研员胡润表示,只要区块链等新兴行业在中国做大,就能在全球领先." 本文旨在传递更多市场信息,不构成任何投资建议. 文 | 陈向明出品 | 火星财经APP( ...
中国正携区块链下一步新金融的大棋，深圳极可能成为落子的第一步
当众人还在为加密货币的涨跌而喋喋不休时,中国已悄然携区块链下一盘关乎中国新金融新经济的大棋,而深圳极有可能成为落子的第一步. 金融业务一直被视为区块链技术的第一大应用,8月中旬以来,尽管监管层接连收紧 ...
重磅！2018中国区块链Top100强公司榜单发布！
近日,小虫科技旗下知名品牌挖链网发布了2018年中国区块链企业Top100指数榜单.这份代表了中国区块链优秀平台的榜单,历时一个月的数据分析,数百个单项数据复杂计算,不仅列出了最新的中国区块链公司百强 ...
2018年最值得关注的10家区块链公司新秀
随着分布式账本技术规模化应用的案例开始出现,采用这一技术的企业逐步增多,预计2014年全球区块链行业的市场规模将达到600亿美元.尽管该技术目前还处于十分早期的阶段,但受其巨大的潜力的吸引,世界各国的 ...
万众瞩目，大拿空降：超强媒体阵容护航，第一届区块链技术及应用峰会(BTA)·中国引爆开年狂潮...
技术苍穹,迭代未休,区块链技术乘破竹之势而来,已然问鼎2018年技术圈开年"关键词Top榜".当爆炸式的知识需求,遇上业内资源捉襟见肘的困窘现状,第一届区块链技术及应用峰会(BTA ...
六驾齐驱：第一届区块链技术及应用峰会(BTA)·中国分论坛首曝超长「片花」
技术苍穹,迭代未休,区块链技术乘破竹之势而来,已然问鼎2018年技术圈开年"关键词Top榜".当爆炸式的知识需求,遇上业内资源捉襟见肘的困窘现状,第一届区块链技术及应用峰会(BTA ...
六驾齐驱，链圈逐鹿：第一届区块链技术及应用峰会(BTA)·中国分论坛首曝超长「片花」...
技术苍穹,迭代未休,区块链技术乘破竹之势而来,已然问鼎2018年技术圈开年"关键词Top榜".当爆炸式的知识需求,遇上业内资源捉襟见肘的困窘现状,第一届区块链技术及应用峰会(BTA ...

中国第一家区块链形式化验证公司获种子轮投资

中国第一家区块链形式化验证公司获种子轮投资相关推荐

最新文章

热门文章