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

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

编辑:铅笔盒

昨日,工信部发布了《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多家知名区块链公司建立长期战略合作关系。

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

更多链安资讯,请扫码关注链安科技公众号

+1


发表评论
相关文章
前特朗普顾问Steve Bannon计划推出功能性代币
前特朗普顾问Steve Bannon计划..
摩根大通提交分散式虚拟收据系统新专利
摩根大通提交分散式虚拟收据系统新专利
PlatON团队受邀出席Distributed 2018峰会 发布下一代计算架构PlatON
PlatON团队受邀出席Distribu..
俄罗斯加密货币矿工和持有人将受到现行法律监管
俄罗斯加密货币矿工和持有人将受到现行法律监管
越南距中止加密货币采矿机进口仅一步之遥
越南距中止加密货币采矿机进口仅一步之遥
韩国建立基于区块链的“建议评估系统”
韩国建立基于区块链的“建议评估系统”

热文

合作伙伴


万向区块链实验室 趣块链社区 万向新链加速器 布比 币看 云币 Stellar 矩阵金融 网录科技 Bitse sosobtc China Ledger