成都链安科技有限公司是专门从事区块链安全的团队，也是著名的分布式资本资助的一家致力于区块链平台安全的公司。公司由电子科技大学信息与软件工程学院杨霞副教授带领的一支区块链形式化验证团队为核心，该团队由20多名具有海外知名高校（如耶鲁、UCLA）留学经历的副教授、博士、硕士组成的专职队伍，具有多年的形式化验证经验。公司已经研制出了一套高度自动化的区块链形式化验证平台VaaS（Verification as a Service），VaaS形式化验证平台具有国际领先水平，采用了多种形式化验证方法，具有验证效率高、自动化程度高、人工参与度低、易于使用、支持多个合约开发语言、可支持大容量区块链底层平台的形式化验证等优点。VaaS提供了针对智能合约的形式化验证工具，极大提高了智能合约的安全性与可靠性。产品通过对合约代码进行严格的安全验证，杜绝逻辑漏洞，确保合约安全，在满足实际应用效率需求的同时，达到有效控制漏洞风险的目的。目前，VaaS平台已支持主流区块链平台（如以太坊、EOS、Hyperledger等）智能合约的形式化验证，并且已与国内10多家（布比区块链、云象区块链、深圳市证券交易所等）区块链行业的知名企业建立了合作关系，为其提供智能合约的形式化验证。