電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
本文研究區(qū)塊鏈智能合約的缺陷檢測(cè)問題，即檢測(cè)合約中是否存在部分合約方無論選擇什么動(dòng)作，均無法避免損失的狀態(tài)。將智能合約問題轉(zhuǎn)換成合約狀態(tài)遷移圖上的博弈策略選擇冋題，提岀了基于納什均衡理論的合約缺陷自動(dòng)檢測(cè)方法，以及為了提高檢測(cè)效率，提出了針對(duì)合約狀態(tài)變遷圖和博弈策略形式的一系列化簡(jiǎn)方法最后，實(shí)現(xiàn)了一個(gè)智能合約建模、分析和部署工具。針對(duì)一組真實(shí)合同的實(shí)驗(yàn)表明，該工具能自動(dòng)發(fā)現(xiàn)部分合同缺陷，化簡(jiǎn)方法提升缺陷檢測(cè)效率的效果明顯。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 基于區(qū)塊鏈的網(wǎng)絡(luò)安全漏洞檢測(cè)系統(tǒng) 13次下載
- 基于智能合約的無線Mesh網(wǎng)絡(luò)安全架構(gòu)SCSA 3次下載
- 基于以太坊區(qū)塊鏈的物聯(lián)網(wǎng)設(shè)備訪問控制機(jī)制 12次下載
- 區(qū)塊鏈在空間信息智能感知領(lǐng)域的應(yīng)用 6次下載
- 區(qū)塊鏈共識(shí)算法的效能優(yōu)化研究及總結(jié) 4次下載
- 一種基于深度神經(jīng)網(wǎng)絡(luò)的龐氏騙局合約檢測(cè)方法 4次下載
- 基于區(qū)塊鏈并行的以太坊數(shù)據(jù)快速導(dǎo)出工具 7次下載
- 一種基于改進(jìn)區(qū)塊鏈的智能制造安全模型 30次下載
- 區(qū)塊鏈的基礎(chǔ)架構(gòu)、應(yīng)用發(fā)展及關(guān)鍵技術(shù)綜述 23次下載
- 基于智能合約的三方博弈理性委托計(jì)算協(xié)議 3次下載
- 基于SPESC到目標(biāo)程序語言的智能合約系統(tǒng)框架 15次下載
- 區(qū)塊鏈中的分布式數(shù)據(jù)庫管理系統(tǒng)相關(guān)研究 8次下載
- 區(qū)塊鏈的核心架構(gòu)及技術(shù)相關(guān)研究 22次下載
- 關(guān)于區(qū)塊鏈共識(shí)機(jī)制的研究及原理 24次下載
- 關(guān)于區(qū)塊鏈擴(kuò)容技術(shù)的研究和詳細(xì)資料 44次下載
- 基于區(qū)塊鏈技術(shù)框架的Substrate智能合約平臺(tái)解析 1.8k次閱讀
- 如果智能合約被攻擊了怎么辦 758次閱讀
- 如何開發(fā)一個(gè)屬于自己的Chainlink智能合約 1.9k次閱讀
- 智能合約的技術(shù)運(yùn)作原理解析 1.1w次閱讀
- 基于Qtum-x86智能合約的創(chuàng)建過程解析 1.1k次閱讀
- 預(yù)言機(jī)是如何幫助智能合約獲取區(qū)塊鏈外部數(shù)據(jù)的 2.5k次閱讀
- 智能合約訪問區(qū)塊鏈數(shù)據(jù)的兩種方法介紹 6.4k次閱讀
- 區(qū)塊鏈智能合約技術(shù)特點(diǎn)全面分析 4k次閱讀
- 以太坊的智能合約在區(qū)塊鏈中的作用是什么 4.8k次閱讀
- 摩爾MOL技術(shù)是如何構(gòu)建移動(dòng)互聯(lián)區(qū)塊鏈經(jīng)濟(jì)的 2k次閱讀
- 區(qū)塊鏈智能合約技術(shù)解析 3.9k次閱讀
- 區(qū)塊鏈游戲“狗巴巴”是一款基于以太坊智能合約的完全去中心化的游戲 2.2k次閱讀
- 什么是智能合約？區(qū)塊鏈智能合約漏洞又是怎么回事？ 5.4k次閱讀
- 區(qū)塊鏈、智能合約和區(qū)中心化網(wǎng)絡(luò)的基本原理 6.7k次閱讀
- 區(qū)塊鏈發(fā)展史--深入淺出了解區(qū)塊鏈 10k次閱讀
上傳資料賺積分下載排行
本周
- 1新一代網(wǎng)絡(luò)可視化（NPB 2.0）
- 3.40 MB | 1次下載 | 免費(fèi)
- 2MDD品牌三極管MMBT3906數(shù)據(jù)手冊(cè)
- 2.33 MB | 次下載 | 免費(fèi)
- 3MDD品牌三極管S9012數(shù)據(jù)手冊(cè)
- 2.62 MB | 次下載 | 免費(fèi)
- 4聯(lián)想flex2-14D/15D說明書
- 4.92 MB | 次下載 | 免費(fèi)
- 5收音環(huán)繞擴(kuò)音機(jī) AVR-1507手冊(cè)
- 2.50 MB | 次下載 | 免費(fèi)
- 624Pin Type-C連接器設(shè)計(jì)報(bào)告
- 1.06 MB | 次下載 | 免費(fèi)
- 7MS1000TA 超聲波測(cè)量模擬前端芯片技術(shù)手冊(cè)
- 0.60 MB | 次下載 | 免費(fèi)
- 8MS1022高精度時(shí)間測(cè)量(TDC)電路數(shù)據(jù)手冊(cè)
- 1.81 MB | 次下載 | 免費(fèi)
本月
- 1愛華AIWA HS-J202維修手冊(cè)
- 3.34 MB | 37次下載 | 免費(fèi)
- 2PC5502負(fù)載均流控制電路數(shù)據(jù)手冊(cè)
- 1.63 MB | 23次下載 | 免費(fèi)
- 3NB-IoT芯片廠商的資料說明
- 0.31 MB | 22次下載 | 1 積分
- 4H110主板CPU PWM芯片ISL95858HRZ-T核心供電電路圖資料
- 0.63 MB | 6次下載 | 1 積分
- 5UWB653Pro USB口測(cè)距通信定位模塊規(guī)格書
- 838.47 KB | 5次下載 | 免費(fèi)
- 6技嘉H110主板IT8628E_BX IO電路圖資料
- 2.61 MB | 4次下載 | 1 積分
- 7蘇泊爾DCL6907(即CHK-S007)單芯片電磁爐原理圖資料
- 0.04 MB | 4次下載 | 1 積分
- 8100W準(zhǔn)諧振反激式恒流電源電路圖資料
- 0.09 MB | 2次下載 | 1 積分
總榜
- 1matlab軟件下載入口
- 未知 | 935137次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計(jì)
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191439次下載 | 10 積分
- 5十天學(xué)會(huì)AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183353次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81602次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費(fèi)下載
- 0.02 MB | 73822次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65991次下載 | 10 積分
工商網(wǎng)監(jiān)
評(píng)論