電子發(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)解析 1462次閱讀
- 如果智能合約被攻擊了怎么辦 547次閱讀
- 如何開發(fā)一個(gè)屬于自己的Chainlink智能合約 1521次閱讀
- 智能合約的技術(shù)運(yùn)作原理解析 1w次閱讀
- 基于Qtum-x86智能合約的創(chuàng)建過程解析 777次閱讀
- 預(yù)言機(jī)是如何幫助智能合約獲取區(qū)塊鏈外部數(shù)據(jù)的 2166次閱讀
- 智能合約訪問區(qū)塊鏈數(shù)據(jù)的兩種方法介紹 5846次閱讀
- 區(qū)塊鏈智能合約技術(shù)特點(diǎn)全面分析 3576次閱讀
- 以太坊的智能合約在區(qū)塊鏈中的作用是什么 4444次閱讀
- 區(qū)塊鏈商業(yè)應(yīng)用系統(tǒng)“GHBaaS”使區(qū)塊鏈真正從概念走向了應(yīng)用 1726次閱讀
- 摩爾MOL技術(shù)是如何構(gòu)建移動(dòng)互聯(lián)區(qū)塊鏈經(jīng)濟(jì)的 1520次閱讀
- 區(qū)塊鏈智能合約技術(shù)解析 3604次閱讀
- 區(qū)塊鏈游戲“狗巴巴”是一款基于以太坊智能合約的完全去中心化的游戲 1800次閱讀
- 什么是智能合約？區(qū)塊鏈智能合約漏洞又是怎么回事？ 5022次閱讀
- 區(qū)塊鏈發(fā)展史--深入淺出了解區(qū)塊鏈 9445次閱讀
上傳資料賺積分下載排行
本周
- 1電子電路原理第七版PDF電子教材免費(fèi)下載
- 0.00 MB | 1491次下載 | 免費(fèi)
- 2單片機(jī)典型實(shí)例介紹
- 18.19 MB | 95次下載 | 1 積分
- 3S7-200PLC編程實(shí)例詳細(xì)資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識(shí)別和講解說明
- 4.28 MB | 18次下載 | 4 積分
- 5開關(guān)電源原理及各功能電路詳解
- 0.38 MB | 11次下載 | 免費(fèi)
- 6100W短波放大電路圖
- 0.05 MB | 4次下載 | 3 積分
- 7基于單片機(jī)和 SG3525的程控開關(guān)電源設(shè)計(jì)
- 0.23 MB | 4次下載 | 免費(fèi)
- 8基于AT89C2051/4051單片機(jī)編程器的實(shí)驗(yàn)
- 0.11 MB | 4次下載 | 免費(fèi)
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費(fèi)
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費(fèi)
- 4LabView 8.0 專業(yè)版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費(fèi)
- 5555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33562次下載 | 免費(fèi)
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費(fèi)
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費(fèi)
- 8開關(guān)電源設(shè)計(jì)實(shí)例指南
- 未知 | 21539次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費(fèi)
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 78.1 MB | 537793次下載 | 免費(fèi)
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費(fèi)
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費(fèi)
- 6電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191183次下載 | 免費(fèi)
- 7十天學(xué)會(huì)AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183277次下載 | 免費(fèi)
- 8proe5.0野火版下載(中文版免費(fèi)下載)
- 未知 | 138039次下載 | 免費(fèi)
工商網(wǎng)監(jiān)
評(píng)論