引言：
创立于电子科大科技园军事电子创新加速器的“成都链安科技有限公司”，近日获得分布式资本种子轮投资，是分布式资本唯一资助的中国第一家专门从事区块链形式化验证技术研发的公司。
区块链作为大数据时代计算机技术的新型应用模式，已经成为金融、军事安全等科技领域具有划时代意义的重要成果，将在建设世界现代化数字信息体系中发挥巨大作用。
随着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平台可逐步支持其它主流区块链平台的形式化验证工作，为更多的区块链平台提供形式化验证服务，围绕区块链安全验证这一千亿级的蓝海市场，为区块链的安全应用保驾护航。链安科技的研发成果还将广泛应用到金融、国防、航空、航天等电子信息领域，为军民融合领域做出重大贡献。
相关链接：
形式化验证：在计算机科学领域，特别是软件工程和硬件工程中，形式化方法是一种特殊的基于数学的技术，用于规范、开发和验证软件和硬件系统，以提高系统的安全性、可靠性和鲁棒性。形式化方法可以形容为建立在相当广泛的理论计算机科学基础上的应用，特别是逻辑演算，形式语言、自动机理论、离散事件动态系统和程序的语义，还包括类型系统和代数数据类型等理论。一般这类研究主要应用于昂贵的航空、航天、军事器材的操作系统、危险的医疗设备的程序之中。