[發明專利]一種基于棧指令序列的智能合約相似度檢索方法及系統

在審

• 申請號: 202010176290.0
• 申請日: 2020-03-13
• 公開（公告）號: CN111460454A
• 公開（公告）日: 2020-07-28
• 發明（設計）人: 柳陽;敖翔;莊福振;羅平;何清
• 申請（專利權）人: 中國科學院計算技術研究所
• 主分類號: G06F21/57
• 分類號: G06F21/57;G06F8/75;G06F40/194;G06N3/04
• 代理公司: 北京律誠同業知識產權代理有限公司 11006
• 代理人: 祁建國

1.一種基于棧指令序列的智能合約相似度檢索方法，其特征在于，包括：

在以太坊虛擬機上獲得待檢測的智能合約被執行時的棧指令序列，通過神經網絡建模該棧指令序列進而將該智能合約向量化，得到該智能合約的向量表示，并通過向量相似度分析，檢索得到與該向量表示最相似的智能合約。

2.如權利要求1所述的基于棧指令序列的智能合約相似度檢索方法，其特征在于，該神經網絡包括一個輸入層、多個編碼層、一個輸出層和Softmax層；輸入層是指令的輸入向量，每層編碼層中各個編碼器之間有雙向連接，輸出層是每層指令得到的學習向量，Softmax層輸出的是對下一個指令預測的概率值。

3.如權利要求2所述的基于棧指令序列的智能合約相似度檢索方法，其特征在于，

待檢測的智能合約c的棧指令序列為S_c＝(s₁,s₂,…,s_N)，S_c的長度為N，指令s_t(t＝1,…,N)的輸入層向量為該神經網絡第層得到的向量為其中編碼層共有L-1層，第L層為輸出層，智能合約c的輸入層向量為第層得到的向量為編碼層中的編碼器使用長短時記憶網絡，以正向LSTM的前向傳播為例，介紹編碼器中的運算，記t時刻第層的輸出特征為：

4.如權利要求3所述的基于棧指令序列的智能合約相似度檢索方法，其特征在于，

該長短時記憶網絡編碼器網絡包含遺忘門f_t、輸入門i_t、輸出門o_t和細胞單元C_t，更新公式如下

f_t＝σ(W_fh_t-1+U_fx_t+b_f)

i_t＝σ(W_ih_t-1+U_ix_t+b_i)

o_t＝σ(W_oh_t-1+U_ox_t+b_o)

其中，W_f,U_f,b_f為遺忘門參數，W_i,U_i,b_i為輸入門參數，W_o,U_o,b_o為遺忘門參數；

在遺忘門和輸入門作用下，細胞單元更新如下：

a_t＝tanh(W_ah_t-1+U_ax_t+b_a)

C_t＝f_t⊙C_t-1+i_t⊙a_t

其中，W_a,U_a,b_a,a_t為細胞單元參數；

最后，由輸出門和細胞單元得到輸出向量h_t：

h_t＝o_t⊙tanh(C_t)

整個網絡的訓練目標是正向指令預測和逆向指令預測，兩個方向的最大似然為：

通過最大化該最大似然，更新該神經網絡。

5.如權利要求1-4所述的任意一種基于棧指令序列的智能合約相似度檢索方法，其特征在于，判斷該最相似的智能合約與該待檢測的智能合約的相似度是否大于預設值，若是，則判定該待檢測的智能合約存在安全漏洞，進行告警，否則判定該待檢測的智能合約為安全合約。