[發(fā)明專利]一種智能合約的安全檢測方法及裝置

有效

• 申請?zhí)枺?/td>: 202111497320.9
• 申請日: 2021-12-09
• 公開（公告）號(hào): CN113900665B
• 公開（公告）日: 2022-03-15
• 發(fā)明（設(shè)計(jì)）人: 姚俊筍;顏亦軍;韓朋博
• 申請（專利權(quán)）人: 眾連智能科技有限公司;連連銀通電子支付有限公司
• 主分類號(hào): G06F8/41
• 分類號(hào): G06F8/41;G06K9/62;G06N20/00
• 代理公司: 廣州三環(huán)專利商標(biāo)代理有限公司 44202
• 代理人: 苗芬芬;賈允

1.一種智能合約的安全檢測方法，其特征在于，所述方法包括：

獲取智能合約的代碼信息；

基于所述代碼信息，確定所述智能合約的合約類型，具體包括：獲取合約分類模型；將所述代碼信息輸入所述合約分類模型，獲得所述智能合約的合約類型；其中，所述合約類型表征所述智能合約的交易類型；

基于所述合約類型，獲取所述智能合約對應(yīng)的語法規(guī)則信息和語義規(guī)則信息；

基于所述代碼信息、所述語法規(guī)則信息和所述語義規(guī)則信息，對所述智能合約進(jìn)行語法檢查和語義檢查，得到所述智能合約的安全信息；

其中，所述獲取合約分類模型包括：

獲取樣本智能合約的樣本代碼信息和合約類型標(biāo)簽；

將所述樣本代碼信息輸入預(yù)設(shè)機(jī)器學(xué)習(xí)模型，進(jìn)行合約類型預(yù)測處理，得到預(yù)測合約類型信息；

根據(jù)所述合約類型標(biāo)簽和所述預(yù)測合約類型信息，得到合約類型損失信息；

根據(jù)所述合約類型損失信息訓(xùn)練所述預(yù)設(shè)機(jī)器學(xué)習(xí)模型，得到所述合約分類模型。

2.根據(jù)權(quán)利要求1所述的方法，其特征在于，所述基于所述語法規(guī)則信息和所述語義規(guī)則信息，對所述智能合約進(jìn)行語法檢查和語義檢查，得到所述智能合約的安全信息，包括：

基于所述代碼信息，構(gòu)建所述智能合約對應(yīng)的抽象語法樹；

基于所述語法規(guī)則信息，對所述抽象語法樹的節(jié)點(diǎn)信息與所述語法規(guī)則信息中的節(jié)點(diǎn)信息進(jìn)行匹配處理；

在存在所述抽象語法樹中的節(jié)點(diǎn)信息與所述語法規(guī)則信息中的節(jié)點(diǎn)信息不匹配的情況下，得到所述安全信息為存在錯(cuò)誤的相關(guān)信息。

3.根據(jù)權(quán)利要求1所述的方法，其特征在于，所述基于所述語法規(guī)則信息和所述語義規(guī)則信息，對所述智能合約進(jìn)行語法檢查和語義檢查，得到所述智能合約的安全信息，包括：

基于所述代碼信息，獲取所述智能合約的對象信息；

將所述智能合約的對象信息和所述語義規(guī)則信息的預(yù)設(shè)對象信息進(jìn)行匹配處理；

在所述智能合約的對象信息和所述語義規(guī)則信息的預(yù)設(shè)對象信息不匹配的情況下，得到所述安全信息為存在錯(cuò)誤的相關(guān)信息。

4.根據(jù)權(quán)利要求1所述的方法，其特征在于，所述基于所述語法規(guī)則信息和所述語義規(guī)則信息，對所述智能合約進(jìn)行語法檢查和語義檢查，得到所述智能合約的安全信息，包括：

基于所述代碼信息，獲取所述智能合約的選擇分支信息；

在所述選擇分支信息中不存在異常狀態(tài)對應(yīng)的處理信息的情況下，得到所述安全信息為存在錯(cuò)誤的相關(guān)信息。

5.根據(jù)權(quán)利要求1所述的方法，其特征在于，所述基于所述語法規(guī)則信息和所述語義規(guī)則信息，對所述智能合約進(jìn)行語法檢查和語義檢查，得到所述智能合約的安全信息，包括：

基于所述代碼信息，獲取所述智能合約對應(yīng)的選擇組合信息，所述選擇組合信息包括多個(gè)選擇組合各自對應(yīng)的變量名稱；

在所述選擇組合信息中存在相同的變量名稱的情況下，得到所述安全信息為存在錯(cuò)誤的相關(guān)信息。

6.一種智能合約的安全檢測裝置，其特征在于，所述裝置包括：

代碼信息獲取模塊，用于獲取智能合約的代碼信息；

合約類型確定模塊，用于基于所述代碼信息，確定所述智能合約的合約類型，具體包括：獲取合約分類模型；將所述代碼信息輸入所述合約分類模型，獲得所述智能合約的合約類型；其中，所述合約類型表征所述智能合約的交易類型；所述獲取合約分類模型包括：獲取樣本智能合約的樣本代碼信息和合約類型標(biāo)簽；將所述樣本代碼信息輸入預(yù)設(shè)機(jī)器學(xué)習(xí)模型，進(jìn)行合約類型預(yù)測處理，得到預(yù)測合約類型信息；根據(jù)所述合約類型標(biāo)簽和所述預(yù)測合約類型信息，得到合約類型損失信息；根據(jù)所述合約類型損失信息訓(xùn)練所述預(yù)設(shè)機(jī)器學(xué)習(xí)模型，得到所述合約分類模型；

規(guī)則信息確定模塊，用于基于所述合約類型，獲取所述智能合約對應(yīng)的語法規(guī)則信息和語義規(guī)則信息；

安全信息獲取模塊，用于基于所述代碼信息、所述語法規(guī)則信息和所述語義規(guī)則信息，對所述智能合約進(jìn)行語法檢查和語義檢查，得到所述智能合約的安全信息。