【摘要】：區(qū)塊鏈系統(tǒng)在去中心化的環(huán)境下,通過鏈上節(jié)點共同維護數據一致性來實現不可篡改性。其導致了智能合約漏洞造成的經濟損失難以追回的問題。當前智能合約審計通常采用交付專業(yè)審計機構和自動化審計兩種方式。但前者存在過程繁瑣、耗時長的問題,后者存在審計時間長、誤報率高、只能發(fā)現已記錄在庫bug的局限。為了解決現有合約審計機制的局限,設計并實現一種基于側鏈的合約審計平臺(A Decentralized Smart Contract Auditing Platform Based on Sidechain,DCAPS),其適用于區(qū)塊鏈生態(tài),能夠激勵廣大公鏈用戶共同參與到合約審計。DCAPS提出一個激勵模型,通過引入信用分與保證金等機制,在激勵用戶積極參與有效測試的同時,限制多方合謀篡改區(qū)塊數據與消極測試等情況的發(fā)生。DCAPS通過雙向錨定的側鏈技術實現與主鏈耦合,使審計平臺與主鏈間的數據資產可進行交互,在側鏈上部署合約進行審計。審計流程高效透明,同時由于有多方角色參與,能更為全面地發(fā)現合約漏洞,并有效預防漏洞發(fā)現者隱瞞漏洞牟利與消極測試的問題。DCAPS在以太坊基礎上實現了一個簡單的去中心化合約審計模型,并測試其功能與額外性能開銷。測試結果表明,DCAPS可抵御鏈上角色多方合謀等安全威脅,同時它為以太坊系統(tǒng)帶來的額外開銷不超過10%。
【圖文】：

圖 3-2 Solidity token 定義示意圖現CAPS 系統(tǒng)流程的開端，在合約發(fā)布者提出工與用戶，讓其自主選擇是否加入側鏈。然側鏈用戶的資產轉移。，流程圖如 3-3 所示：過將新增關鍵字發(fā)布合約審計，并附上激勵易的形式進行全網廣播，告知全體用戶與礦身配置文件中定義的閾值，決定是否加入側初始化側鏈信息，礦工節(jié)點通過比對特殊交激勵金的設置后選擇加入側鏈。側鏈節(jié)點完內等待用戶報名。自身配置文件后，選擇加入側鏈。用戶向官方

并正確導入 EVM操作棧中。在合約被礦工執(zhí)行時，關鍵字對應的執(zhí)行函數能夠被正確執(zhí)行。合約如圖4-1 所示，新關鍵字被命名為 check_sentinel，通過將一個地址作為句柄，完成調用。圖 4-1 新增關鍵字調用實例通過 solc --bin-runtime xxx.sol 獲得智能合約 runtime code,即運行時字節(jié)碼序列，編譯示意圖如圖 4-2 所示：圖 4-2 合約編譯示意圖得到運行時字節(jié)碼序列后，調用 solc --hashes xxx.sol 獲得合約中欲執(zhí)行函數的hash。最后通過 evm --code runtimecode --input [輸入參數]來獲取合約函數的調用結果。其中 input 參數的類型為 16 位 hex 型，首部為 4byte 的函數 hash,之后每 32byte 是一個輸入參數實例。之后本文測試了 Submarine Commitments 功能的實現，，首先漏洞舉報用戶發(fā)布了加密后的漏洞描述，如圖 4-3 所示：待 6 個區(qū)塊后，漏洞發(fā)布者公布解密秘鑰，其余用戶才能收獲描述明文，如圖 4-4 所示
【學位授予單位】：華中科技大學
【學位級別】：碩士
【學位授予年份】：2019
【分類號】：F232;TP311.13

【相似文獻】

相關期刊論文 前10條

1 齊凱隆;;商務管家:去中心化自組織的創(chuàng)新產業(yè)[J];商場現代化;2019年21期

2 唐慶鵬;;新媒體“去中心化”的政治學解讀[J];福州大學學報(哲學社會科學版);2018年06期

3 張琪;;去中心化——當代資本主義的新特征[J];法制與社會;2018年04期

4 曾湖仙;;“去中心化”閱讀,構建思維新機制[J];語文月刊;2018年04期

5 劉鑫;;媒介生態(tài)學視野下的微博“去中心化”研究[J];新聞研究導刊;2017年06期

6 ;凱文·凱利:未來趨勢是去中心化[J];商周刊;2014年25期

7 喻曉馬;;去中心化的智時代即將開啟[J];聲屏世界·廣告人;2014年12期

8 張為民;;“去中心化”于互動化思維做營銷[J];聲屏世界·廣告人;2014年12期

9 劉春雄;;解碼顛覆時代系列之組織篇(二) “去中心化”時代的中心化現象[J];中外管理;2015年08期

10 楊延超;;代碼即法律:“腦洞”數字貨幣的未來[J];法律與生活;2019年15期

