• <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
    国产精品伦人一区二区| 国产高清激情床上av| 中文在线观看免费www的网站| 在线观看午夜福利视频| 村上凉子中文字幕在线| 午夜免费男女啪啪视频观看| 可以在线观看的亚洲视频| 国产乱人视频| 亚洲,欧美,日韩| videossex国产| 久久欧美精品欧美久久欧美| 麻豆久久精品国产亚洲av| 黄色日韩在线| 日本一本二区三区精品| 国产人妻一区二区三区在| 久久久久久大精品| 人人妻人人澡欧美一区二区| 国产91av在线免费观看| 一边摸一边抽搐一进一小说| 国产精品日韩av在线免费观看| av天堂在线播放| 亚洲色图av天堂| 国产伦一二天堂av在线观看| 国内精品久久久久精免费| 非洲黑人性xxxx精品又粗又长| av在线天堂中文字幕| 亚洲精品日韩在线中文字幕 | 亚洲经典国产精华液单| 赤兔流量卡办理| 韩国av在线不卡| 能在线免费看毛片的网站| 国产国拍精品亚洲av在线观看| 国产一区二区三区av在线 | 激情 狠狠 欧美| 欧美日韩精品成人综合77777| 边亲边吃奶的免费视频| 97超碰精品成人国产| 嘟嘟电影网在线观看| 亚洲av免费高清在线观看| ponron亚洲| 在线a可以看的网站| 免费看光身美女| av黄色大香蕉| 嘟嘟电影网在线观看| 一区二区三区免费毛片| av又黄又爽大尺度在线免费看 | 久久这里有精品视频免费| 十八禁国产超污无遮挡网站| 欧美成人a在线观看| 草草在线视频免费看| 成人亚洲欧美一区二区av| 中文字幕久久专区| 精品无人区乱码1区二区| 亚洲国产精品成人综合色| 久久久久久久久久黄片| 男女啪啪激烈高潮av片| 黄色配什么色好看| 国产成人精品一,二区 | 亚洲欧美精品自产自拍| 99热精品在线国产| 精品99又大又爽又粗少妇毛片| 久久6这里有精品| 国产亚洲91精品色在线| www日本黄色视频网| 免费看a级黄色片| 日韩欧美 国产精品| 欧美日韩国产亚洲二区| 国内精品久久久久精免费| 久久久久久久亚洲中文字幕| 免费在线观看成人毛片| 欧美日韩乱码在线| 亚洲18禁久久av| 亚洲精品日韩av片在线观看| 久久精品91蜜桃| av在线亚洲专区| 国产色爽女视频免费观看| 日本黄色片子视频| 一级二级三级毛片免费看| 国产精品av视频在线免费观看| 亚洲欧美成人综合另类久久久 | 国产精品福利在线免费观看| 色哟哟哟哟哟哟| 12—13女人毛片做爰片一| 亚洲av中文字字幕乱码综合| 亚洲欧美精品综合久久99| 乱系列少妇在线播放| 欧美成人a在线观看| 成人漫画全彩无遮挡| 久久精品影院6| 色综合亚洲欧美另类图片| 国产乱人视频| 亚洲精品日韩在线中文字幕 | 婷婷六月久久综合丁香| 亚洲欧美成人综合另类久久久 | 美女大奶头视频| 国产 一区精品| 三级国产精品欧美在线观看| 中文亚洲av片在线观看爽| 国产亚洲精品久久久久久毛片| 床上黄色一级片| 国内精品一区二区在线观看| 国产精品99久久久久久久久| 国产精品一二三区在线看| 亚洲五月天丁香| 欧美成人a在线观看| 床上黄色一级片| 又粗又硬又长又爽又黄的视频 | 18禁黄网站禁片免费观看直播| 国产av在哪里看| 国产 一区精品| 国产爱豆传媒在线观看| 99久久久亚洲精品蜜臀av| av.在线天堂| 看免费成人av毛片| 成人高潮视频无遮挡免费网站| 亚洲欧美日韩东京热| 91狼人影院| 亚洲国产精品国产精品| 日本撒尿小便嘘嘘汇集6| 亚洲欧美中文字幕日韩二区| 能在线免费看毛片的网站| 一区二区三区四区激情视频 | 亚洲久久久久久中文字幕| 久久人人爽人人片av| 国产淫片久久久久久久久| 18禁裸乳无遮挡免费网站照片| 国产黄片视频在线免费观看| 欧美一区二区国产精品久久精品| 日韩欧美一区二区三区在线观看| 人人妻人人澡欧美一区二区| 边亲边吃奶的免费视频| 亚洲国产高清在线一区二区三| 色综合色国产| 人人妻人人澡人人爽人人夜夜 | 亚洲av二区三区四区| www.av在线官网国产| 美女脱内裤让男人舔精品视频 | 特级一级黄色大片| 国产精品电影一区二区三区| 成人综合一区亚洲| 亚洲在线观看片| 久久久精品大字幕| 啦啦啦观看免费观看视频高清| 观看免费一级毛片| 91精品国产九色| 日本免费a在线| 深爱激情五月婷婷| 国产精品女同一区二区软件| 久久婷婷人人爽人人干人人爱| 亚洲成人中文字幕在线播放| 久久鲁丝午夜福利片| 特级一级黄色大片| 日本黄大片高清| av天堂中文字幕网| 特级一级黄色大片| 一个人看的www免费观看视频| 波多野结衣巨乳人妻| 免费av观看视频| 看免费成人av毛片| 免费一级毛片在线播放高清视频| 成人一区二区视频在线观看| 亚洲,欧美,日韩| 国产综合懂色| 女的被弄到高潮叫床怎么办| 国内久久婷婷六月综合欲色啪| 一卡2卡三卡四卡精品乱码亚洲| 老司机福利观看| 欧美成人精品欧美一级黄| 精品人妻熟女av久视频| 久久久国产成人精品二区| 91精品国产九色| 男人狂女人下面高潮的视频| 国产精品久久久久久久久免| 别揉我奶头 嗯啊视频| 中出人妻视频一区二区| 国产精品永久免费网站| 成人欧美大片| 国产毛片a区久久久久| 寂寞人妻少妇视频99o| 精品一区二区三区人妻视频| 黄色配什么色好看| 97超碰精品成人国产| 精品久久久噜噜| av在线老鸭窝| 观看免费一级毛片| 国产在线精品亚洲第一网站| 亚洲人成网站高清观看| 丝袜喷水一区| 中文字幕人妻熟人妻熟丝袜美| 精品久久久久久久久久久久久| 亚洲久久久久久中文字幕| 亚洲精品亚洲一区二区| 边亲边吃奶的免费视频| 久久久午夜欧美精品| 国产精品久久久久久亚洲av鲁大| 国产成人精品一,二区 | 亚洲精品日韩av片在线观看| 91麻豆精品激情在线观看国产| 国产成人精品婷婷| 三级男女做爰猛烈吃奶摸视频| av在线蜜桃| 亚洲成人精品中文字幕电影| 日韩av不卡免费在线播放| 欧美精品一区二区大全| 午夜福利高清视频| 大型黄色视频在线免费观看| 男人舔奶头视频| 国产亚洲5aaaaa淫片| 亚洲国产精品sss在线观看| 精品人妻视频免费看| 少妇被粗大猛烈的视频| 久久99热这里只有精品18| 热99在线观看视频| 久久久久久久久大av| 亚洲自偷自拍三级| 97在线视频观看| 少妇裸体淫交视频免费看高清| 最近中文字幕高清免费大全6| 成人午夜高清在线视频| 一个人观看的视频www高清免费观看| 18禁在线无遮挡免费观看视频| 午夜老司机福利剧场| 日韩高清综合在线| 国产精品嫩草影院av在线观看| 麻豆成人午夜福利视频| 欧美激情在线99| 国产高清视频在线观看网站| 两个人的视频大全免费| 联通29元200g的流量卡| a级毛色黄片| 欧美成人a在线观看| 免费看美女性在线毛片视频| 色综合站精品国产| 日日撸夜夜添| 精品人妻偷拍中文字幕| 欧美不卡视频在线免费观看| 中出人妻视频一区二区| 最后的刺客免费高清国语| 听说在线观看完整版免费高清| 男人舔女人下体高潮全视频| 边亲边吃奶的免费视频| 成人亚洲欧美一区二区av| 男的添女的下面高潮视频| 在线观看一区二区三区| 在线免费观看的www视频| 欧美性感艳星| av女优亚洲男人天堂| 欧美成人免费av一区二区三区| 99精品在免费线老司机午夜| 亚洲无线观看免费| 波野结衣二区三区在线| 自拍偷自拍亚洲精品老妇| 国产高清视频在线观看网站| 青青草视频在线视频观看| 在线免费十八禁| 国产在视频线在精品| 可以在线观看毛片的网站| 国语自产精品视频在线第100页| 男女啪啪激烈高潮av片| 欧美精品国产亚洲| 在线观看美女被高潮喷水网站| 亚洲最大成人手机在线| 又爽又黄a免费视频| 国产在线男女| 国产高清不卡午夜福利| 亚洲欧美日韩无卡精品| 国产一区二区亚洲精品在线观看| 久久精品综合一区二区三区| 日韩av在线大香蕉| 性欧美人与动物交配| 啦啦啦观看免费观看视频高清| 国产精品1区2区在线观看.| 国内少妇人妻偷人精品xxx网站| 色综合亚洲欧美另类图片| 日本爱情动作片www.在线观看| av女优亚洲男人天堂| 国产v大片淫在线免费观看| 婷婷色av中文字幕| 亚洲在线观看片| 特级一级黄色大片| 国产成人精品久久久久久| av在线观看视频网站免费| 久久中文看片网| 噜噜噜噜噜久久久久久91| 99在线视频只有这里精品首页| 午夜激情福利司机影院| 亚洲精品456在线播放app| 国产大屁股一区二区在线视频| 97超碰精品成人国产| 亚洲中文字幕日韩| 亚洲精品日韩av片在线观看| 亚洲av成人av| 久久6这里有精品| 狂野欧美白嫩少妇大欣赏| 亚洲国产精品久久男人天堂| 国产午夜精品一二区理论片| 国语自产精品视频在线第100页| 国产亚洲91精品色在线| 丝袜美腿在线中文| 性欧美人与动物交配| 成人综合一区亚洲| 你懂的网址亚洲精品在线观看 | 女同久久另类99精品国产91| 3wmmmm亚洲av在线观看| 91在线精品国自产拍蜜月| a级毛色黄片| 日韩一区二区视频免费看| 婷婷亚洲欧美| 久久久午夜欧美精品| 又粗又硬又长又爽又黄的视频 | 99热全是精品| 成人一区二区视频在线观看| 女同久久另类99精品国产91| av免费观看日本| 欧美性猛交╳xxx乱大交人| 亚洲四区av| 国产精品麻豆人妻色哟哟久久 | 亚洲国产精品成人综合色| 性欧美人与动物交配| 国产伦精品一区二区三区四那| 精品一区二区三区人妻视频| 少妇的逼好多水| 最近手机中文字幕大全| 欧美成人精品欧美一级黄| 欧美+日韩+精品| 18禁黄网站禁片免费观看直播| 一边亲一边摸免费视频| 日韩高清综合在线| 亚洲av成人精品一区久久| 国产成人精品久久久久久| 国产精品久久久久久精品电影| 两个人视频免费观看高清| 久久精品国产99精品国产亚洲性色| 欧美日本视频| 日韩国内少妇激情av| 日韩国内少妇激情av| 高清午夜精品一区二区三区 | 精品午夜福利在线看| 91麻豆精品激情在线观看国产| 久久九九热精品免费| 欧美区成人在线视频| 国产精品一区www在线观看| 久久精品国产自在天天线| 乱人视频在线观看| 六月丁香七月| 最近的中文字幕免费完整| 中文字幕免费在线视频6| 久久这里有精品视频免费| 国产精品野战在线观看| 少妇熟女aⅴ在线视频| 国产 一区精品| 舔av片在线| 桃色一区二区三区在线观看| 亚洲人成网站高清观看| 大香蕉久久网| 人人妻人人澡欧美一区二区| 国产一区二区亚洲精品在线观看| 99久久无色码亚洲精品果冻| 成人亚洲精品av一区二区| 尾随美女入室| 亚洲真实伦在线观看| 久久久久久久午夜电影| 亚洲精品粉嫩美女一区| 麻豆成人午夜福利视频| 美女被艹到高潮喷水动态| 97在线视频观看| а√天堂www在线а√下载| 久久精品国产99精品国产亚洲性色| 精品久久久噜噜| 成人美女网站在线观看视频| 国产精品久久久久久亚洲av鲁大| 成人毛片60女人毛片免费| 51国产日韩欧美| 国产精品久久久久久精品电影小说 | 99久久成人亚洲精品观看| 男女啪啪激烈高潮av片| 国产真实乱freesex| av.在线天堂| 亚洲精品影视一区二区三区av| 国产成人午夜福利电影在线观看| 精品久久国产蜜桃| 午夜久久久久精精品| 此物有八面人人有两片| 少妇人妻精品综合一区二区 | or卡值多少钱| 精品人妻一区二区三区麻豆| av免费观看日本| 人妻系列 视频| 天天躁夜夜躁狠狠久久av| 久久久久网色| 日韩一本色道免费dvd| 能在线免费观看的黄片| 国产成人精品久久久久久| 毛片女人毛片| 国产精品一区二区在线观看99 | 黄片wwwwww| 日韩一区二区三区影片| 久久99蜜桃精品久久| 韩国av在线不卡| 22中文网久久字幕| 国产中年淑女户外野战色| 国产精品一区二区性色av| 国内精品宾馆在线| 国产精品综合久久久久久久免费| 能在线免费观看的黄片| 亚洲真实伦在线观看| 亚洲人与动物交配视频| 国产三级中文精品| 亚洲最大成人手机在线| 国内精品美女久久久久久| 亚洲精品久久国产高清桃花| 中文资源天堂在线| 免费观看人在逋| 美女被艹到高潮喷水动态| 亚洲熟妇中文字幕五十中出| 国产日韩欧美在线精品| 久久精品影院6| 日韩一区二区视频免费看| 久久久久久国产a免费观看| 国产伦精品一区二区三区四那| 国产精品日韩av在线免费观看| 成人一区二区视频在线观看| 九九热线精品视视频播放| 国产精品野战在线观看| 听说在线观看完整版免费高清| 日韩成人伦理影院| 69人妻影院| 免费无遮挡裸体视频| 亚洲高清免费不卡视频| 亚洲欧美精品自产自拍| 国产麻豆成人av免费视频| 男人舔奶头视频| 桃色一区二区三区在线观看| 精品久久久久久久久亚洲| 高清毛片免费看| 高清日韩中文字幕在线| 啦啦啦韩国在线观看视频| 国产成人福利小说| kizo精华| 女人十人毛片免费观看3o分钟| 伦理电影大哥的女人| 18禁在线无遮挡免费观看视频| 免费av不卡在线播放| 亚洲精品影视一区二区三区av| 国产精品久久久久久久电影| 国产精品一区www在线观看| 午夜福利在线在线| 老司机福利观看| 久久亚洲精品不卡| 99热这里只有是精品50| 久久久久久国产a免费观看| av在线亚洲专区| 午夜亚洲福利在线播放| 国产精品一区二区在线观看99 | 国产精品人妻久久久影院| 亚洲三级黄色毛片| 国产精品久久久久久久电影| 国产在线精品亚洲第一网站| 亚洲av二区三区四区| 久久久久久久午夜电影| av黄色大香蕉| 村上凉子中文字幕在线| 国产老妇伦熟女老妇高清| 伦理电影大哥的女人| 噜噜噜噜噜久久久久久91| 人人妻人人澡人人爽人人夜夜 | 国产男人的电影天堂91| 国产精品久久久久久久久免| 2022亚洲国产成人精品| 美女内射精品一级片tv| 成人欧美大片| 91久久精品电影网| 国产成年人精品一区二区| 亚洲av熟女| 国产久久久一区二区三区| 永久网站在线| 色哟哟·www| 成人鲁丝片一二三区免费| 久久久久久久久久久免费av| 久久精品国产清高在天天线| 可以在线观看的亚洲视频| 国产午夜精品论理片| www.色视频.com| 麻豆成人午夜福利视频| 国产探花极品一区二区| 深夜精品福利| 成年免费大片在线观看| 国产高清不卡午夜福利| 综合色av麻豆| 乱码一卡2卡4卡精品| 亚洲精品日韩在线中文字幕 | 国产精品人妻久久久久久| а√天堂www在线а√下载| 小说图片视频综合网站| 欧美xxxx性猛交bbbb| 精品久久久久久久久亚洲| 久久久a久久爽久久v久久| 一级毛片电影观看 | 身体一侧抽搐| a级毛色黄片| 日韩中字成人| 国产在线精品亚洲第一网站| 99九九线精品视频在线观看视频| 国产精品一区二区在线观看99 | 九九热线精品视视频播放| 日韩,欧美,国产一区二区三区 | 精品久久久久久久久久免费视频| 嫩草影院精品99| 国产精品一区二区在线观看99 | a级毛片免费高清观看在线播放| 一个人看视频在线观看www免费| 日韩欧美精品免费久久| 国产精品久久久久久亚洲av鲁大| 亚洲精品乱码久久久v下载方式| 波多野结衣高清作品| 中文资源天堂在线| 18禁裸乳无遮挡免费网站照片| 午夜福利高清视频| 亚洲欧美精品综合久久99| 在线免费观看的www视频| 在线国产一区二区在线| 男女视频在线观看网站免费| 你懂的网址亚洲精品在线观看 | 久久久久免费精品人妻一区二区| 18禁在线无遮挡免费观看视频| 久久热精品热| 欧美极品一区二区三区四区| 少妇的逼好多水| 精品少妇黑人巨大在线播放 | 中文字幕人妻熟人妻熟丝袜美| 麻豆国产97在线/欧美| 国产精品乱码一区二三区的特点| 亚洲最大成人手机在线| 少妇人妻一区二区三区视频| 国产 一区 欧美 日韩| 淫秽高清视频在线观看| 在线观看66精品国产| 狂野欧美白嫩少妇大欣赏| 国产不卡一卡二| 啦啦啦观看免费观看视频高清| 搡老妇女老女人老熟妇| 成年女人看的毛片在线观看| 欧美丝袜亚洲另类| 黄片wwwwww| 精品国内亚洲2022精品成人| 最近中文字幕高清免费大全6| 亚洲国产高清在线一区二区三| 国产精品一二三区在线看| 国产成人91sexporn| 午夜免费男女啪啪视频观看| 嫩草影院入口| 亚洲精品久久久久久婷婷小说 | 赤兔流量卡办理| 一个人观看的视频www高清免费观看| 国产女主播在线喷水免费视频网站 | 少妇丰满av| 国产成人aa在线观看| 网址你懂的国产日韩在线| 亚洲自偷自拍三级| 色视频www国产| 久久欧美精品欧美久久欧美| 欧美性猛交黑人性爽| 国产欧美日韩精品一区二区| 亚洲精品粉嫩美女一区| 欧美变态另类bdsm刘玥| 色哟哟·www| 国产又黄又爽又无遮挡在线| 国产一级毛片七仙女欲春2| 一区二区三区四区激情视频 | 国产成人精品久久久久久| 日韩成人av中文字幕在线观看| 欧美成人精品欧美一级黄| 久久热精品热| 午夜精品在线福利| 国产白丝娇喘喷水9色精品| 深爱激情五月婷婷| 国产激情偷乱视频一区二区| 久久久成人免费电影| 欧美成人免费av一区二区三区| 久久久久久九九精品二区国产| 亚洲精品久久国产高清桃花| 久久久久国产网址| 超碰av人人做人人爽久久| 亚洲成av人片在线播放无| 国产一区二区激情短视频| 亚洲人成网站高清观看| www.色视频.com| 欧洲精品卡2卡3卡4卡5卡区| 欧美bdsm另类| 亚洲一区高清亚洲精品| 亚洲精品日韩av片在线观看| 啦啦啦观看免费观看视频高清| 卡戴珊不雅视频在线播放| 日韩av不卡免费在线播放| av黄色大香蕉| 搡老妇女老女人老熟妇| 22中文网久久字幕| 午夜久久久久精精品| 69人妻影院| 国产爱豆传媒在线观看| 久久精品国产亚洲av天美| 最近视频中文字幕2019在线8| 特级一级黄色大片| 国产真实乱freesex| 色综合亚洲欧美另类图片| 国产免费男女视频| 成人av在线播放网站| 男人舔女人下体高潮全视频| 欧美高清成人免费视频www| 男人的好看免费观看在线视频| 日韩中字成人| 在线国产一区二区在线| 国产亚洲精品久久久com| 一区福利在线观看| 国产精品人妻久久久久久|