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

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

自17年开始，各种区块链平台或应用如雨后春笋般不断涌现，市场爆发的同时也引发各种安全事故。以Dao智能合约安全漏洞、Parity钱包智能合约漏洞为例，最终导致了上亿美元的巨额损失。作为区块链底层协议重要组成部分—“智能合约”，在任何一个区块链平台都担当着“电子合同”的重要角色。然而由于区块链开发者的经验欠缺，开发工作缺乏统一的规范和流程，或是急功近利的思想作祟，智能合约的开发，往往做不到绝对的安全。与之相应的后果，可能让攻击者找到合约漏洞，获取巨额的利益。

作为一家有着多年为航空、国防等领域提供安全关键软件形式化验证服务的科技公司，成都链安科技敏锐地发现了区块链行业的这个痛点，历经2年时间的研究和努力，研发出了全球第一个高度自动化的区块链形式化验证平台VaaS（Verification as a Service）。VaaS平台采用了多种形式化验证方法，具有验证效率高、自动化程度高、人工参与度高、易于使用、支持多个合约开发语言、可支持大容量区块链底层平台的形式化验证等优点。其“一键式”形式化验证工具，可自动精确定位到有安全漏洞的合约代码位置，有效避免BEC等合约安全漏洞。VaaS平台能为广大智能合约开发者提供标准化代码安全检测服务，也可以为全球区块链爱好者提供判断项目安全性的有力工具。

据成都链安科技CEO杨霞女士（电子科技大学副教授）介绍，链安目前已经获得分布式资本投资，且成为分布式资本在区块链安全领域唯一布局的战略投资公司。团队成员由20多位具有海外知名高校（耶鲁、UCLA）留学经历的教授、博士、硕士组成，具有多年“军事级”形式化验证研发和安全服务经验。目前，VaaS平台已经和LongHash、Cybex、比原链、云象区块链、布比区块链、Befund基金会等国内外10多家知名区块链公司建立长期战略合作关系。