中國區塊鏈產業白皮書發佈,鏈安科技榜上有名
昨日,工信部發布了《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 多家知名區塊鏈公司建立長期戰略合作關係。