• <tr id="yyy80"></tr>
  • <sup id="yyy80"></sup>
  • <tfoot id="yyy80"><noscript id="yyy80"></noscript></tfoot>
  • 99热精品在线国产_美女午夜性视频免费_国产精品国产高清国产av_av欧美777_自拍偷自拍亚洲精品老妇_亚洲熟女精品中文字幕_www日本黄色视频网_国产精品野战在线观看 ?

    面向以太坊的智能合約自動(dòng)生成方法研究與實(shí)現(xiàn)

    2020-12-07 05:57:31高一琛趙斌張召
    關(guān)鍵詞:智能合約區(qū)塊鏈

    高一琛 趙斌 張召

    摘要:基于以太坊的智能合約已經(jīng)廣泛應(yīng)用于各個(gè)領(lǐng)域,然而合約開發(fā)需要完備的專業(yè)領(lǐng)域知識(shí)和編程能力,針對(duì)智能合約編程友好性,本文提出了一種對(duì)于特定領(lǐng)域智能合約自動(dòng)生成的方法,實(shí)現(xiàn)了對(duì)于智能合約的聚類分析以及交易類智能合約基本函數(shù)代碼的生成,對(duì)于生成的代碼采用BLEU以及SmartCheck進(jìn)行檢測,得到了較好的檢測結(jié)果,采用MFC將生成的代碼和uI控件鏈接,為用戶提供友好的智能合約編程頁面,實(shí)現(xiàn)智能合約的自動(dòng)生成,方法生成的智能合約代碼有一定的準(zhǔn)確性,能夠?qū)χ悄芎霞s的開發(fā)提供幫助,最后,通過一個(gè)案例分析驗(yàn)證了生成的智能合約的可用性。

    關(guān)鍵詞:智能合約:以太坊:區(qū)塊鏈

    中圖分類號(hào):TP301 文獻(xiàn)標(biāo)志碼:A DOI:10.3969/j,issn,1000-5641.202091015

    0引言

    區(qū)塊鏈近年來引發(fā)了多個(gè)行業(yè)利益相關(guān)者的興趣,被認(rèn)為是人類信用進(jìn)化史上繼血親信用、貴金屬信用、央行紙幣信用之后的第四個(gè)里程碑,隨著區(qū)塊鏈技術(shù)在金融、能源、保險(xiǎn)、物流和交通等關(guān)鍵領(lǐng)域的應(yīng)用,它在全球范圍內(nèi)引起了越來越多的關(guān)注,區(qū)塊鏈目前處于2.0時(shí)代,也就是應(yīng)用功能更加強(qiáng)大的智能合約時(shí)代。

    智能合約是一種由事件驅(qū)動(dòng)的、具有狀態(tài)的代碼合約和算法合同,隨著區(qū)塊鏈技術(shù)的深入發(fā)展而受到廣泛關(guān)注和研究,現(xiàn)有的智能合約是一種可自動(dòng)執(zhí)行的協(xié)議,在一定條件下直接控制各方之間的數(shù)字貨幣或資產(chǎn)的轉(zhuǎn)移,基于區(qū)塊鏈的智能合約具有去中心化、確定性、可驗(yàn)證、實(shí)時(shí)性等特點(diǎn),在數(shù)字支付、金融貿(mào)易、云計(jì)算、物聯(lián)網(wǎng)等方面有著廣闊的應(yīng)用前景。

    然而智能合約的設(shè)計(jì)除了熟悉編程語言之外,還需要了解相關(guān)應(yīng)用領(lǐng)域的知識(shí)和技能,開發(fā)人員在精通智能合約編程語言的同時(shí)缺乏對(duì)合同邏輯的認(rèn)識(shí),設(shè)計(jì)人員在熟悉業(yè)務(wù)規(guī)則的同時(shí)卻缺乏對(duì)智能合約的理解,為了設(shè)計(jì)或運(yùn)行智能合約,合約設(shè)計(jì)者必須預(yù)先確定代碼邏輯,但是非開發(fā)人員(如金融工作者)對(duì)于編程語言的了解不多,這導(dǎo)致他們難以根據(jù)自己的需求設(shè)計(jì)出可用的智能合約,因此,基于以太坊來完成智能合約的自動(dòng)生成能夠在很大程度上降低開發(fā)智能合約代碼的難度,提升智能合約編程的友好性。

    目前已有的智能合約研究都集中在安全問題上,對(duì)于編程友好性的研究很少,本文對(duì)智能合約編程問題提出一個(gè)挑戰(zhàn),即基于領(lǐng)域特征的智能合約設(shè)計(jì)模板,智能合約已經(jīng)在金融、公共事務(wù)等領(lǐng)域得到了廣泛的應(yīng)用,不同領(lǐng)域智能合約的設(shè)計(jì)有著很大的差異,因此,在實(shí)現(xiàn)智能合約自動(dòng)生成時(shí)需要基于各個(gè)領(lǐng)域的特點(diǎn)來給出相應(yīng)的基本函數(shù)模板。

    本文的主要貢獻(xiàn)如下。

    1)實(shí)現(xiàn)了根據(jù)領(lǐng)域特征對(duì)智能合約分類的方法,采用空間向量模型VSM來對(duì)智能合約代碼進(jìn)行表述,并根據(jù)領(lǐng)域特性利用聚類算法DBSCAN將智能合約的數(shù)據(jù)集合劃分為不同的類別,

    2)實(shí)現(xiàn)了針對(duì)特定領(lǐng)域生成統(tǒng)一的智能合約代碼的方法,采用Char-RNN模型來對(duì)特定領(lǐng)域的智能合約數(shù)據(jù)集進(jìn)行訓(xùn)練,并使用LSTM作為神經(jīng)網(wǎng)絡(luò)來代替Char-RNN模型中的基本RNN,最后,使用此模型來生成統(tǒng)一的、針對(duì)領(lǐng)域的智能合約基本函數(shù)代碼。

    3)為用戶提供一個(gè)頁面編輯器,方便用戶進(jìn)行智能合約編寫,實(shí)現(xiàn)智能合約的自動(dòng)生成,頁面上有一組和基本的智能合約代碼鏈接的uI控件,用戶可以通過點(diǎn)擊控件來根據(jù)自身需求設(shè)計(jì)智能合約。

    1相關(guān)工作

    “智能合約”的概念產(chǎn)生于1994年,由密碼學(xué)家Nick Szabo首次提出,他將智能合約定義為“一套以數(shù)字形式的承諾,包括能夠使合約參與方在上面執(zhí)行這些承諾的協(xié)議”,智能合約設(shè)計(jì)的目標(biāo)是滿足常見的合約條件,并最小化對(duì)可信中介的需求,智能合約擴(kuò)展并利用了區(qū)塊鏈技術(shù),它是一組代碼和數(shù)據(jù),使用區(qū)塊鏈網(wǎng)絡(luò)上的加密簽名事務(wù)進(jìn)行部署。

    以太坊是區(qū)塊鏈最流行的開發(fā)平臺(tái),它提供了圖靈完備的編程語言,如Solidity高級(jí)程序設(shè)計(jì)語言,可以用來創(chuàng)建智能合約、對(duì)任意狀態(tài)轉(zhuǎn)換函數(shù)進(jìn)行編碼,并為區(qū)塊鏈應(yīng)用程序創(chuàng)建系統(tǒng),智能合約是在EVM[6]上運(yùn)行的可執(zhí)行代碼,用來促進(jìn)、執(zhí)行和強(qiáng)制執(zhí)行互不信任方之間的協(xié)議條款,它可以觸發(fā)數(shù)據(jù)讀寫、執(zhí)行計(jì)算、調(diào)用其他合約等程序。

    雖然智能合約是一項(xiàng)很有前途的技術(shù),但仍有許多挑戰(zhàn)有待解決,例如,智能合約一旦被部署,代碼是不可改變的,這使得它不可能修復(fù)任何被發(fā)現(xiàn)的錯(cuò)誤,過去曾發(fā)生過一系列利用以太坊智能合約安全漏洞的攻擊,例如,2016年6月17日,黑客利用DAO的編程漏洞,抽走了DAO三分之一的資金,大約5000萬美元,為了避免發(fā)生像DAO這樣的攻擊,研究人員對(duì)合約編碼優(yōu)化問題進(jìn)行了大量的研究,并開發(fā)了許多工具,例如,SmartDec安全團(tuán)隊(duì)開發(fā)了一個(gè)名為SmartChcck的靜態(tài)代碼分析器,它在可靠的源代碼中運(yùn)行分析,并自動(dòng)檢查智能合約的安全漏洞和不良做法,國內(nèi)對(duì)智能合約的驗(yàn)證問題也做了相關(guān)研究,2016年提出了通過Promela建模語言并結(jié)合模型檢測的SPIN工具對(duì)智能合約的安全性進(jìn)行驗(yàn)證的方法,該方法基于對(duì)狀態(tài)的搜索驗(yàn)證智能合約的安全屬性,能夠保障整個(gè)搜索行為的終止性。

    然而,這些研究主要針對(duì)安全和隱私問題,用來規(guī)范智能合約的編碼過程,智能合約編碼的基本問題,也就是編程友好問題,很少涉及,智能合約編程的發(fā)展還面臨著許多挑戰(zhàn),比如智能合約編程的可設(shè)計(jì)性及提供合約編碼的專用模板。

    2智能合約自動(dòng)生成方法

    2.1方法概述

    本文提出了一種針對(duì)特定領(lǐng)域來自動(dòng)生成智能合約(solidity語言)的方法,并進(jìn)行了原型系統(tǒng)實(shí)現(xiàn),該方法可基于特征生成統(tǒng)一規(guī)范的智能合約代碼,之后提供了一個(gè)編輯頁面,頁面上的uI控件與生成的智能合約代碼相鏈接,使得用戶能夠設(shè)計(jì)智能合約程序,該方法能夠滿足用戶的需求,并通過頁面編輯器的方式降低智能合約編程的復(fù)雜度。

    本部分介紹該方法的基本流程,如圖1所示,方法主要分為以下三步。

    1.智能合約聚類

    智能合約在多個(gè)領(lǐng)域得到了廣泛的應(yīng)用,本方法針對(duì)特定的合約領(lǐng)域,因此要先對(duì)智能合約進(jìn)行聚類,得到不同領(lǐng)域的智能合約數(shù)據(jù)集,具體步驟如下。

    (1)合約代碼抓取:通過爬蟲程序從Etherscan,也就是以太坊上應(yīng)用最廣泛的區(qū)塊鏈瀏覽器上抓取經(jīng)過驗(yàn)證的合約代碼來作為數(shù)據(jù)集,它為下一步的聚類分析提供了智能合約數(shù)據(jù)集。

    (2)合約聚類,實(shí)現(xiàn)智能合約分類:在上述步驟中抓取到的數(shù)據(jù)集包含各個(gè)領(lǐng)域的合約代碼,此步驟要將其劃分為不同的類別,首先,采用空間向量模型VSM來對(duì)智能合約代碼進(jìn)行表述,然后在向量化的基礎(chǔ)上利用聚類算法DBSCAN將其分類,例如,類別涉及彩票合約、交易合約等。

    2.生成統(tǒng)一的智能合約代碼

    選擇聚類結(jié)果中的交易類合約來生成統(tǒng)一的智能合約代碼,從而為用戶提供一套基礎(chǔ)的函數(shù)模板,使得智能合約設(shè)計(jì)更加高效、簡單,首先,將上一步中獲得的交易類智能合約作為數(shù)據(jù)集,然后采用Char-RNN模型來對(duì)數(shù)據(jù)集進(jìn)行訓(xùn)練,由于長期依賴問題的存在,采用LSTM作為神經(jīng)網(wǎng)絡(luò)來代替Char-RNN模型中的基本RNN,最后,使用此模型來生成統(tǒng)一的交易類智能合約基本函數(shù)代碼。

    3.智能合約自動(dòng)生成

    為了方便用戶使用,我們提供一個(gè)頁面編輯器來幫助用戶進(jìn)行智能合約編寫,從而實(shí)現(xiàn)智能合約的自動(dòng)生成,頁面上有一組和基本智能合約代碼鏈接的uI控件,用戶可以通過點(diǎn)擊控件來根據(jù)自身需求設(shè)計(jì)智能合約。

    2.2智能合約聚類

    智能合約在不同的領(lǐng)域有著不同的實(shí)現(xiàn),也有著不同的基本合約函數(shù),因此在生成針對(duì)特定領(lǐng)域的合約模板前要先對(duì)其進(jìn)行分類,首先需要從名為Ethersean的區(qū)塊鏈瀏覽器上獲取智能合約作為數(shù)據(jù)集,然后對(duì)抓取的數(shù)據(jù)集進(jìn)行聚類分析。

    2.2.1智能合約代碼抓取

    本文中方法的實(shí)現(xiàn)需要大量的智能合約程序作為數(shù)據(jù)集,如果數(shù)據(jù)集數(shù)量不夠,會(huì)限制合約的統(tǒng)一代碼生成,因此,為了更好地分析智能合約,第一步就是從Etherscan上抓取智能合約程序作為數(shù)據(jù)集。

    Etherscan是一個(gè)能夠?qū)σ蕴粎^(qū)塊鏈進(jìn)行探索和分析的分布式智能合約平臺(tái),用戶可以通過此平臺(tái)查看以太坊區(qū)塊鏈上的事務(wù)信息,爬蟲程序從Ethersean上采集智能合約代碼的流程如下:它從Web上的智能合約第一個(gè)索引頁開始,建立合約的URL列表,將設(shè)定數(shù)量的合約地址保存到文件中。之后根據(jù)保存下來的地址,頁面跳轉(zhuǎn)到合約的details頁面將合約代碼保存到文件中,最后,得到智能合約程序的數(shù)據(jù)集。

    2.2.2智能合約聚類

    對(duì)于抓取到的智能合約數(shù)據(jù)集,本步驟的目的是對(duì)其進(jìn)行聚類,從而得到不同領(lǐng)域的智能合約數(shù)據(jù),為生成相應(yīng)領(lǐng)域的統(tǒng)一的智能合約代碼做準(zhǔn)備,采用的聚類方法為DBSCAN算法。

    要實(shí)現(xiàn)聚類分析,首先需要對(duì)所爬取的數(shù)據(jù)進(jìn)行預(yù)處理,使其表示為一種滿足需求的結(jié)構(gòu)化形式,在此基礎(chǔ)上再利用算法進(jìn)行聚類分析,采用的聚類流程如圖2所示。

    為了方便計(jì)算機(jī)處理,需要將合約代碼以計(jì)算機(jī)可識(shí)別處理的方式存儲(chǔ),這里采用的是向量空間模型VSM,它將文本空間看作一組正交特征向量組成的向量空間,將文本表示為多維空間中的一個(gè)特征向量:V(d)=(t1.w1(d);…ti,wi(d);…;tn,wn(d)),其中七i為特征項(xiàng),wi為ti的權(quán)重,即頻率,

    DBSCAN是一種基于密度的聚類算法,根據(jù)基于中心的密度對(duì)點(diǎn)進(jìn)行分類,其密度用數(shù)據(jù)集中Eps半徑之內(nèi)的點(diǎn)的個(gè)數(shù)進(jìn)行估計(jì),根據(jù)基于中心的思想,可以將點(diǎn)分為以下三種類別:(1)核心點(diǎn):給定鄰域內(nèi)的點(diǎn)數(shù)超過閾值參數(shù)MinPts,則認(rèn)為該點(diǎn)是一個(gè)核心點(diǎn);(2)邊界點(diǎn):邊界點(diǎn)不是核心點(diǎn),但它落在某個(gè)核心點(diǎn)的鄰域內(nèi);(3)噪聲點(diǎn):既不是核心點(diǎn),也不是邊界點(diǎn)。

    在本文中,首先要對(duì)智能合約代碼的特征項(xiàng)進(jìn)行處理,并不是每一個(gè)詞都能作為合約的特征項(xiàng),有的詞可能出現(xiàn)了很多次,但是沒有什么重要性,比如“return”“public”等詞并不能體現(xiàn)出一個(gè)合約的特征,反而會(huì)影響聚類效果,因此,在預(yù)處理的過程中,不僅刪除了智能合約程序中的注釋,還設(shè)置了“public”“return”等停止詞,另外,為了更好地描述合約特征,在預(yù)處理過程中不考慮大小寫,將僅有大小寫區(qū)別的特征項(xiàng)進(jìn)行合并。

    在聚類過程中,采用歐氏距離作為距離函數(shù)來描述兩個(gè)特征向量之間的距離,對(duì)于長度不一致的特征向量,在向量中添加頻率為0的項(xiàng)進(jìn)行補(bǔ)齊后再做計(jì)算,對(duì)于劃分在同一個(gè)簇中的智能合約,將合約文件名以及特征向量輸出到關(guān)聯(lián)的文件中,以便作為之后的數(shù)據(jù)集。

    此方法中采用的DBSCAN算法詳見算法1。

    2.3統(tǒng)一的智能合約代碼生成

    智能合約程序由不同功能的代碼組成,如交易類合約包含“transfer”等函數(shù)、“ERC20”標(biāo)準(zhǔn)接口代碼,在交易過程中會(huì)使用的“SafeMath”等基本函數(shù),為了使智能合約的設(shè)計(jì)過程更加簡單,可以采用Char-RNN來生成統(tǒng)一的合約基本函數(shù),從而得到相應(yīng)領(lǐng)域的智能合約模板。

    遞歸神經(jīng)網(wǎng)絡(luò)(RNNs)在自然語言處理中表現(xiàn)出強(qiáng)大的學(xué)習(xí)能力,它可以對(duì)序列數(shù)據(jù)進(jìn)行很好的建模,并且能充分利用序列的信息,因?yàn)榫W(wǎng)絡(luò)對(duì)文本中的每個(gè)單詞依次進(jìn)行語義合成,所以它不要求文本有統(tǒng)一的長度,圖3所示為傳統(tǒng)的遞歸神經(jīng)網(wǎng)絡(luò)結(jié)構(gòu)。

    標(biāo)準(zhǔn)的遞歸神經(jīng)網(wǎng)絡(luò)給定一個(gè)輸入向量序列,通過迭代計(jì)算一個(gè)隱藏狀態(tài)和一個(gè)輸出序列,如圖3所示,x是輸入單元,代表詞向量;h是隱藏狀態(tài);o表示輸出,u是輸入-隱藏的權(quán)值矩陣,w是隱藏-隱藏的權(quán)值矩陣,V是隱藏一輸出的權(quán)值矩陣。

    Char-RNN是字符級(jí)語言模型,能夠接收一大塊文本文件作為輸入,并將其輸入基本的RNN算法中,該算法學(xué)習(xí)預(yù)測序列中的下一個(gè)字符,在訓(xùn)練了基本的RNN之后,它可以一個(gè)字符一個(gè)字符地生成與原始數(shù)據(jù)集風(fēng)格相似的文本。

    另外,對(duì)于生成的智能合約代碼,采用SmartCheck工具來進(jìn)行代碼的邏輯檢測,其中邏輯語法存在問題或是不完整、重復(fù)的函數(shù)皆被視為錯(cuò)誤,最后得到生成的智能合約代碼中錯(cuò)誤函數(shù)占比為31.73%,生成的部分代碼的SmartCheck測試結(jié)果如圖6所示,其中紅框表示這些代碼中存在的問題,藍(lán)框顯示問題所在的代碼段。

    3智能合約自動(dòng)生成原型系統(tǒng)

    3.1系統(tǒng)架構(gòu)

    本文中的智能合約自動(dòng)生成原型系統(tǒng)運(yùn)行于Windowsl0操作系統(tǒng)平臺(tái)之上,系統(tǒng)基于MFC完成智能合約的自動(dòng)生成,系統(tǒng)架構(gòu)如圖7所示。

    智能合約自動(dòng)生成原型系統(tǒng)在創(chuàng)建合約時(shí)會(huì)對(duì)合約進(jìn)行重名檢測,并提供繼承功能;合約生成模塊的智能合約基本代碼來自之前Char-RNN的訓(xùn)練結(jié)果,包含基本函數(shù)代碼、SafeMath以及ERC20標(biāo)準(zhǔn)接口代碼;合約存儲(chǔ)模塊對(duì)自動(dòng)生成的智能合約進(jìn)行存儲(chǔ)。

    3.2系統(tǒng)功能

    智能合約自動(dòng)生成原型系統(tǒng)實(shí)現(xiàn)了用戶自定義智能合約設(shè)計(jì),從而實(shí)現(xiàn)智能合約的自動(dòng)生成,圖8所示為智能合約自動(dòng)生成原型系統(tǒng)的頁面,紅框部分顯示了之前生成的智能合約函數(shù)名稱及代碼,黃框中為新建合約、添加函數(shù)等功能的按鈕,右側(cè)為合約代碼編輯框,由圖7可以看出,智能合約自動(dòng)生成原型系統(tǒng)主要包含合約創(chuàng)建模塊、合約生成模塊、合約存儲(chǔ)模塊,接下來依次介紹各模塊的功能,

    3.2.1合約創(chuàng)建

    合約創(chuàng)建模塊的主要功能為創(chuàng)建新的智能合約,在新建時(shí),提供了合約繼承功能,并且能夠檢測合約是否重名。

    如圖9所示,點(diǎn)擊“New”按鈕新建智能合約時(shí),默認(rèn)合約名為“Contract”,用戶可自行修改,若合約名稱不符合要求,會(huì)彈出提示框要求用戶重新輸入,右側(cè)的ListBox控件中將會(huì)顯示已經(jīng)生成的合約名稱,用戶可以自行選擇是否繼承。

    3.2.2合約生成

    合約生成模塊提供了上述改進(jìn)的Char-RNN生成的智能合約代碼,包含基本函數(shù)方法(如“transferFrom”函數(shù))、標(biāo)準(zhǔn)接口代碼(如“ERC20”代碼)和基本合約代碼(如“SafeMath”合約代碼),系統(tǒng)創(chuàng)建了一組文件用來存儲(chǔ)這些代碼,在運(yùn)行時(shí)完成加載。

    如圖10所示為創(chuàng)建“approve”函數(shù)的截圖,軟件運(yùn)行時(shí),會(huì)首先打開“approve”等函數(shù)的文件,讀取其中的代碼,并將其保存在相應(yīng)的對(duì)象中,“approve”函數(shù)在頁面上表示為List控件的一項(xiàng),加載完成后,可以通過函數(shù)名稱來得到相應(yīng)的函數(shù)代碼,并在Static控件中顯示,為了方便顯示并編輯代碼,軟件定義了相應(yīng)的觸發(fā)事件將代碼與控件相關(guān)聯(lián),最后,用戶可以通過選中“approve”項(xiàng),在Static控件中顯示對(duì)應(yīng)的函數(shù)代碼,點(diǎn)擊“Add”按鈕,可將代碼添加到右側(cè)編輯框中的光標(biāo)位置。

    3.2.3合約存儲(chǔ)

    合約存儲(chǔ)模塊能夠?qū)⑸傻闹悄芎霞s保存到文件中,用戶可以點(diǎn)擊“save”按鈕,將設(shè)計(jì)的合約以“,sol”格式保存到任意路徑,如圖11所示,

    3.3智能合約生成案例

    本節(jié)介紹通過設(shè)計(jì)生成智能合約的過程,并以合約“MyToken”作為例子來進(jìn)行分析,“MyToken”是一個(gè)基于ERC20標(biāo)準(zhǔn)的代幣合約,可以實(shí)現(xiàn)基本的代幣交易功能。

    第一步,用戶在編輯器上分別選中“SafeMath”和“ERC20”,兩者分別鏈接有Char-RNN模型生成的基本合約代碼和標(biāo)準(zhǔn)接口代碼,點(diǎn)擊“Add”按鈕,在編輯框出現(xiàn)相應(yīng)代碼后,用戶可以根據(jù)自身的需求對(duì)代碼進(jìn)行進(jìn)一步修改,例如,添加“SafeMath”代碼,它提供了統(tǒng)一的算術(shù)功能(如加、減、乘、除),使得交易更加規(guī)范。

    第二步,完成上述步驟后,用戶可以通過繼承“ERC20”和“SafeMath”來實(shí)現(xiàn)合約“MyToken”,之后,用戶可以通過控件在合約中添加新的函數(shù)來實(shí)現(xiàn)不同的功能,例如,在合約中添加“allowance”函數(shù),允許spender從owner中轉(zhuǎn)出的相應(yīng)數(shù)目的代幣。

    第三步,在合約“MyToken”設(shè)計(jì)完成后,用戶可以點(diǎn)擊“save”按鈕,將設(shè)計(jì)的合約以“,sol”格式保存到任意路徑,為了驗(yàn)證設(shè)計(jì)的智能合約的可用性,可使用SmartCheck進(jìn)行檢測,并將“MyToken”合約部署到以太坊上,結(jié)果表明,合約邏輯正確且能夠順利執(zhí)行。

    4結(jié)論

    本文提出了一個(gè)自動(dòng)生成智能合約的方法,并設(shè)計(jì)了一個(gè)面向用戶的編程界面,該方法對(duì)于大小在3-6 KB的交易類智能合約,能夠得到邏輯正確的交易類智能合約模板,用戶可以根據(jù)自己的定義和要求,用Solidity編寫智能合約代碼,系統(tǒng)增強(qiáng)了非開發(fā)人員用戶的設(shè)計(jì)能力,并提供了一種比傳統(tǒng)方式更高效、快捷、簡單的智能合約設(shè)計(jì)方法,節(jié)省了合約編程的時(shí)間,

    但是,本文的方法主要針對(duì)交易類智能合約實(shí)現(xiàn),對(duì)于其他領(lǐng)域的智能合約還待進(jìn)一步研究,該方法未來的工作會(huì)對(duì)更多領(lǐng)域的智能合約代碼自動(dòng)生成進(jìn)行研究,針對(duì)不同的領(lǐng)域提供智能合約設(shè)計(jì)模板。

    猜你喜歡
    智能合約區(qū)塊鏈
    農(nóng)產(chǎn)品供應(yīng)鏈金融信用體系框架設(shè)計(jì)
    基于區(qū)塊鏈技術(shù)的去中心化數(shù)字出版平臺(tái)研究
    區(qū)塊鏈技術(shù)在互聯(lián)網(wǎng)保險(xiǎn)行業(yè)的應(yīng)用探討
    保險(xiǎn)企業(yè)的區(qū)塊鏈技術(shù)應(yīng)用方向選擇研究
    區(qū)塊鏈技術(shù)在金融領(lǐng)域的應(yīng)用與前景研究
    中國市場(2016年32期)2016-12-06 11:21:13
    區(qū)塊鏈技術(shù)的應(yīng)用價(jià)值分析
    商情(2016年40期)2016-11-28 11:24:12
    “區(qū)塊鏈”的茍且、詩和遠(yuǎn)方
    基于區(qū)塊鏈技術(shù)的數(shù)字貨幣與傳統(tǒng)貨幣辨析
    區(qū)塊鏈技術(shù)在會(huì)計(jì)中的應(yīng)用展望
    智能合約與金融合約
    商(2016年6期)2016-04-20 17:50:36
    中文字幕高清在线视频| 老司机靠b影院| 欧美日韩一级在线毛片| 亚洲熟妇熟女久久| 悠悠久久av| 亚洲va日本ⅴa欧美va伊人久久| 亚洲avbb在线观看| 精品久久久久久电影网| www国产在线视频色| 欧美日韩福利视频一区二区| 国产成人精品久久二区二区91| 午夜精品国产一区二区电影| 极品教师在线免费播放| 久久精品人人爽人人爽视色| 亚洲成av片中文字幕在线观看| 亚洲成人国产一区在线观看| 精品一区二区三卡| 成人精品一区二区免费| 一级毛片女人18水好多| 国产精品秋霞免费鲁丝片| 国产91精品成人一区二区三区| 国产国语露脸激情在线看| 亚洲精品国产一区二区精华液| 国产人伦9x9x在线观看| 好看av亚洲va欧美ⅴa在| 亚洲欧美激情在线| 成人国产一区最新在线观看| 日本 av在线| 精品乱码久久久久久99久播| 亚洲国产欧美日韩在线播放| 国产精品久久久av美女十八| 男女做爰动态图高潮gif福利片 | 波多野结衣av一区二区av| 在线观看免费视频网站a站| 久久亚洲精品不卡| 琪琪午夜伦伦电影理论片6080| 性色av乱码一区二区三区2| 欧美激情 高清一区二区三区| 少妇 在线观看| 亚洲三区欧美一区| 最好的美女福利视频网| 欧美午夜高清在线| 久久中文字幕一级| 久久精品91无色码中文字幕| 夜夜爽天天搞| 亚洲国产欧美一区二区综合| 亚洲av电影在线进入| 99国产精品一区二区蜜桃av| 国产精品日韩av在线免费观看 | 波多野结衣av一区二区av| 女性生殖器流出的白浆| 黄色毛片三级朝国网站| 午夜日韩欧美国产| 午夜福利影视在线免费观看| 欧美不卡视频在线免费观看 | 一个人免费在线观看的高清视频| 亚洲伊人色综图| 欧美一区二区精品小视频在线| 人妻久久中文字幕网| 久9热在线精品视频| 国产有黄有色有爽视频| 亚洲性夜色夜夜综合| 午夜福利一区二区在线看| 一级毛片高清免费大全| 日韩大尺度精品在线看网址 | 中亚洲国语对白在线视频| 丰满的人妻完整版| ponron亚洲| 女性被躁到高潮视频| xxxhd国产人妻xxx| www国产在线视频色| 超色免费av| 亚洲人成77777在线视频| 午夜福利欧美成人| 老汉色∧v一级毛片| 一边摸一边抽搐一进一出视频| 亚洲中文日韩欧美视频| 免费观看精品视频网站| 国产高清videossex| 成熟少妇高潮喷水视频| 超色免费av| videosex国产| 国产av在哪里看| av天堂在线播放| 韩国精品一区二区三区| 国产一区二区三区视频了| 午夜91福利影院| 久久 成人 亚洲| 一级毛片精品| 黄片播放在线免费| 亚洲 欧美一区二区三区| 亚洲色图综合在线观看| 欧美成人免费av一区二区三区| 黑人猛操日本美女一级片| 在线观看免费高清a一片| 亚洲精品久久午夜乱码| 精品日产1卡2卡| 亚洲精品国产色婷婷电影| 怎么达到女性高潮| 一边摸一边抽搐一进一小说| 国产成人精品久久二区二区91| 日日干狠狠操夜夜爽| 如日韩欧美国产精品一区二区三区| 午夜免费激情av| 黄频高清免费视频| 国产亚洲精品久久久久5区| 99国产精品一区二区蜜桃av| 免费高清在线观看日韩| 久久精品人人爽人人爽视色| 亚洲国产精品一区二区三区在线| 亚洲av电影在线进入| 日韩视频一区二区在线观看| 久久人妻熟女aⅴ| 男人的好看免费观看在线视频 | 欧美日韩乱码在线| 亚洲成人久久性| 亚洲自偷自拍图片 自拍| 国产成人免费无遮挡视频| 精品久久蜜臀av无| 午夜成年电影在线免费观看| 看免费av毛片| 精品久久久久久电影网| 亚洲人成电影观看| 天堂中文最新版在线下载| 亚洲人成77777在线视频| 天堂动漫精品| 男女下面进入的视频免费午夜 | 国产欧美日韩精品亚洲av| 欧美午夜高清在线| 国产精品香港三级国产av潘金莲| 身体一侧抽搐| 精品电影一区二区在线| 女人被躁到高潮嗷嗷叫费观| 每晚都被弄得嗷嗷叫到高潮| 久久狼人影院| 大陆偷拍与自拍| 18禁裸乳无遮挡免费网站照片 | 亚洲欧美激情综合另类| 极品人妻少妇av视频| 色精品久久人妻99蜜桃| a级片在线免费高清观看视频| 12—13女人毛片做爰片一| 高清在线国产一区| 别揉我奶头~嗯~啊~动态视频| 国产黄a三级三级三级人| 成人av一区二区三区在线看| 亚洲午夜理论影院| 成人影院久久| a级毛片在线看网站| 亚洲激情在线av| 亚洲 国产 在线| 一级a爱视频在线免费观看| 最新在线观看一区二区三区| 国产精品一区二区三区四区久久 | 亚洲aⅴ乱码一区二区在线播放 | av网站免费在线观看视频| 18禁裸乳无遮挡免费网站照片 | 久久这里只有精品19| 麻豆国产av国片精品| 香蕉国产在线看| 一边摸一边抽搐一进一小说| 国产精品 国内视频| 久久中文字幕一级| 黑丝袜美女国产一区| 亚洲精品美女久久av网站| 午夜福利,免费看| 久久精品国产清高在天天线| 日韩精品免费视频一区二区三区| 亚洲国产毛片av蜜桃av| 最好的美女福利视频网| 韩国精品一区二区三区| 伊人久久大香线蕉亚洲五| 成人国产一区最新在线观看| 国产无遮挡羞羞视频在线观看| 女性被躁到高潮视频| 精品福利观看| 亚洲精品国产区一区二| 神马国产精品三级电影在线观看 | 国产熟女xx| 国产亚洲av高清不卡| 国产亚洲精品第一综合不卡| 黑人巨大精品欧美一区二区蜜桃| 亚洲精品中文字幕在线视频| 精品国产亚洲在线| 亚洲三区欧美一区| 午夜福利影视在线免费观看| 在线观看舔阴道视频| 精品国产国语对白av| 在线观看舔阴道视频| 成人永久免费在线观看视频| 9191精品国产免费久久| 亚洲国产欧美网| 国产熟女xx| 久久精品亚洲熟妇少妇任你| 色婷婷久久久亚洲欧美| 热99国产精品久久久久久7| 99久久99久久久精品蜜桃| 在线国产一区二区在线| 看黄色毛片网站| 丝袜美足系列| 丝袜美足系列| 国产精品久久久久成人av| 香蕉久久夜色| 身体一侧抽搐| 亚洲人成网站在线播放欧美日韩| 看黄色毛片网站| 好看av亚洲va欧美ⅴa在| 国产精品98久久久久久宅男小说| 国产精品亚洲一级av第二区| ponron亚洲| 色在线成人网| 丁香欧美五月| 国产一区二区三区在线臀色熟女 | 女人爽到高潮嗷嗷叫在线视频| 欧美乱色亚洲激情| 熟女少妇亚洲综合色aaa.| 欧美成人免费av一区二区三区| 成年人黄色毛片网站| 国产亚洲欧美精品永久| 亚洲在线自拍视频| av电影中文网址| 国产一区二区三区视频了| 午夜影院日韩av| 亚洲熟妇熟女久久| 亚洲av日韩精品久久久久久密| 日本黄色日本黄色录像| 久久中文字幕一级| 亚洲色图 男人天堂 中文字幕| av网站在线播放免费| 亚洲精品国产色婷婷电影| 热re99久久国产66热| 午夜两性在线视频| 国产男靠女视频免费网站| 丁香欧美五月| 久久久精品欧美日韩精品| 成年人黄色毛片网站| 制服人妻中文乱码| 亚洲在线自拍视频| www日本在线高清视频| 久久欧美精品欧美久久欧美| 亚洲自拍偷在线| 午夜免费观看网址| 性色av乱码一区二区三区2| 成年人黄色毛片网站| 青草久久国产| 国产麻豆69| 高潮久久久久久久久久久不卡| 欧美乱码精品一区二区三区| 成人特级黄色片久久久久久久| 欧美激情久久久久久爽电影 | 国产区一区二久久| 91麻豆av在线| 黑人猛操日本美女一级片| 我的亚洲天堂| 国产1区2区3区精品| 久久精品国产综合久久久| 亚洲av成人一区二区三| 国产熟女xx| 亚洲一区中文字幕在线| 国产乱人伦免费视频| 精品国产亚洲在线| 99久久人妻综合| 国产真人三级小视频在线观看| 久久精品国产亚洲av香蕉五月| 午夜福利欧美成人| 免费在线观看完整版高清| 91精品三级在线观看| 俄罗斯特黄特色一大片| 国产亚洲欧美在线一区二区| 久久精品aⅴ一区二区三区四区| 一进一出好大好爽视频| 亚洲国产欧美一区二区综合| 操美女的视频在线观看| 色综合欧美亚洲国产小说| xxx96com| 午夜两性在线视频| 男女下面进入的视频免费午夜 | 成人三级黄色视频| 国产亚洲欧美在线一区二区| 两性夫妻黄色片| 久久久久久亚洲精品国产蜜桃av| 黄片播放在线免费| 黄色怎么调成土黄色| 亚洲自偷自拍图片 自拍| 女人高潮潮喷娇喘18禁视频| 久久久水蜜桃国产精品网| 欧美色视频一区免费| 男人操女人黄网站| 首页视频小说图片口味搜索| 9色porny在线观看| 97人妻天天添夜夜摸| 在线观看免费视频网站a站| 亚洲精品美女久久av网站| 久久天躁狠狠躁夜夜2o2o| 亚洲avbb在线观看| 久久久久国产精品人妻aⅴ院| 天天躁狠狠躁夜夜躁狠狠躁| 精品国产乱码久久久久久男人| 黄色片一级片一级黄色片| av国产精品久久久久影院| 在线观看66精品国产| 日韩欧美国产一区二区入口| 亚洲片人在线观看| 国产一区二区三区在线臀色熟女 | 亚洲精品久久午夜乱码| 成年版毛片免费区| 国产av在哪里看| 琪琪午夜伦伦电影理论片6080| 国产精品久久久久久人妻精品电影| 黄频高清免费视频| 18禁美女被吸乳视频| 男人操女人黄网站| 国产日韩一区二区三区精品不卡| 激情在线观看视频在线高清| 在线视频色国产色| 免费高清在线观看日韩| 国产成人影院久久av| 成年人黄色毛片网站| 多毛熟女@视频| 亚洲国产精品合色在线| 久久久国产欧美日韩av| 99国产精品免费福利视频| 久久人妻熟女aⅴ| 免费在线观看黄色视频的| 天堂影院成人在线观看| 两性午夜刺激爽爽歪歪视频在线观看 | 午夜免费成人在线视频| 亚洲精品久久成人aⅴ小说| 国产成人精品在线电影| 如日韩欧美国产精品一区二区三区| 高清av免费在线| 亚洲欧美一区二区三区久久| 老汉色∧v一级毛片| 一区二区日韩欧美中文字幕| 亚洲狠狠婷婷综合久久图片| 欧美乱妇无乱码| 午夜成年电影在线免费观看| 好看av亚洲va欧美ⅴa在| 成人特级黄色片久久久久久久| 一a级毛片在线观看| 国产av精品麻豆| 99热国产这里只有精品6| 成人影院久久| 女性被躁到高潮视频| 午夜影院日韩av| 淫秽高清视频在线观看| 99精品久久久久人妻精品| 久久人人爽av亚洲精品天堂| 纯流量卡能插随身wifi吗| 久久久国产精品麻豆| 亚洲第一欧美日韩一区二区三区| 免费日韩欧美在线观看| 欧美黑人精品巨大| 国产成人一区二区三区免费视频网站| 亚洲自偷自拍图片 自拍| 在线观看一区二区三区激情| 久久久久久久午夜电影 | 在线观看免费高清a一片| 亚洲专区中文字幕在线| 深夜精品福利| 国产熟女午夜一区二区三区| 亚洲中文日韩欧美视频| 在线观看一区二区三区激情| 高清黄色对白视频在线免费看| 欧美一级毛片孕妇| 国产成+人综合+亚洲专区| 国产野战对白在线观看| 免费观看人在逋| 可以免费在线观看a视频的电影网站| 亚洲国产欧美网| 日韩欧美国产一区二区入口| 久久久精品欧美日韩精品| 国产欧美日韩综合在线一区二区| 久久青草综合色| 亚洲自拍偷在线| av网站免费在线观看视频| 国产精品电影一区二区三区| 久久人人97超碰香蕉20202| 国产精品二区激情视频| 国产av又大| 一区二区三区国产精品乱码| 国产野战对白在线观看| 一个人免费在线观看的高清视频| 日本撒尿小便嘘嘘汇集6| 少妇 在线观看| 成年人免费黄色播放视频| 久久久精品国产亚洲av高清涩受| 啦啦啦在线免费观看视频4| 最好的美女福利视频网| 国产精品 国内视频| 国产1区2区3区精品| 国产又爽黄色视频| 亚洲性夜色夜夜综合| 久久久国产成人精品二区 | 国产91精品成人一区二区三区| 青草久久国产| 色播在线永久视频| 日韩精品免费视频一区二区三区| 亚洲人成电影观看| 精品日产1卡2卡| 国产亚洲精品综合一区在线观看 | 亚洲av片天天在线观看| 日韩欧美国产一区二区入口| 精品久久久久久久毛片微露脸| aaaaa片日本免费| 成人永久免费在线观看视频| 波多野结衣av一区二区av| 久久中文字幕一级| 性欧美人与动物交配| 免费日韩欧美在线观看| 在线观看一区二区三区| 18禁裸乳无遮挡免费网站照片 | 国产欧美日韩综合在线一区二区| 高清欧美精品videossex| 国产免费av片在线观看野外av| 欧美人与性动交α欧美精品济南到| 久久 成人 亚洲| 亚洲中文日韩欧美视频| 精品人妻1区二区| 夜夜爽天天搞| 中文字幕av电影在线播放| 精品国产一区二区三区四区第35| 制服诱惑二区| 欧美乱码精品一区二区三区| 亚洲男人天堂网一区| 十分钟在线观看高清视频www| 欧美乱码精品一区二区三区| 国产三级在线视频| 午夜亚洲福利在线播放| 欧美丝袜亚洲另类 | 男人操女人黄网站| 香蕉久久夜色| 欧美在线黄色| 国产成人精品久久二区二区91| 成人影院久久| 99国产极品粉嫩在线观看| 嫁个100分男人电影在线观看| 黑人操中国人逼视频| 久久精品国产亚洲av香蕉五月| 亚洲五月婷婷丁香| 国产成人免费无遮挡视频| 91成人精品电影| 久久久久久久久久久久大奶| 9色porny在线观看| 男人舔女人的私密视频| 久久人妻福利社区极品人妻图片| 国产单亲对白刺激| 在线av久久热| 国产精品一区二区三区四区久久 | 国产成人欧美在线观看| 麻豆成人av在线观看| 99国产综合亚洲精品| 亚洲欧美日韩高清在线视频| 亚洲美女黄片视频| 波多野结衣一区麻豆| 9热在线视频观看99| 一个人免费在线观看的高清视频| 国产片内射在线| 欧美成人午夜精品| 91麻豆精品激情在线观看国产 | 一级毛片精品| 精品少妇一区二区三区视频日本电影| 久久久水蜜桃国产精品网| av福利片在线| 精品福利观看| 国产av精品麻豆| 免费一级毛片在线播放高清视频 | 日韩欧美国产一区二区入口| 亚洲精品中文字幕一二三四区| 高潮久久久久久久久久久不卡| 免费少妇av软件| 一级作爱视频免费观看| 国产精品一区二区精品视频观看| 在线免费观看的www视频| 一进一出抽搐动态| 久热爱精品视频在线9| 黄色视频,在线免费观看| 久久热在线av| 99国产极品粉嫩在线观看| av网站免费在线观看视频| 男男h啪啪无遮挡| 亚洲精品一二三| 亚洲一区高清亚洲精品| 黑人巨大精品欧美一区二区mp4| 91成年电影在线观看| 夫妻午夜视频| 亚洲精品一区av在线观看| 免费看十八禁软件| 一级毛片高清免费大全| 精品国产美女av久久久久小说| 免费不卡黄色视频| 日本免费一区二区三区高清不卡 | 国产91精品成人一区二区三区| 亚洲成国产人片在线观看| 少妇粗大呻吟视频| 在线看a的网站| 怎么达到女性高潮| 精品一区二区三卡| 老司机午夜十八禁免费视频| 精品国产超薄肉色丝袜足j| 中文字幕另类日韩欧美亚洲嫩草| 最近最新中文字幕大全电影3 | 免费看a级黄色片| 一级,二级,三级黄色视频| 日韩欧美在线二视频| 91字幕亚洲| 18美女黄网站色大片免费观看| 国产成人精品久久二区二区免费| av视频免费观看在线观看| 精品久久久久久电影网| 亚洲欧美激情在线| 91av网站免费观看| 一级毛片女人18水好多| 欧美在线黄色| 操出白浆在线播放| 99精品在免费线老司机午夜| av欧美777| 在线观看免费午夜福利视频| 国产精品99久久99久久久不卡| 91成年电影在线观看| svipshipincom国产片| 久久久久亚洲av毛片大全| 国产精品久久视频播放| 欧美乱码精品一区二区三区| 免费在线观看完整版高清| 精品欧美一区二区三区在线| 精品电影一区二区在线| 亚洲一区二区三区欧美精品| 女人爽到高潮嗷嗷叫在线视频| 国产精品二区激情视频| 熟女少妇亚洲综合色aaa.| www.自偷自拍.com| 国产精品偷伦视频观看了| 女性被躁到高潮视频| 久久久久久大精品| 久久热在线av| 亚洲片人在线观看| 国产区一区二久久| 欧美一区二区精品小视频在线| 成年人黄色毛片网站| 成人特级黄色片久久久久久久| 99国产精品一区二区蜜桃av| 欧美 亚洲 国产 日韩一| 精品久久久久久,| 中文欧美无线码| 搡老熟女国产l中国老女人| 亚洲精品国产精品久久久不卡| 9色porny在线观看| 80岁老熟妇乱子伦牲交| 久久草成人影院| 国产三级在线视频| 亚洲成a人片在线一区二区| 精品人妻1区二区| 极品人妻少妇av视频| 亚洲成人久久性| 男人操女人黄网站| 亚洲国产欧美日韩在线播放| 成年人黄色毛片网站| 亚洲 欧美 日韩 在线 免费| a级毛片在线看网站| 亚洲一区二区三区不卡视频| 久久久久久大精品| 人人澡人人妻人| 午夜福利欧美成人| 首页视频小说图片口味搜索| 色在线成人网| av片东京热男人的天堂| 精品人妻1区二区| 两性夫妻黄色片| 夜夜看夜夜爽夜夜摸 | 国产成人欧美在线观看| 婷婷精品国产亚洲av在线| 国产国语露脸激情在线看| 午夜免费鲁丝| 99re在线观看精品视频| 99久久精品国产亚洲精品| 免费看a级黄色片| 久久久国产成人精品二区 | 黄片大片在线免费观看| 欧美精品亚洲一区二区| 国产成人精品久久二区二区91| 9热在线视频观看99| 这个男人来自地球电影免费观看| 少妇 在线观看| 1024视频免费在线观看| 国产亚洲精品久久久久久毛片| 午夜精品在线福利| 在线观看www视频免费| a在线观看视频网站| 久热爱精品视频在线9| 日韩人妻精品一区2区三区| 精品福利观看| 一边摸一边抽搐一进一小说| 亚洲精品一卡2卡三卡4卡5卡| 亚洲五月天丁香| 日本黄色视频三级网站网址| 国产精品偷伦视频观看了| 欧美亚洲日本最大视频资源| 欧美日韩一级在线毛片| 每晚都被弄得嗷嗷叫到高潮| 国产精品偷伦视频观看了| 午夜两性在线视频| 国产成人影院久久av| 亚洲人成网站在线播放欧美日韩| 1024视频免费在线观看| 水蜜桃什么品种好| 电影成人av| 久久国产精品影院| 国产黄色免费在线视频| 一边摸一边做爽爽视频免费| 十八禁人妻一区二区| 在线观看免费视频日本深夜| 亚洲一区二区三区欧美精品| 亚洲欧美日韩另类电影网站| 一级片免费观看大全|