重點(diǎn)實(shí)驗室開(kāi)展國際學(xué)術(shù)交流活動(dòng)

區塊鏈作為當下熱門(mén)的新技術(shù)，引發(fā)了全世界的關(guān)注，該技術(shù)對于構建可靠的互聯(lián)網(wǎng)系統，提高數字經(jīng)濟社會(huì )的真實(shí)可信性具有重要意義。區塊鏈本質(zhì)上是一個(gè)共享賬本，它使用密碼技術(shù)以及計算機網(wǎng)絡(luò )來(lái)建立交易的信任。區塊鏈上所運行的程序稱(chēng)為智能合約，它用于完成用戶(hù)所賦予的業(yè)務(wù)邏輯，部署后其代碼是無(wú)法更改的，這就意味著(zhù)智能合約出現漏洞的時(shí)候可能會(huì )造成無(wú)法彌補的損失，因此智能合約的安全問(wèn)題也成為關(guān)注的焦點(diǎn)。

為此，上海計算機軟件技術(shù)開(kāi)發(fā)中心于2018年6月26日上午特邀美國西密西根大學(xué)計算機科學(xué)系Zijiang James Yang教授針對區塊鏈中智能合約的安全問(wèn)題做了題為“智能合約漏洞挖掘”的報告，本次報告由重點(diǎn)實(shí)驗室主任劉振宇主持，并代表實(shí)驗室全員對Yang教授的到訪(fǎng)表示熱烈歡迎。

本次報告中， Yang教授介紹了區塊鏈的發(fā)展、原理及應用，重點(diǎn)分析了智能合約的概念以及智能合約代碼中存在的漏洞，提出了一種利用符號執行挖掘智能合約的漏洞方法，該方法利用符號執行后將與交易相關(guān)的路徑找出并通過(guò)轉賬額度檢查、無(wú)效地址檢查、貪婪合約檢查、終止條件合理性檢查以及服務(wù)費估算等5個(gè)層面的分析，挖掘智能合約中存在的漏洞。Yang教授還對該方法應用至具體的實(shí)驗中，并進(jìn)行了分析，實(shí)驗結果表明，該方法的實(shí)施以較少的開(kāi)銷(xiāo)就能挖掘智能合約中存在的漏洞。

報告結束后，與會(huì )人員就Yang教授的報告內容進(jìn)行提問(wèn)，發(fā)表了自己的見(jiàn)解。Yang教授針對所提問(wèn)的問(wèn)題進(jìn)行了詳細解答，并展開(kāi)了深入探討。