區(qū)塊鏈智能合約形式化驗(yàn)證代碼轉(zhuǎn)換器及轉(zhuǎn)換方法
基本信息
| 申請(qǐng)?zhí)?/td> | CN201810266318.2 | 申請(qǐng)日 | - |
| 公開（公告）號(hào) | CN108459860B | 公開（公告）日 | 2021-03-30 |
| 申請(qǐng)公布號(hào) | CN108459860B | 申請(qǐng)公布日 | 2021-03-30 |
| 分類號(hào) | G06F8/41(2018.01)I | 分類 | 計(jì)算；推算；計(jì)數(shù); |
| 發(fā)明人 | 楊霞 | 申請(qǐng)（專利權(quán)）人 | 成都鏈安科技有限公司 |
| 代理機(jī)構(gòu) | 成都四合天行知識(shí)產(chǎn)權(quán)代理有限公司 | 代理人 | 王記明 |
| 地址 | 610000四川省成都市成華區(qū)二環(huán)路東二段508號(hào)7層714號(hào)房 | ||
| 法律狀態(tài) | - | ||
摘要
| 摘要 | 本發(fā)明公開了區(qū)塊鏈智能合約形式化驗(yàn)證代碼轉(zhuǎn)換器及方法，將多種語言開發(fā)的智能合約程序代碼自動(dòng)化轉(zhuǎn)換為形式化驗(yàn)證輔助證明器可識(shí)別運(yùn)行的中間層語言M+代碼，然后通過形式化驗(yàn)證輔助證明器對(duì)工具生成的中間語言M+語言代碼進(jìn)行自動(dòng)化安全驗(yàn)證，高自動(dòng)化的將智能合約源代碼一鍵轉(zhuǎn)換為形式化驗(yàn)證中間語言M+代碼，自動(dòng)提取形式化代碼中的數(shù)據(jù)類型、運(yùn)算符、特殊結(jié)構(gòu)、條件和循環(huán)語句、函數(shù)繼承關(guān)系、函數(shù)限定符等內(nèi)容，并映射到執(zhí)行空間執(zhí)行，從而極大程度的提高區(qū)塊鏈智能合約形式化安全驗(yàn)證效率，減少了人工參與度，提高了自動(dòng)化程度，同時(shí)也確保了代碼形式化過程的準(zhǔn)確性。?? |
