以太坊交易所 以太坊交易所
Ctrl+D 以太坊交易所
ads
首頁 > Bitcoin > Info

火爆出圈的最強 AI GPT 是否可用于合約安全審計?_區塊鏈:區塊鏈技術發展現狀和趨勢API價格

Author:

Time:1900/1/1 0:00:00

近期ChatGPT爆火,其對傳統文字工作的效率提高及總結能力讓使用者驚艷。緊隨其后CodeGPT這樣基于GPT的插件出現,也充分體現了其對代碼編寫效率的提高。而最新GPT-4的發布,是否可以應用到對區塊鏈、Solidity智能合約的審計中呢?

基于這樣的疑問,我們進行了多種可行性測試。

測試環境及測試方法

測試使用的對比模型對象:GPT-3.5(Web),GPT-3.5-turbo-0301,GPT-4(Web)。

代碼片段使用Prompt:HelpmediscovervulnerabilitiesinthisSoliditysmartcontract.

漏洞代碼片段的檢測對比

在此部分,我們分三次測試,使用歷史上常見的漏洞代碼作為測試一和測試二的用例,來驗證其對基礎漏洞的檢測能力,測試三中使用中等難度的漏洞代碼作為測試用例。

測試一

用例:《智能合約安全審計入門篇——Phishingwithtx.origin》

彭博社:8月加密市場因DeFi火爆增加超500種新代幣:由于DeFi熱潮涌動,2020年8月加密貨幣市場已經增加超500種新代幣,或導致加密泡沫再次變得越來越大。在投機欲望激增的推動下,豬排(Porkchop)、Davecoin、意面(PASTA)、壽司(Sushiswap)Newtonium等新代幣紛紛登場,許多項目沒有實際效用,但投資者已經投入數十億美元。根據DeFi市場數據提供商DeFi Pulse數據顯示,截至9月2日,用戶向所有DeFi應用程序投入的資金超過94.6億美元。(彭博社)[2020/9/2]

漏洞代碼:

對GPT進行提問:

GPT-3.5(Web)answer

GPT-3.5-turbo-0301answer

火幣尖峰對話卡咩: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]

GPT-4(Web)answer

“區塊鏈大爺”火爆2018全球區塊鏈精英峰會會場:據火訊財經報道稱,4月28日,在2018全球區塊鏈精英峰會會場外,一個頭發花白的大爺吸引了很多人的注意,大爺手持宣傳牌,上面寫著“全球首個保潔鏈-Clean Chain,去中介化的保潔服務與管理”,同時發布需求“求技術合伙人!求交易所聯系方式!”在宣傳語中還表達了保潔行業是人類剛需,與區塊鏈技術相結合勢不可擋的強烈意愿。現場很多人稱其為“區塊鏈大爺”。[2018/4/28]

可以看到結果:3個測試版本都發現了關鍵的tx.origin相關問題。

測試二

用例:《智能合約安全審計入門篇——溢出漏洞》

漏洞代碼:

對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被黑分析》

區塊鏈私募火爆 機構正在入場:近日,區塊鏈項目私募的火熱再次吸引了不少投資者的關注,而在今日,多位圈內大咖推出了門檻為500ETH的私募投資群,并表示入群者可以拿到市面上拿不到的私募額度。同時,郭宏才在微博表示有機構正在入場,網友認為,這是在花式割韭菜,不過也有人認為,這可能意味著大資金會進入場內。 ?[2018/1/2]

漏洞代碼:

對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幣

Bitcoin
區塊鏈為什么會成為關鍵技術?被應用于哪些行業?_加密貨幣:加密貨幣市場還有未來嗎知乎

作者:YuChen;編譯:鏈集市人們經常聽到區塊鏈技術,加密貨幣依賴于區塊鏈系統來記錄人們和企業之間的財務交易。但是,區塊鏈技術的價值不僅僅在于此.

1900/1/1 0:00:00
全球點對點比特幣交易量達到2018年1月以來的最高點_bitcoin:bitcoin幣是什么幣比特幣交易會被判刑嗎

全球點對點比特幣的總交易量已飆升至2018年1月以來的最高水平,在8月的第一周,Localbitcoins和Paxful交易了近9500萬美元比特幣.

1900/1/1 0:00:00
新的區塊鏈系統用于跟蹤未感染高風險病的個人_HBC:HBC價格

某財團宣布發布一個基于區塊鏈的系統,用于跟蹤未感染高風險病的個人的移動軌跡。 總部位于荷蘭的公共健康區塊鏈聯盟宣布,其發布了一個基于區塊鏈的系統,用于跟蹤未感染高風險病的個人的移動數據.

1900/1/1 0:00:00
構建加密部落文化:模因、信仰、符號體系、圖騰及加密精神_比特幣:比特幣最新價格行情走勢

在我看來,絕大多數的加密項目都忽視加密文化的建設,過分關注于解決問題,炒作以及代幣管理部分。而Web3的產品具有部落文化,meme是圖騰,理念是文化,資金和流動性是護城河,歸屬感和認同是信仰的來.

1900/1/1 0:00:00
Coinbase首席稅務官:由于加密稅法,資本將逃離美國_數字資產:數字資產是未來最大的資產

美國最大的加密貨幣交易所Coinbase認為,在加密貨幣監管和稅收方面,其他國家比美國更開放。Coinbase首席稅務官LawrenceZlatkin在7月7日的Unitize小組討論上分享了該.

1900/1/1 0:00:00
兩名日本男子因給Coincheck黑客當“搬運工”而被捕_比特幣:coincheck交易平臺比特幣中國官網聯系方式

3月11日,東京逮捕了兩名與“Coincheck黑客案”有關的男子。這些人被指控通過一個黑暗的網絡市場購買被盜的NEM,這違反了一項旨在打擊有組織犯罪的法律.

1900/1/1 0:00:00
ads