■ 賽迪智庫 劉曦子

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

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

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

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