近期ChatGPT爆火,其對傳統文字工作的效率提高及總結能力讓使用者驚艷。緊隨其后CodeGPT這樣基于GPT的插件出現,也充分體現了其對代碼編寫效率的提高。而最新GPT-4的發布,是否可以應用到對區塊鏈、Solidity智能合約的審計中呢?
基于這樣的疑問,我們進行了多種可行性測試。
測試環境及測試方法
測試使用的對比模型對象:GPT-3.5(Web),GPT-3.5-turbo-0301,GPT-4(Web)。
代碼片段使用Prompt:HelpmediscovervulnerabilitiesinthisSoliditysmartcontract.
漏洞代碼片段的檢測對比
在此部分,我們分三次測試,使用歷史上常見的漏洞代碼作為測試一和測試二的用例,來驗證其對基礎漏洞的檢測能力,測試三中使用中等難度的漏洞代碼作為測試用例。
測試一
用例:《智能合約安全審計入門篇——Phishingwithtx.origin》
楊海坡:流動性挖礦火爆的本質在于一二級市場形成的共振效應:9月7日早間,ViaBTC礦池CEO楊海坡發微博稱,流動性挖礦火爆的本質,來源于一級市場的套利和二級市場對于鎖倉數據的迷信,所形成的共振效應。[2020/9/7]
漏洞代碼:
對GPT進行提問:
GPT-3.5(Web)answer
GPT-3.5-turbo-0301answer
GPT-4(Web)answer
火幣尖峰對話卡咩:Defi項目的火爆集中在基于Token的金融領域:6月24日下午,在由火幣主辦的火幣尖峰對話“Waiting For ETH2.0”系列AMA活動中,火幣礦池與dForce創始人楊民道、Infstones Head of Bussiness Sili、Stafi&Wetez創始人卡咩、真本聰聯合創始人索老頭就“乘風破浪的以太坊DeFi ”展開主題討論,深度解讀ETH2.0將給行業帶來的重大影響。
在Stafi&Wetez創始人卡咩看來,目前Defi項目的火爆集中在基于Token的金融領域,無論是交易、穩定幣、借貸還是衍生品。他表示,任何基于Token的創新金融業務都有可能是新的引爆點,也會在引爆點后形成更寬的賽道。基于Token的業務將會發展的越來越快,種類會越來越多。在這種情況下,進行組合、重組或者整合的機會就開始變多,而邊緣一些為這些服務提供工具的機會也會出現。[2020/6/24]
可以看到結果:3個測試版本都發現了關鍵的tx.origin相關問題。
測試二
用例:《智能合約安全審計入門篇——溢出漏洞》
動態 | 區塊鏈、股權轉讓概念持續火爆 相關上市公司備受市場青睞:據證券市場周刊報道,上半周,兩市熱點題材萎靡,區塊鏈、股權轉讓、殼資源是僅存的幾個亮點。消息面上,11月8日,《上市公司證券發行管理辦法》、《創業板上市公司證券發行管理暫行辦法》等再融資規則發布,股權轉讓概念受關注,區塊鏈則是自10月底以來持續火爆的概念。上市公司中兼具兩個概念的為數不多,如恒久科技(11.600,-0.19,-1.61%)(002808)近日收購信息安全企業閩保股份正式涉鏈就被市場所挖掘;九鼎新材(23.720,0.71,3.09%)(002201)則再度霸占股權轉讓概念上漲榜。[2019/11/13]
漏洞代碼:
對GPT進行提問:
GPT-3.5(Web)answer
GPT-3.5-turbo-0301answer
比特幣火爆:Coinbase去年營收超10億美元:隨著加密貨幣的價格暴漲,美國比特幣交易平臺Coinbase也實現了快速發展,并因此遭遇了硅谷創業公司難得一遇的煩惱:有太多投資者想要入股該公司。知情人士透露,這家成立6年的公司去年的營收突破10億美元大關,主要是因為人們對比特幣和其他虛擬貨幣的興趣激增所致。該公司去年8月估值為16億美元,現在至少翻了一番。知情人士表示,Coinbase截至去年9月30日僅能實現約6億美元的年營收,但感恩節和圣誕節期間的比特幣交易將其全年營收提升到10億美元以上。[2018/1/23]
GPT-4(Web)answer
可以看到GPT-3.5(Web)、GPT-3.5-turbo-0301都發現了關鍵的Overflow漏洞,出乎意料的是GPT-4(Web)居然沒有相關提示。
測試三
用例:《空手套白狼——Popsicle被黑分析》
區塊鏈概念行情火爆 區塊鏈概念股掀漲停潮:受外圍市場區塊鏈概念股持續大熱影響,A股市場上區塊鏈概念近日表現搶眼。區塊鏈指數昨日放量大漲5.88%,創該指數近一年來最大單日漲幅,同時成交量創歷史新高。區塊鏈概念股全線飄紅,18只個股漲幅在5%以上,其中10只個股相繼漲,包括廣電運通、遠光軟件、四方精創、易見股份、新晨科技、高偉達、飛天誠信、安妮股份等。從資金流向看,主力資金搶籌跡象較為明顯,昨日區塊鏈概念股整體主力資金凈流入16.03億元,7只個股主力資金凈流入逾億元,分別是利歐股份、恒生電子、廣電運通、游久游戲、浙大網新、飛天誠信、贏時勝。其中,利歐股份主力資金凈流入1.78億元,位居首位,該股昨日午后被拉升至漲停板,最新股價逼近60日線。[2018/1/11]
漏洞代碼:
對GPT進行提問:
GPT-3.5(Web)answer
GPT-3.5-turbo-0301answer
GPT-4(Web)answer
對比結果,我們可以看到3個版本都未發現關鍵的漏洞點。
代碼片段的檢測總結
可以看到GPT模型對簡單的漏洞代碼塊的檢測能力還是不錯的,但是對稍微復雜一點的漏洞代碼暫時還無法檢測,并且在測試中可以看到GPT-4(Web)的整體上下文可讀性很高,輸出格式清晰、舒服,但是其對代碼的審計能力暫時沒有遠超GPT-3.5(Web)、GPT-3.5-turbo-0301,甚至在部分測試中由于Transformer輸出存在一定的不確定性反而導致GPT-4(Web)遺漏了一些關鍵問題。
對比已知漏洞的全量合約檢測
為了更加契合普通項目方在合約審計中的簡單操作需求,這里我們提高些難度,針對代碼量大的合約進行全量導入上下文,讓GPT-4模型進行審計。
用例:《千萬美元被盜——DeFi平臺MonoXFinance被黑分析》
整份合約分批輸入,在對話最后提出檢測漏洞請求
這里使用Prompt:
Hereisasoliditysmartcontract
Contractcode
Theaboveisthecompletecode,helpmediscovervulnerabilitiesinthissmartcontract.
可以看到,GPT-4雖然在OpenAI公布的信息中其單次輸入字符總數已經是當前最高,但還是會由于文本超長導致在最后提問時GPT會上下文缺失而只識別到部分內容,所以這樣對大型合約而言就無法進行完整的上下文審計。
拆封整份合約,分批輸入分批檢測
這里使用Prompt:
對話1:
Helpmediscovervulnerabilitiesinthissoliditysmartcontract.
分段內容1
對話2:
Helpmediscovervulnerabilitiesinthissoliditysmartcontract.
分段內容2
對話3:
Helpmediscovervulnerabilitiesinthissoliditysmartcontract.
分段內容3
總結
GPT當前是否適合合約分析
優點
GPT對合約代碼中基礎的簡單的漏洞具備部分檢測能力,并且在檢測出漏洞后會以很高的可讀性來解釋漏洞問題,這樣的特性比較適合為初級合約審計工作者前期訓練提供快速指導和簡單答疑。
存在的問題
a.每次生成內容波動
GPT對每次對話的輸出存在一定的波動,可以通過API接口參數進行調整,但是依舊不是恒定的輸出,雖然這樣的波動性對語言對話來說是好的方式,大大提高了對話給人的真實感。但是這對代碼分析類的工作來說是一個不好的問題。因為為了覆蓋AI可能告知我的多種漏洞回答,我需要多次請求同一問題并進行對比篩選,這無形中又提高了工作量,違背了AI輔助人類提高效率的基準目標。
例如這里再次運行"漏洞代碼片段的檢測對比測試二:
可以看到其輸出結果比之前測試又多了一些額外內容。
b.漏洞分析能力依舊有很大的提高空間
對稍微復雜的漏洞進行檢測即會發現當前的訓練模型不能正確的分析并找到相關關鍵漏洞點。
GPT輔助合約審計的可行性和潛力分析
雖然當前來看GPT對合約漏洞的分析及挖掘能力還處于相對較弱的狀態,但它對普通漏洞小代碼塊的分析并生成報告文本的能力依舊讓使用者興奮,在可預見的未來幾年伴隨這GPT及其他AI模型的訓練開發,相信對大型復雜合約的更快速,更智能,更全面的輔助審計一定會實現。當科技發展可指數級提高人工的效率時就會發生質變,我們非常期待AI對區塊鏈安全的助力,我們會持續關注新AI產品對區塊鏈安全的影響。最后可見的將來我們必將與AI在一定程度上進行融合,愿AI和區塊鏈與你同在。
Tags:GPT區塊鏈APIGPT價格GPT幣區塊鏈工程專業學什么區塊鏈存證怎么弄區塊鏈技術發展現狀和趨勢API價格API幣
6月11日,活躍的比特幣(BTC)地址數量達到1040,244個。這是兩年半以來的最高值。許多分析師認為,這一指標與市場整體價格之間可能存在相關性.
1900/1/1 0:00:00他聊聊早期的商業計算、互聯網,將它們與加密貨技術進行比較。1、互聯網與區塊鏈非常相似 “都是關于節點。” 直到上世紀80年代中后期,我才意識到內聚“互聯網”這個概念是沒有真正定義的.
1900/1/1 0:00:008月14日,商務部官網印發《全面深化服務貿易創新發展試點總體方案》,并在“全面深化服務貿易創新發展試點任務、具體舉措及責任分工”附表中明確:在京津冀、長三角、粵港澳大灣區及中西部具備條件的試點地.
1900/1/1 0:00:00摘要 2023年加密市場從去年的深熊里大幅反彈,很多人可能還未來的及‘上車’,此時對比資產凈值仍有5折左右折價的Grayscale信托份額顯得格外有吸引力;基于以太坊Web3核心基礎設施的地位.
1900/1/1 0:00:00以太坊的發展路線越來越傾向于ModularBlockchain,其本質就是Layer1的datasharding和Layer2的Rollups擴容相結合,成為一種模塊化架構.
1900/1/1 0:00:00在俄羅斯解除Telegram禁令后不久,俄羅斯當局開始調查涉及Telegram未發行的Gram代幣可能存在的欺詐性發行行為.
1900/1/1 0:00:00