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

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