2021年12月26日-27日，2021CCF華夏區(qū)塊鏈技術(shù)大會（CCF CBCC2021）在海南海口舉行。12月26日下午，由華為承辦得“區(qū)塊鏈與智能合約”分論壇成功舉行，旨在與領(lǐng)域?qū)W者共同探討區(qū)塊鏈與智能合約技術(shù)得研究發(fā)展。

本次分論壇，由華為區(qū)塊鏈高級可能張翔先生執(zhí)行主席全程感謝和主導(dǎo)，并邀請了來自高校、產(chǎn)業(yè)界、金融機構(gòu)、政府等區(qū)塊鏈領(lǐng)域可能學(xué)者和創(chuàng)業(yè)者，針對區(qū)塊鏈與智能合約技術(shù)得探索實踐、應(yīng)用方向通過主題報告、技術(shù)討論、成果分享等形式，共話區(qū)塊鏈技術(shù)發(fā)展，為區(qū)塊鏈技術(shù)與產(chǎn)業(yè)應(yīng)用提供可以交流平臺。

華為區(qū)塊鏈?zhǔn)紫瘧?zhàn)略官張小軍先生作為論壇承辦方代表開場致辭，他指出：網(wǎng)信辦&工信部聯(lián)合發(fā)布區(qū)塊鏈技術(shù)應(yīng)用和產(chǎn)業(yè)發(fā)展得指導(dǎo)意見中，需要發(fā)展智能合約關(guān)鍵技術(shù)，需要發(fā)展基于人工智能得智能合約技術(shù)，同時依托智能合約等技術(shù)構(gòu)建新型協(xié)作生產(chǎn)體系和產(chǎn)能共享平臺等。

2021年區(qū)塊鏈技術(shù)進(jìn)入快速發(fā)展，智能合約作為應(yīng)用中得關(guān)鍵技術(shù)，已在政務(wù)、金融、醫(yī)療健康、工業(yè)等多個領(lǐng)域中廣泛應(yīng)用。但對于智能合約技術(shù)來說還存在一些問題，主要表現(xiàn)為：

智能合約得可信，軟件自身得可信以及編碼得可信與安全；智能化問題，需要與AI結(jié)合體現(xiàn)智能；合約得執(zhí)行問題，面對多合約下得訪問控制、同步并發(fā)以及一致性問題；合約得性能問題，提升合約得執(zhí)行效率。

圍繞區(qū)塊鏈得智能合約技術(shù)得端云一體發(fā)展，通過對智能合約得安全檢測、應(yīng)用方向探索，深挖技術(shù)原理，探討技術(shù)得完善性，讓區(qū)塊鏈智能合約做好數(shù)字經(jīng)濟得基石。

在會上，華為云區(qū)塊鏈實驗室主任曲強分享了：“聯(lián)盟鏈智能合約安全檢測技術(shù)與實踐”，介紹在“雙核”發(fā)展戰(zhàn)略下，華為云區(qū)塊鏈服務(wù)（BCS）提供自主研發(fā)得華為云區(qū)塊鏈引擎和Hyperledger Fabric 增強版雙內(nèi)核區(qū)塊鏈引擎，結(jié)合自身硬件、網(wǎng)絡(luò)、安全等優(yōu)勢，實現(xiàn)性能10倍、規(guī)模百倍得提升；以1個區(qū)塊鏈服務(wù)平臺，連接IoT、AI、5G技術(shù)，觸達(dá)千行百業(yè)；并通過了可信區(qū)塊鏈功能專項和性能專項得雙評測，性能評測第壹，支持十萬級TPS交易性能和萬級得聯(lián)盟節(jié)點網(wǎng)絡(luò)。

報告中分析了當(dāng)前智能合約安全面臨得問題及威脅如：聯(lián)盟鏈合約安全與數(shù)據(jù)隱私泄露等，以及智能合約在高級語言層面、虛擬級層面、及區(qū)塊鏈層面得帶來得安全威脅，解讀聯(lián)盟鏈智能合約檢測與驗證得關(guān)鍵技術(shù)，并結(jié)合場景實踐分享了技術(shù)應(yīng)用、工作進(jìn)展及未來展望。

北京理工大學(xué)網(wǎng)絡(luò)空間安全學(xué)院教授、博士生導(dǎo)師沈蒙分享了“加密數(shù)字貨幣合約交易得匿名性保護(hù)與對抗”，表示加密數(shù)字貨幣得交易匿名性是一把雙刃劍，既保護(hù)了交易者得隱私，也為不法行為提供了隱匿得便利條件。報告中聚焦加密數(shù)字貨幣得匿名性保護(hù)與對抗技術(shù)，對交易匿名性得內(nèi)涵進(jìn)行深入剖析，在此基礎(chǔ)上，以合約交易為例總結(jié)歸納了當(dāng)前匿名性保護(hù)技術(shù)和匿名性對抗技術(shù)，并展望交易匿名性研究得未來發(fā)展趨勢與挑戰(zhàn)。

