2021年12月26日-27日,2021CCF華夏區塊鏈技術大會(CCF CBCC2021)在海南海口舉行。12月26日下午,由華為承辦得“區塊鏈與智能合約”分論壇成功舉行,旨在與領域學者共同探討區塊鏈與智能合約技術得研究發展。
本次分論壇,由華為區塊鏈高級可能張翔先生執行主席全程感謝和主導,并邀請了來自高校、產業界、金融機構、政府等區塊鏈領域可能學者和創業者,針對區塊鏈與智能合約技術得探索實踐、應用方向通過主題報告、技術討論、成果分享等形式,共話區塊鏈技術發展,為區塊鏈技術與產業應用提供可以交流平臺。
華為區塊鏈首席戰略官張小軍先生作為論壇承辦方代表開場致辭,他指出:網信辦&工信部聯合發布區塊鏈技術應用和產業發展得指導意見中,需要發展智能合約關鍵技術,需要發展基于人工智能得智能合約技術,同時依托智能合約等技術構建新型協作生產體系和產能共享平臺等。
2021年區塊鏈技術進入快速發展,智能合約作為應用中得關鍵技術,已在政務、金融、醫療健康、工業等多個領域中廣泛應用。但對于智能合約技術來說還存在一些問題,主要表現為:
智能合約得可信,軟件自身得可信以及編碼得可信與安全;智能化問題,需要與AI結合體現智能;合約得執行問題,面對多合約下得訪問控制、同步并發以及一致性問題;合約得性能問題,提升合約得執行效率。圍繞區塊鏈得智能合約技術得端云一體發展,通過對智能合約得安全檢測、應用方向探索,深挖技術原理,探討技術得完善性,讓區塊鏈智能合約做好數字經濟得基石。
在會上,華為云區塊鏈實驗室主任曲強分享了:“聯盟鏈智能合約安全檢測技術與實踐”,介紹在“雙核”發展戰略下,華為云區塊鏈服務(BCS)提供自主研發得華為云區塊鏈引擎和Hyperledger Fabric 增強版雙內核區塊鏈引擎,結合自身硬件、網絡、安全等優勢,實現性能10倍、規模百倍得提升;以1個區塊鏈服務平臺,連接IoT、AI、5G技術,觸達千行百業;并通過了可信區塊鏈功能專項和性能專項得雙評測,性能評測第壹,支持十萬級TPS交易性能和萬級得聯盟節點網絡。
報告中分析了當前智能合約安全面臨得問題及威脅如:聯盟鏈合約安全與數據隱私泄露等,以及智能合約在高級語言層面、虛擬級層面、及區塊鏈層面得帶來得安全威脅,解讀聯盟鏈智能合約檢測與驗證得關鍵技術,并結合場景實踐分享了技術應用、工作進展及未來展望。
北京理工大學網絡空間安全學院教授、博士生導師沈蒙分享了“加密數字貨幣合約交易得匿名性保護與對抗”,表示加密數字貨幣得交易匿名性是一把雙刃劍,既保護了交易者得隱私,也為不法行為提供了隱匿得便利條件。報告中聚焦加密數字貨幣得匿名性保護與對抗技術,對交易匿名性得內涵進行深入剖析,在此基礎上,以合約交易為例總結歸納了當前匿名性保護技術和匿名性對抗技術,并展望交易匿名性研究得未來發展趨勢與挑戰。
四川長虹信息安全燈塔實驗室首席科學家,四川省數字內容保護工程技術研究中心主任唐博分享了“物聯網智能合約應用初探”,他提出在萬物互聯時代,海量異構得物聯網終端接入,給平臺互聯互通、數據跨域可信和隱私數據保護等帶來了一系列問題。通過運用區塊鏈技術構建分布式信任得理念,在物聯網場景構建區塊鏈服務得基礎上,實現分布式訪問控制、全域消息驗證和分布式數據安全使用等中間服務,支撐物聯網往協同化、精細化方向發展。
之江實驗室研究員,IEEE、ACM會員及華夏計算機學會高級會員萬志國分享了“基于可信零知識證明得智能合約數據供給保護機制”,表示區塊鏈技術結合智能合約范式,有望改變傳統去中心化得應用程序。
報告中老師提出當區塊鏈技術對傳統應用去中心化時,區塊鏈驗證者可能需要接受敏感得鏈下數據以執行智能合約。一方面,去中心化應用程序 (DApps) 需要真實得鏈下輸入數據才能正確執行給定得業務程序,另一方面,用戶不愿意在網絡上暴露他們得敏感隱私區塊鏈。
并介紹了高效帶有數據認證得零知識證明協議zk-DASNARK,通過協議設計得零知識認證鏈下數據供給方案zk-AuthFeed,通過采用“鏈下計算,鏈上驗證”得策略,在醫療保險實驗驗證,具有十分高效得性能。
浙江大學特聘研究員,浙江工商大學教授劉振廣分享了“基于圖神經網絡和可能規則得智能合約代碼安全漏洞檢測”,他表示區塊鏈得本質是一個數據不可篡改得數據庫。智能合約代碼是在區塊鏈上執行得程序,用代碼編碼實現了不可人為干擾對交易雙方都公平地自動執行得合約條款,但智能合約得編程語言、編譯執行工具較新,不可避免得存在一些安全漏洞,而這些漏洞往往會導致巨額得經濟損失。老師通過報告著重介紹了三類安全漏洞,并講述提出得基于圖神經網絡和可能規則得智能合約代碼安全漏洞檢測方法。
知道創宇區塊鏈安全可能 陳宇分享了“Solidity智能合約安全研究”,表示通過強大、透明和公平得區塊鏈智能合約協議,可以為更多地方得更多區塊鏈用戶提供支持。本次報告分享通過從智能合約得起源發展、功能原理、實際應用、安全漏洞、安全防御幾個方向全面介紹智能合約安全原理攻防,可以為用戶、開發者提供認識、開發安全得區塊鏈智能合約協議提供幫助。
華為云區塊鏈服務首席架構師張子怡在“華為云BCS智能合約助力上鏈成本大幅度降低”得分享中,全面介紹了華為云區塊鏈服務,具備“高效、安全、易用、開放”得特性。著重介紹了智能合約解決方案提供極簡高效得智能合約開發體驗,滿足:一鍵自動配置、部署,即開即用;在線可視化智能合約全生命周期管理,支持多語言,并無縫對接華為云BCS;提供智能合約倉庫,內置行業可靠些實踐,降低學習成本;幫助實現快速上鏈,并能大幅度降低上鏈成本。同時,華為云區塊鏈提供跨鏈、可信分布式身份管理、數據可信共享、可信多方安全計算”等能力得全棧可信區塊鏈解決方案。蕞后通過在金融、政務、物流等領域得實踐詳細說明了區塊鏈與智能合約在場景中得應用。
論壇蕞后為每位主題報告分享得可能頒發證書
本場區塊鏈與智能合約論壇為現場以及線上參會者帶來了一場非常精彩得技術探索和實踐應用分享。目前,區塊鏈技術正在加速創新發展,不斷融入到經濟社會發展得各個領域,華為希望聯合行業與各領域產學合作一起共同探索研究,加速區塊鏈與智能合約技術得應用和產業創新落地。
等華為云,了解更多資訊