電子發(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)變遷圖和博弈策略形式的一系列化簡方法最后，實(shí)現(xiàn)了一個(gè)智能合約建模、分析和部署工具。針對(duì)一組真實(shí)合同的實(shí)驗(yàn)表明，該工具能自動(dòng)發(fā)現(xià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)解析 1511次閱讀
- 如果智能合約被攻擊了怎么辦 589次閱讀
- 如何開發(fā)一個(gè)屬于自己的Chainlink智能合約 1590次閱讀
- 智能合約的技術(shù)運(yùn)作原理解析 1w次閱讀
- 基于Qtum-x86智能合約的創(chuàng)建過程解析 838次閱讀
- 預(yù)言機(jī)是如何幫助智能合約獲取區(qū)塊鏈外部數(shù)據(jù)的 2249次閱讀
- 智能合約訪問區(qū)塊鏈數(shù)據(jù)的兩種方法介紹 5962次閱讀
- 區(qū)塊鏈智能合約技術(shù)特點(diǎn)全面分析 3727次閱讀
- 以太坊的智能合約在區(qū)塊鏈中的作用是什么 4525次閱讀
- 摩爾MOL技術(shù)是如何構(gòu)建移動(dòng)互聯(lián)區(qū)塊鏈經(jīng)濟(jì)的 1598次閱讀
- 區(qū)塊鏈智能合約技術(shù)解析 3663次閱讀
- 區(qū)塊鏈游戲“狗巴巴”是一款基于以太坊智能合約的完全去中心化的游戲 1858次閱讀
- 什么是智能合約？區(qū)塊鏈智能合約漏洞又是怎么回事？ 5110次閱讀
- 區(qū)塊鏈、智能合約和區(qū)中心化網(wǎng)絡(luò)的基本原理 6254次閱讀
- 區(qū)塊鏈發(fā)展史--深入淺出了解區(qū)塊鏈 9575次閱讀
上傳資料賺積分下載排行
本周
- 1RK3588數(shù)據(jù)手冊(cè)
- 2.24 MB | 7次下載 | 免費(fèi)
- 2臺(tái)達(dá)變頻器VFD-M使用手冊(cè)
- 2.51 MB | 2次下載 | 免費(fèi)
- 3DAP03變頻器使用手冊(cè)
- 5.72 MB | 2次下載 | 免費(fèi)
- 4PC0310 高亮度恒流LED驅(qū)動(dòng)控制電路數(shù)據(jù)手冊(cè)
- 0.54 MB | 1次下載 | 免費(fèi)
- 5SAJ8000變頻器使用手冊(cè)
- 1.37 MB | 1次下載 | 免費(fèi)
- 6HSJ08 電機(jī)驅(qū)動(dòng)芯片數(shù)據(jù)手冊(cè)
- 1.00 MB | 次下載 | 免費(fèi)
- 7LP8843芯茂微PD/快充高頻 QR 反激控制器
- 3.20 MB | 次下載 | 免費(fèi)
- 8Mini3120 小超小體積 無線收發(fā)模塊 規(guī)格書
- 804.03 KB | 次下載 | 免費(fèi)
本月
- 1常用電子元器件集錦
- 1.72 MB | 24500次下載 | 免費(fèi)
- 2如何看懂電子電路圖
- 12.88 MB | 136次下載 | 免費(fèi)
- 3PC2456高壓浪涌抑制器控制器數(shù)據(jù)手冊(cè)
- 3.03 MB | 14次下載 | 免費(fèi)
- 4ssd1306單片 CMOS OLED/PLED 驅(qū)動(dòng)芯片中文手冊(cè)
- 1.66 MB | 11次下載 | 1 積分
- 5PC5502負(fù)載均流控制電路數(shù)據(jù)手冊(cè)
- 1.63 MB | 11次下載 | 免費(fèi)
- 6PC2464具理想二極管的浪涌抑制控制器數(shù)據(jù)手冊(cè)
- 4.42 MB | 9次下載 | 免費(fèi)
- 7PC2466高電壓浪涌抑制器數(shù)據(jù)手冊(cè)
- 3.37 MB | 8次下載 | 免費(fèi)
- 8ESP32開發(fā)板元件資料
- 0.03 MB | 7次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935132次下載 | 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 | 191409次下載 | 10 積分
- 5十天學(xué)會(huì)AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183345次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81593次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費(fèi)下載
- 0.02 MB | 73818次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65990次下載 | 10 積分
工商網(wǎng)監(jiān)
評(píng)論