昨日，工信部宣布了《2018 中国区块链财富白皮书》，在“区块链安详掩护”章节中，具体先容了成都链安科技有限公司研发的 VaaS 平台。该平台可对区块链智能合约举办形式化验证，今朝已经支持以太坊、EOS 等主流平台，并与海表里 10 余家区块链企业举办了相助。VaaS 为智能合约提供的高度自动化形式验证东西，可极大地提高智能合约的安详性和靠得住性，使其到达“军事级”安详性要求。防备合约安详裂痕带来的重大损失。

据成都链安科技 CEO 杨霞密斯（电子科技大学副传授）先容，链安今朝已经得到漫衍式成本投资，且成为漫衍式成本在区块链安详规模独一机关的计谋投资公司。团队成员由 20 多具有外洋知名高校（耶鲁、UCLA）留学经验的传授、博士、硕士构成，具有多年“军事级”形式化验证研发和安详处事履历。今朝，VaaS 平台已经和 LongHash、Cybex、比原链、云象区块链、布比区块链、Befund 基金会等海表里 10 多家知名区块链公司成立恒久计谋相助干系。

作为一家有着多年为航空、国防等规模提供安详要害软件形式化验证处事的科技公司，，成都链安科技敏锐地发明白区块链行业的这个痛点，历经 2 年时间的研究和尽力，研发出了全球第一个高度自动化的区块链形式化验证平台 VaaS （Verification as a Service）。VaaS 平台回收了多种形式化验证要领，具有验证效率高、自动化水平高、人工参加度高、易于利用、支持多个合约开拓语言、可支持大容量区块链底层平台的形式化验证等利益。其“一键式”形式化验证东西，可自动准确定位到有安详裂痕的合约代码位置，有效制止 BEC 等合约安详裂痕。VaaS 平台能为宽大智能合约开拓者提供尺度化代码安详检测处事，也可觉得全球区块链喜好者提供判定项目安详性的有力东西。

自 17 年开始，各类区块链平台或应用如雨后春笋般不绝涌现，市场发作的同时却几回激发各类安详变乱。以 Dao 智能合约安详裂痕、Parity 钱包智能合约裂痕为例，最终导致了上亿美元的巨额损失。作为区块链底层协议重要构成部门—“智能合约”，在任何一个区块链平台都继续着“电子条约”的重要脚色。然而由于区块链开拓者的履历欠缺，开拓事情缺乏统一的类型和流程，或是急功近利的思想作祟，智能合约的开拓，往往做不到绝对的安详。与之相应的效果，大概让进攻者找到合约裂痕，获取巨额的好处。

郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。