■ 賽迪智庫 劉曦子

Libra白皮書項目引起全球廣泛關(guān)注，關(guān)于Libra對我國區(qū)塊鏈技術(shù)發(fā)展啟示方面，賽迪智庫網(wǎng)絡(luò)安全所認(rèn)為，應(yīng)該大力支持區(qū)塊鏈理論和技術(shù)研究，加快共性關(guān)鍵技術(shù)突破。

一是緊跟國際區(qū)塊鏈理論發(fā)展前沿，通過重大科學(xué)計劃、國際科技合作計劃等方式開展區(qū)塊鏈基礎(chǔ)理論研究，探討區(qū)塊鏈技術(shù)中涉及數(shù)學(xué)、信息學(xué)、密碼學(xué)、經(jīng)濟(jì)學(xué)的基礎(chǔ)理論和基本方法，為區(qū)塊鏈技術(shù)研發(fā)提供理論支持；建立區(qū)塊鏈科學(xué)理論體系，加快研究分布式計算、博弈論、加解密算法等理論問題，探索區(qū)塊鏈性能、隱私、安全之間的平衡規(guī)律和鏈上鏈下協(xié)同治理機(jī)制，加快區(qū)塊鏈技術(shù)理論、方法與其他領(lǐng)域融合研究，形成跨專業(yè)、多領(lǐng)域交叉的區(qū)塊鏈技術(shù)科學(xué)。

二是明確區(qū)塊鏈核心技術(shù)，支持國內(nèi)大型互聯(lián)網(wǎng)企業(yè)、區(qū)塊鏈龍頭企業(yè)聯(lián)合高校、科研院所等協(xié)同攻關(guān)，搭建重大創(chuàng)新平臺和重點(diǎn)實(shí)驗(yàn)室，開展支撐區(qū)塊鏈開源平臺的基礎(chǔ)、核心技術(shù)研究，攻克區(qū)塊鏈系統(tǒng)在去中心化或多中心條件下的性能提升、互聯(lián)互通、安全與隱私保護(hù)等難題。重點(diǎn)突破共識協(xié)議、智能合約安全、跨鏈通信、數(shù)據(jù)隱私保護(hù)等共性關(guān)鍵技術(shù)。

三是針對區(qū)塊鏈技術(shù)不成熟、安全測試技術(shù)不完善，安全漏洞多等問題，支持區(qū)塊鏈安全企業(yè)、科研院校研究團(tuán)隊加強(qiáng)區(qū)塊鏈安全與隱私保護(hù)研究工作。例如在智能合約方面，充分研究Libra自主研發(fā)的智能合約語言Move的安全機(jī)制，探索支持可證明正確的簡單智能合約的創(chuàng)建的技術(shù)方案，突破智能合約語言形式化驗(yàn)證、安全構(gòu)建機(jī)制、安全性分析等技術(shù)，降低智能合約安全漏洞發(fā)生概率；支持區(qū)塊鏈安全研究機(jī)構(gòu)，加快研究區(qū)塊鏈平臺以及在網(wǎng)絡(luò)層、數(shù)據(jù)層、合約層、激勵層以及應(yīng)用層的信息安全標(biāo)準(zhǔn)，形成區(qū)塊鏈信息安全服務(wù)要求，研發(fā)面向區(qū)塊鏈系統(tǒng)、智能合約、錢包等系統(tǒng)及應(yīng)用的安全測試工具，提高區(qū)塊鏈技術(shù)應(yīng)用安全保障能力。