中國區塊鏈產業白皮書發佈，鏈安科技榜上有名

昨日，工信部發布了《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 多家知名區塊鏈公司建立長期戰略合作關係。

來源鏈接：chainb.com