根據《2018年區塊鏈行業應用研究報告》顯示， IDC、Tractica、美國銀行等機構都看好區塊鏈產業的未來潛力，預計其市場規模到2020年將達到幾十億甚至幾百億美元。
 
       盡管區塊鏈的市場規模不斷擴大，但在安全方面還處于起步階段,通過分析以往發生在區塊鏈行業的安全事件得知，區塊鏈安全威脅越來越嚴重。從2011年到2018年，安全事件（智能合約為主要安全隱患）已經導致區塊鏈領域損失超過30億美元，按照歷史的攻擊趨勢，以后此類攻擊事件會越來越嚴重。
 

       一、MeshSec正式上線
 
       面對如此具有挑戰性的安全風險，如何保障智能合約的安全性成為了一個熱議的話題。在此背景下，杭州趣鏈科技有限公司（以下簡稱“趣鏈科技”）自主研發的區塊鏈安全服務平臺——MeshSec正式上線（網址：http://sec.hyperchain.cn，點擊文末閱讀原文也可立即體驗）。
 
 
       作為面向區塊鏈開發者一站式安全服務平臺，MeshSec通過靜態分析、形式化驗證等手段進行合約安全漏洞的檢測，分析當前合約的潛在威脅并提出合理的解決方案。MeshSec具有多種合約檢測、全方位安全服務、公測版本免費面向廣大開發者等特點。
   
       其核心優勢涵蓋了業務層到基礎網絡層：1.業務層安全審計與防御方案；2.合約層開發審計一條龍；3.基礎網絡層鏈安全審計。
 
       二、智能合約解決方案
 
       目前，MeshSec向開發者提供的智能合約安全服務主要包括靜態分析、形式驗證以及專家安全審計服務等。
 
       1.靜態分析

       基于豐富的漏洞庫，對智能合約等區塊鏈業務代碼進行漏洞掃描，杜絕已知錯誤。

       智能合約部署之后的更新和升級非常困難，所以在智能合約部署之前對其進行靜態分析，檢測并發現智能合約中的漏洞，可以最大限度的保證智能合約部署之后的安全。MeshSec靜態分析使用全自動化漏洞掃描技術，對智能合約進行全面檢測：
   
       2.形式驗證
 
       形式規范用相對精確的數學的形式化語言來描述程序的功能，以此作為形式驗證的根據，而形式驗證用于驗證程序是否滿足形式規范所述的要求。SML形式規范和形式驗證工具是本產品獨創核心技術，具有專利保護。
 
       在形式驗證界面，點擊形式驗證按鈕，進行自動驗證；開發者編寫智能合約和SML形式規范；形式驗證以智能編輯界面的形式展示，如下：
   
       形式驗證的主要有遵從“行為接口規范”的形式規范語言、支持大部分智能合約語法以及秒級驗證速度（平均0.6秒每千字符）等特性。
 
       3.專家安全審計服務
 
       MeshSec采用靜態分析、形式化驗證、人工檢測、模擬攻擊等全方位的專家安全審計策略，，可有效防止代碼邏輯漏洞和安全漏洞，確保智能合約程序的安全性。
         4.其他功能
 
       除了靜態分析和形式驗證之外，MeshSec還具有編譯、格式化、設置、項目管理等功能。
 
       相比于其他安全服務平臺，MeshSec的技術及經驗成果更加顯著。MeshSec目前已經獲得“一種基于配置信息自動生成區塊鏈智能合約的方法”、“一種形式驗證Solidity智能合約方法”等專利軟著。
   
       此外，MeshSec研發團隊還主導了深圳證券交易所區塊鏈安全研究課題“使用形式驗證和靜態分析技術并采購、部署”。該課題旨在解決區塊鏈技術在證券期貨行業應用中所面臨的數據安全、隱私保護和智能合約等方面的技術難點，并將結合證券期貨行業業務特點，在證券發行、證券交易和資金結算等方面，對區塊鏈底層實現提出適應性的優化和改造需求，以打造適用于行業的區塊鏈應用平臺，減少行業重復投入，推動區塊鏈技術在證券行業中的應用落地。
 
       針對區塊鏈安全，MeshSec研發團隊參與了中國信通院《區塊鏈安全白皮書（1.0版）》的編寫，對區塊鏈安全提供了一些對策和建議，期望在安全領域為區塊鏈技術和產業應用的健康持續發展盡一份力。
 
       三、全方位保障智能合約安全
 
       項目負責人張丁文表示：未來，MeshSec研發團隊將會持續增強智能合約開發環境、提供專業的安全分析報告、頒發安全檢測證書等；持續進行技術創新，提高合約安全性、降低合約檢測成本、打造一套完整的綜合防護體系，全方位保障智能合約安全。
 
       關于趣鏈科技：
 
       趣鏈科技創立于2016年，專注聯盟鏈研發，為企業級客戶提供技術服務，是區塊鏈行業第一家準獨角獸企業。趣鏈科技由浙江大學區塊鏈實驗室核心人員作為聯合創始人，核心團隊成員均畢業于浙江大學、清華大學等國內外一流高校，并由中國工程院陳純院士擔任董事長。公司260余人的團隊，90%為技術人員，10余人具有博士學位，180余人具有碩士學位。
 
       趣鏈科技的合作伙伴包括中國人民銀行、中國外匯交易中心、中國銀聯、上海證券交易所、深圳證券交易所、中國工商銀行、中國建設銀行、中國農業銀行、中國光大銀行、谷歌、微軟、華為、美國道富銀行、思科、英特爾等，已經上線的應用場景包括數字票據、資產證券化(ABS)、應收賬款、數字存證、數據交易、股權、債券、供應鏈金融、溯源、物流管理等，其中大部分應用系統已經產生了較大的經濟與社會價值，并有應收賬款、投標保函、ABS等經典案例錄入工信部信息中心《2018中國區塊鏈產業發展白皮書》。
   
       目前，趣鏈科技已經完成15億元人民幣的融資，這是區塊鏈行業到目前為止通過傳統融資渠道獲得的最大的一筆融資，也是國家戰略資本在區塊鏈領域的單筆最大投資，趣鏈科技也一躍成為區塊鏈行業的第一個準獨角獸企業。