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