首頁 新聞 財經 娛樂 房產 旅游 女性 汽車 社會 軍事

滾動

旗下欄目: 明星 動漫 滾動 綜藝 日娛 韓娛 音樂 演出 戲劇

趣鏈科技區塊鏈安全服務平臺 MeshSec 正式上線

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

數據來源:BCSEC,截止2018年12月

       一、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億元人民幣的融資,這是區塊鏈行業到目前為止通過傳統融資渠道獲得的最大的一筆融資,也是國家戰略資本在區塊鏈領域的單筆最大投資,趣鏈科技也一躍成為區塊鏈行業的第一個準獨角獸企業。
責任編輯:資訊小編

最火資訊

360彩票 城口县 | 加查县 | 息烽县 | 白沙 | 潮安县 | 海原县 | 加查县 | 平湖市 | 竹山县 | 呼玛县 | 丰台区 | 遵义市 | 吉林省 | 河南省 | 阿拉善左旗 | 博野县 | 诏安县 | 勃利县 | 海晏县 | 溧阳市 | 清新县 | 河间市 | 奉新县 | 苍梧县 | 汶上县 | 保山市 | 贺兰县 | 清涧县 | 琼海市 | 樟树市 | 新疆 | 陆丰市 | 江西省 | 神池县 | 浦北县 | 加查县 | 外汇 | 巴楚县 | 沧源 | 芜湖县 | 东莞市 | 中卫市 | 普安县 | 桑植县 | 铜鼓县 | 丰县 | 星子县 | 二手房 | 临高县 | 龙川县 | 芷江 | 米脂县 | 晋州市 | 尚志市 | 天门市 | 工布江达县 | 柳林县 | 天长市 | 青阳县 | 高淳县 | 中卫市 | 资兴市 | 临安市 | 二手房 | 清丰县 | 南宫市 | 璧山县 | 定结县 | 乐亭县 | 大庆市 | 会同县 | 四会市 | 通道 | 德保县 | 庄浪县 | 海原县 | 丹江口市 | 金门县 | 定襄县 | 玛多县 | 尉氏县 | 太原市 | 石嘴山市 | 崇礼县 | 临沂市 | 中超 | 沿河 | 毕节市 | 革吉县 | 米脂县 | 和田县 | 布尔津县 | 芒康县 | 甘孜 | 枞阳县 | 盘锦市 | 文化 | 定南县 | 昔阳县 | 腾冲县 | 安达市 | 江达县 | 依安县 | 三门峡市 | 锦屏县 | 闻喜县 | 建阳市 | 五莲县 | 湘阴县 | 那曲县 | 类乌齐县 | 无棣县 | 图们市 | 铁岭县 | 邻水 | 新营市 | 拜城县 | 金溪县 | 竹北市 | 余姚市 | 株洲县 | 新竹市 | 太仓市 | 万州区 | 克拉玛依市 | 石嘴山市 | 营山县 | 祁连县 | 中方县 | 蓬溪县 | 湘乡市 | 江山市 | 常熟市 | 呼伦贝尔市 | 胶州市 | 塔城市 | 濮阳县 | 郑州市 | 台南县 | 峨边 | 汪清县 | 雅江县 | 咸阳市 | 榆林市 | 永和县 | 天长市 | 秦皇岛市 | 盐津县 | 响水县 | 德清县 | 元朗区 | 蓬安县 | 舟曲县 | 垫江县 | 永济市 | 增城市 | 易门县 | 竹北市 | 抚远县 | 邹平县 | 建德市 | 林甸县 | 北安市 | 四子王旗 | 天祝 | 福建省 | 泰和县 | 扎鲁特旗 | 西宁市 | 望城县 | 扎鲁特旗 | 永胜县 | 大宁县 | 潍坊市 | 双桥区 | 永登县 | 海安县 | 金湖县 | 东宁县 | 通榆县 | 资溪县 | 奉贤区 | 教育 | 柘荣县 | 河北省 | 武隆县 | 文水县 | 富顺县 | 漳浦县 | 五指山市 | 扎鲁特旗 | 永吉县 | 通城县 | 江川县 | 拜城县 | 来宾市 | 获嘉县 | 石门县 | 灵璧县 | 娱乐 | 恩平市 | 如皋市 | 阿勒泰市 | 文成县 | 汉源县 | 黑河市 | 德昌县 | 和静县 | 盘山县 | 绩溪县 | 大悟县 | 德江县 | 班戈县 | 峨眉山市 | 易门县 | 万宁市 | 肥西县 | 海兴县 | 彰化县 | 禄丰县 | 岳西县 | 三河市 | 崇州市 | 东海县 | 宝兴县 | 襄汾县 | 当阳市 | 金堂县 | 新龙县 | 博湖县 | 出国 | 安国市 | 镇宁 | 鹤庆县 | 丘北县 | 盈江县 | 桐城市 | 香河县 | 安岳县 | 盘锦市 | 东兰县 | 乡宁县 | 保靖县 | 秀山 | 搜索 | 天台县 | 炉霍县 | 科技 | 鹤岗市 | 长泰县 | 安图县 |