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

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

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

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

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

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

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

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

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

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

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

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

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

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

相關(guān)會議論文 前10條

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

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

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

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

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

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

7 王錸;;ICO的風(fēng)險研究和法律歸責(zé)[A];犯罪學(xué)論壇（第五卷）[C];2018年

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

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

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

相關(guān)重要報(bào)紙文章 前10條

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

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

3 中國科學(xué)院虛擬經(jīng)濟(jì)與數(shù)據(jù)科學(xué)研究中心 劉鋒 東南大學(xué)文學(xué)院 呂乃基;互聯(lián)網(wǎng)中心化與去中心化之爭[N];中國社會科學(xué)報(bào);2019年

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

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

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

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

8 王夢影;比特幣風(fēng)潮，去中心化巨浪會有多高[N];中國青年報(bào);2013年

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

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

相關(guān)博士學(xué)位論文 前1條

1 閆起發(fā);面向視頻傳輸?shù)木幋a緩存技術(shù)研究[D];西南交通大學(xué);2017年

相關(guān)碩士學(xué)位論文 前10條

1 趙夢;無線網(wǎng)絡(luò)中的去中心化編碼緩存研究[D];西安電子科技大學(xué);2019年

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

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

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

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

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

7 尹秋文;基于Agent去中心化網(wǎng)格模型的構(gòu)建[D];吉林大學(xué);2018年

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

9 韓少騰;基于SaaS的去中心化SNS平臺的設(shè)計(jì)與實(shí)現(xiàn)[D];北京郵電大學(xué);2013年

10 賈月;去中心化與再中心化：后結(jié)構(gòu)主義視域下的網(wǎng)絡(luò)劇生產(chǎn)與傳播[D];山西大學(xué);2018年

本文編號：2666441