相關會議論文 前10條

1 劉冰洋;楊飛;任首首;魏鑫鵬;楊雪;王闖;;去中心化 互聯(lián)網基礎設施[A];2018中國信息通信大會論文摘要集[C];2018年

2 謝杰;;“去中心化”互聯(lián)網金融對經濟刑法規(guī)范的影響及其應對——比特幣關聯(lián)犯罪的刑法解釋[A];《上海法學研究》集刊（2019年第3卷 總第3卷）[C];2019年

3 李繼紅;高靈超;盧文達;嚴莉;;Zookeeper自動注冊與發(fā)現技術在國網全業(yè)務集成中的應用[A];2017智能電網新技術發(fā)展與應用研討會論文集[C];2017年

4 ;中國新聞媒體發(fā)展趨勢專題解析 2016年[A];艾瑞咨詢系列研究報告（2016年第13期）[C];2016年

5 段新星;;穩(wěn)健與積極的再平衡——從數字貨幣的設計思路到央行的策略建議[A];《IMI研究動態(tài)》2017年上半年合輯[C];2017年

6 ;編者的話[A];青年文藝論壇：互聯(lián)網時代的文化權利與數碼烏托邦（第四十三期 ）[C];2014年

7 王錸;;ICO的風險研究和法律歸責[A];犯罪學論壇（第五卷）[C];2018年

8 杜周全;周軍;王海龍;;霧計算在軍隊信息系統(tǒng)中的應用[A];第五屆中國指揮控制大會論文集[C];2017年

9 李幼平;;為安全擔責的中國版Web3.0[A];第18屆全國互聯(lián)網與音視頻廣播發(fā)展研討會暨第27屆中國數字廣播電視與網絡發(fā)展年會論文集[C];2019年

10 涂因子;夏冰冰;楊震;甘杰;王堯;;基于區(qū)塊鏈的共享充電樁平臺方案設計[A];數字中國 能源互聯(lián)——2018電力行業(yè)信息化年會論文集[C];2018年

相關重要報紙文章 前10條

1 北京大學經濟學院風險管理與保險學系博士生 鄭豪;區(qū)塊鏈“去中心化”與保險業(yè)“中心化”[N];中國銀行保險報;2020年

2 本報特約評論員 王亞宏;2018：黃金去中心化[N];中國黃金報;2018年

3 中國科學院虛擬經濟與數據科學研究中心 劉鋒 東南大學文學院 呂乃基;互聯(lián)網中心化與去中心化之爭[N];中國社會科學報;2019年

4 本報記者 姚金楠;能源互聯(lián)網：“去中心化控制”勢在必行[N];中國能源報;2019年

5 本報記者 馬方業(yè) 李冰;用跨境交易和冷鏈物流理解區(qū)塊鏈的去中心化[N];證券日報;2019年

6 本報記者 鄒奕萍;1.7億日活凸顯小程序成果 微信“去中心化”是個偽話題[N];通信信息報;2018年

7 賀昊;“去中心化”的成本算法[N];醫(yī)藥經濟報;2018年

8 王夢影;比特幣風潮，去中心化巨浪會有多高[N];中國青年報;2013年

9 孫祥棟 國網能源研究院經濟與能源供需研究所;去中心化——未來城市能源發(fā)展展望[N];國家電網報;2018年

10 見習記者 魯珈瑞;全球光伏市場去中心化趨勢持續(xù)增強[N];中國電力報;2018年

相關博士學位論文 前1條

1 閆起發(fā);面向視頻傳輸的編碼緩存技術研究[D];西南交通大學;2017年

相關碩士學位論文 前10條

1 趙夢;無線網絡中的去中心化編碼緩存研究[D];西安電子科技大學;2019年

2 趙炳鋮;基于側鏈的去中心化智能合約審計系統(tǒng)[D];華中科技大學;2019年

3 葉曉彤;去中心化的Wi-Fi接入資源動態(tài)分配模塊的設計與實現[D];北京郵電大學;2019年

4 顧舟_";比特幣本質屬性及其法律規(guī)制[D];上海交通大學;2017年

5 李行洲;基于規(guī)則推理的去中心化知識共享機制[D];武漢科技大學;2019年

6 謝華材;基于安全投票的去中心化CPS設備認證與協(xié)作機制研究[D];昆明理工大學;2018年

7 尹秋文;基于Agent去中心化網格模型的構建[D];吉林大學;2018年

8 侯鈞耀;基于Petri網的自動制造系統(tǒng)去中心化監(jiān)督控制策略研究[D];西安電子科技大學;2018年

9 韓少騰;基于SaaS的去中心化SNS平臺的設計與實現[D];北京郵電大學;2013年

10 賈月;去中心化與再中心化：后結構主義視域下的網絡劇生產與傳播[D];山西大學;2018年

本文編號：2666441