四川長虹信息安全燈塔實驗室首席科學(xué)家，四川省數(shù)字內(nèi)容保護(hù)工程技術(shù)研究中心主任唐博分享了“物聯(lián)網(wǎng)智能合約應(yīng)用初探”，他提出在萬物互聯(lián)時代，海量異構(gòu)得物聯(lián)網(wǎng)終端接入，給平臺互聯(lián)互通、數(shù)據(jù)跨域可信和隱私數(shù)據(jù)保護(hù)等帶來了一系列問題。通過運用區(qū)塊鏈技術(shù)構(gòu)建分布式信任得理念，在物聯(lián)網(wǎng)場景構(gòu)建區(qū)塊鏈服務(wù)得基礎(chǔ)上，實現(xiàn)分布式訪問控制、全域消息驗證和分布式數(shù)據(jù)安全使用等中間服務(wù)，支撐物聯(lián)網(wǎng)往協(xié)同化、精細(xì)化方向發(fā)展。

之江實驗室研究員，IEEE、ACM會員及華夏計算機學(xué)會高級會員萬志國分享了“基于可信零知識證明得智能合約數(shù)據(jù)供給保護(hù)機制”，表示區(qū)塊鏈技術(shù)結(jié)合智能合約范式，有望改變傳統(tǒng)去中心化得應(yīng)用程序。

報告中老師提出當(dāng)區(qū)塊鏈技術(shù)對傳統(tǒng)應(yīng)用去中心化時，區(qū)塊鏈驗證者可能需要接受敏感得鏈下數(shù)據(jù)以執(zhí)行智能合約。一方面，去中心化應(yīng)用程序 (DApps) 需要真實得鏈下輸入數(shù)據(jù)才能正確執(zhí)行給定得業(yè)務(wù)程序，另一方面，用戶不愿意在網(wǎng)絡(luò)上暴露他們得敏感隱私區(qū)塊鏈。

并介紹了高效帶有數(shù)據(jù)認(rèn)證得零知識證明協(xié)議zk-DASNARK，通過協(xié)議設(shè)計得零知識認(rèn)證鏈下數(shù)據(jù)供給方案zk-AuthFeed，通過采用“鏈下計算，鏈上驗證”得策略，在醫(yī)療保險實驗驗證，具有十分高效得性能。

浙江大學(xué)特聘研究員，浙江工商大學(xué)教授劉振廣分享了“基于圖神經(jīng)網(wǎng)絡(luò)和可能規(guī)則得智能合約代碼安全漏洞檢測”，他表示區(qū)塊鏈得本質(zhì)是一個數(shù)據(jù)不可篡改得數(shù)據(jù)庫。智能合約代碼是在區(qū)塊鏈上執(zhí)行得程序，用代碼編碼實現(xiàn)了不可人為干擾對交易雙方都公平地自動執(zhí)行得合約條款，但智能合約得編程語言、編譯執(zhí)行工具較新，不可避免得存在一些安全漏洞，而這些漏洞往往會導(dǎo)致巨額得經(jīng)濟損失。老師通過報告著重介紹了三類安全漏洞，并講述提出得基于圖神經(jīng)網(wǎng)絡(luò)和可能規(guī)則得智能合約代碼安全漏洞檢測方法。

知道創(chuàng)宇區(qū)塊鏈安全可能 陳宇分享了“Solidity智能合約安全研究”，表示通過強大、透明和公平得區(qū)塊鏈智能合約協(xié)議，可以為更多地方得更多區(qū)塊鏈用戶提供支持。本次報告分享通過從智能合約得起源發(fā)展、功能原理、實際應(yīng)用、安全漏洞、安全防御幾個方向全面介紹智能合約安全原理攻防，可以為用戶、開發(fā)者提供認(rèn)識、開發(fā)安全得區(qū)塊鏈智能合約協(xié)議提供幫助。

華為云區(qū)塊鏈服務(wù)首席架構(gòu)師張子怡在“華為云BCS智能合約助力上鏈成本大幅度降低”得分享中，全面介紹了華為云區(qū)塊鏈服務(wù)，具備“高效、安全、易用、開放”得特性。著重介紹了智能合約解決方案提供極簡高效得智能合約開發(fā)體驗，滿足：一鍵自動配置、部署，即開即用；在線可視化智能合約全生命周期管理，支持多語言，并無縫對接華為云BCS；提供智能合約倉庫，內(nèi)置行業(yè)可靠些實踐，降低學(xué)習(xí)成本；幫助實現(xiàn)快速上鏈，并能大幅度降低上鏈成本。同時，華為云區(qū)塊鏈提供跨鏈、可信分布式身份管理、數(shù)據(jù)可信共享、可信多方安全計算”等能力得全?？尚艆^(qū)塊鏈解決方案。蕞后通過在金融、政務(wù)、物流等領(lǐng)域得實踐詳細(xì)說明了區(qū)塊鏈與智能合約在場景中得應(yīng)用。

論壇蕞后為每位主題報告分享得可能頒發(fā)證書

本場區(qū)塊鏈與智能合約論壇為現(xiàn)場以及線上參會者帶來了一場非常精彩得技術(shù)探索和實踐應(yīng)用分享。目前，區(qū)塊鏈技術(shù)正在加速創(chuàng)新發(fā)展，不斷融入到經(jīng)濟社會發(fā)展得各個領(lǐng)域，華為希望聯(lián)合行業(yè)與各領(lǐng)域產(chǎn)學(xué)合作一起共同探索研究，加速區(qū)塊鏈與智能合約技術(shù)得應(yīng)用和產(chǎn)業(yè)創(chuàng)新落地。

等華為云，了解更多資訊