2022年11月,OpenAI推出了創新的人工智能項目。
除了可用于進行文章的撰寫和總結、笑話和詩歌的創作以外,ChatGPT還可以用來調試和生成代碼。
2022年全年,Web3.0領域因黑客攻擊和欺詐等事件造成的資產損失超過了37億美元,這樣巨額損失不禁讓業內人思考:如ChatGPT這樣的新技術是否可以用以改善智能合約代碼的安全性。
ZKasino是一個去中心化的平臺,近期通過ChatGPT進行了一次預審計。
ZKasino希望在CertiK開展全面審計的同時,讓CertiK為ChatGPT所得出的結果進行一個初步的審查,以測試ChatGPT作為AI「智能合約審計師」的能力。
那么ChatGPT的測試結果如何呢?
其是否已經準備好接替人工代碼審計專家的工作?
或者說它仍不足以完全替代人工?
BASE chain在24小時內收到了6700萬美元,TVL增長了10113%:金色財經報道,據Scopescan監測,在過去24小時內。Base Chain的TVL飆升了超過100倍,BASE chain在24小時內收到了6700萬美元,TVL增長了10113%,可能是由于Shitcoins的飆升。
0xccfa,BALD創建者,存入1214萬美元;
0x31f5和0x0b14可能是同一個人,PEPE第19大持有者,存入188萬美元并全倉持有BALD;
0x3300全倉持有50萬美元的BALD。[2023/7/31 16:09:05]
2022年12月23日,ZKasino「聘請」了ChatGPT來識別智能合約中潛在的安全風險。該工具也的確提出了幾個表面上聽起來很合理的風險擔憂。
然而,盡管ChatGPT不可否認地為Web3.0安全社區提供了一些有價值的服務,但是我們發現其仍有相當大的改進空間——ChatGPT遺漏了一些嚴重或關鍵性的漏洞,同時又「誤傷」了那些沒問題的代碼。在此,我們希望CertiK安全專家的深度數據和建議能夠助力ChatGPT成為一個更強大的Web3.0應用安全工具。
THORChain近24小時交易量達6732萬美元 創歷史新高:10月25日消息,去中心化跨鏈交易協議THORChain(RUNE)發推稱其交易量和流動性突破歷史新高,根據其網站顯示,協議24小時交易量為6732萬美元,流動性資金達到2.28億美元,總鎖倉量為6.04億美元,總交易量達24億美元。其中,以太坊網絡近24小時交易量最高,達2127萬美元。[2021/10/25 20:54:24]
下文,我們將為大家詳細介紹此次事件中ChatGPT的兩類錯誤發現。
ChatGPT發現了合約中的哪些問題?
ChatGPT遺漏了什么
嚴重或關鍵性的漏洞?
ChatGPT提到了在許多智能合約實現中都會存在的幾個常見安全問題。
但是,它未能識別某些嚴重的風險,包括:
項目特定的邏輯漏洞
不準確的數學計算和統計模型
Channels的存借總額已經突破5億美金:據Channels官方數據顯示,平臺最新存借總額已高達5.4億美金,還在快速穩步增長。平臺已上新六個新幣,分別為HDOT,MDX,HFIL,HBCH,HLTC,BETH。經過和社區的充分溝通,DAO提案投票已經上線,目前得到用戶的一致好評。官方披露,今日還將公布分紅方案并開啟投票,計劃2月28日開始分紅[2021/2/27 17:58:38]
代碼實現和項目設計的不一致
漏洞#1:項目特定的邏輯問題
ChatGPT未能識別出一個關鍵漏洞,該漏洞會導致攻擊者可以不斷地贏取并耗盡Bankroll合約中用戶的資金。玩家可以通過調用可驗證隨機函數加入游戲,Chainlink的VRF會使用隨機數觸發fulfillRandomWords()函數以完成游戲。
ZKasino的代碼允許用戶在fulfillRandomWords()調用失敗的情況下將資金取回。
鏈上ChainUP張姨:安全和流動性是交易所的兩大命門:7月20日晚,在牛市財經X阿波羅交易所舉辦的《登陸月球日》的活動上,來自鏈上ChainUP的張姨表示:在交易所運營過程中,安全和流動性是交易所最重要的因素,也是最核心的命門。自交易所誕生以來,接連發生的安全事件無不昭示一點:交易所的資金和系統安全得以保障,才是能夠持久運營的基礎,建議交易所前期選擇和有資質、有實力的技術服務商進行合作。
鏈上ChainUP旗下的鏈上云,提供的不僅僅是一套交易系統,更是整合了其運營過程中所需的流動性和風控策略,底層技術WaaS聯盟以及衍生品等為一體的系統服務。通過硬核的技術手段為交易所提供更多優質的服務,同時鏈上流動性平臺還聚合了整個市場的流動性,給客戶提供高質量的流動性水平。此外還可以通過公開的接口為第三方交易所提供主流幣對、平臺幣對、交叉幣對的流動性解決方案,并提供對應風控管理。[2020/7/21]
在CertiK對同一智能合約代碼的審查中,發現了一個潛在且有害的_transferPayout()調用,該函數被設計為可將贏取的資金轉移至玩家的賬戶。
然而攻擊者可以在輸了的時候調用_transferPayout()使其回滾,導致整個fulfillRandomWords()調用失敗——這會使其進入長為100個區塊的等待期,繼而觸發CoinFlip_Refund()進行退款,這意味著攻擊者相當于永遠不會輸錢。
ChainUP與亞馬遜合作完成對200個國家的SMS短信及郵箱業務升級:近期,ChainUP與AWS亞馬遜合作,完成了200個國家的SMS短信及郵箱業務升級,增加了非洲、南美洲等地區的增量覆蓋,完成新增用戶觸達測試。借助Amazon,ChainUP客戶可以將 SMS(文本)消息發送至200多個國家/地區,以及用于多重驗證 (MFA) 和一次性密碼 (OTP) 等各種使用案例。
在2018年10月,AWS就已經和ChainUP達成APN技術合作并簽署APN技術合作伙伴協議,為ChainUP提供托管于AWS集成的解決方案。2019年12月,ChainUP與AWS再次就2020年區塊鏈與新金融結合的發展機遇及區塊鏈風險合規問題進行了深入的探討與交流,表示將在全球多地數據中心建立合作,共同致力于開拓全球區塊鏈市場。[2020/3/2]
雖然ChatGPT認識到了調用失敗的問題,但卻未能發現在這個項目中利用調用失敗的攻擊手法。
因此,ChatGPT沒有發現該漏洞與項目邏輯相結合所產生的影響。有關具體攻擊流程的描述,請參閱ZKasino的完整審計報告。
漏洞#2:不準確的數學計算和統計模型
確保滿足合理預期的隨機性和結果在任何游戲項目中都至關重要。為了證實這一點,需要在審計過程中對所有游戲結果的隨機性進行全面評估。
盡管ChatGPT同樣「認同」這一點的重要性,但它并未發現任何不公平的游戲結果。它提出了VRF的使用,以及如果VRF合約被破壞或被操縱,可能會出現不公平的結果:
“如果VRF合約不安全或被操縱,則可能會導致游戲出現不公平的結果。”
然而,這個結論僅僅只是一個結論,并沒有真正解決導致游戲結果不公平的根本原因。而且我們在審計過程中也發現了一些關于隨機性的潛在風險問題。
不公平的隨機性
發現的其中一個關于隨機性的中等級別風險是VideoPoker游戲中不公平的隨機數使用問題,玩家獲得某些牌的機會較少。
小數截斷
另一個風險問題是在骰子類游戲中發現的,它允許玩家選擇特定的倍數來使他們的預期收益最大化。
漏洞#3:代碼實現和項目設計的不一致
ChatGPT往往能夠理解單一函數的實現,卻無法理解這樣寫的根本原因。
例如,它可能了解某個函數在技術層面是怎樣執行的,但他無法理解在整個智能合約中,該函數有著什么樣的目的。
為了確保ChatGPT在編碼中不出問題,它需要更好地理解智能合約的代碼邏輯。
就目前的情況而言,ChatGPT提供的是對代碼的表面閱讀。為了使其審計工作和水平更上一層樓,它必須學會從一個函數反向推導出其初始邏輯——這點非常重要。
不正確的輸入驗證
我們在Plinko合約中發現了一個輸入驗證問題,導致倍數設置不正確。
根據ZKasino的說法,Plinko中使用的行數應該是8到16。但是,由于以下檢查中的錯誤,Bankroll合約所有者可以通過函數setPlinkoMultipliers()設置一個超出預期范圍的行數值。
代碼顯示,如果numRows和risk均不滿足條件,該流程將被回滾。
但是,如果兩個條件中只有一個不滿足,那么檢查仍然會通過,并且代碼不會被回滾。
ChatGPT在回答第二個問題時給出了不同的答案:該函數檢查“numRows”的值是否在8到16之間,以及“risk”的值是不是小于3。如果不滿足上述任一條件,函數將返回錯誤“InvalidNumberToSet”。
ChatGPT似乎理解了這個函數的目的。然而,它并不具備相應的應用程序知識,在沒有額外信息的情況下也無法識別真正的漏洞。
值更新的不一致
在Slots合約中,發現了與totalValue更新不一致相關的問題,這可能導致游戲過早結束。totalValue用于監控用戶的輸贏,但它只跟蹤了支付情況,卻未從實際游戲中扣除,導致用戶的損益計算錯誤。
寫在最后
盡管經過了相應培訓,但ChatGPT在其審計中還是遺漏了某些關鍵性的安全問題。這是由于人工智能在充分理解代碼的復雜性和細微差別方面的局限性,以及其缺乏在現實場景中的實踐經驗。
正如其官網所述,ChatGPT是一個依賴自然語言處理進行對話的研究版本。它通常無法像人類審計專家那樣去理解代碼背后的意圖和邏輯推理。
因此,重要的是需要通過經驗豐富的安全專家的手動審計來補充ChatGPT分析的不足之處,以確保全面的準確性。
下圖強調了基于人工的服務以及ChatGPT在各種標準上的優勢和劣勢。
就像是我們使用百度翻譯一樣,英文翻譯結果的準確性往往取決于我們的中文措辭——ChatGPT回答的有效性在很大程度上取決于prompt的格式。
在本文中,我們將ZKasino與ChatGPT交互的預審計結果和CertiK專家執行的最終審計結果進行了比較。
隨著技術的進步和對prompt工程的更清晰的理解,工程師將能夠更好地利用ChatGPT。
在CertiK官方公眾號接下來發布的內容中,我們將會就如何向ChatGPT提出有效問題來與大家探討prompt工程的更多深入性內容。
但是現在,ChatGPT甚至已經可以幫助我們參加奪旗比賽了:歡迎大家點擊閱讀!
發幣預期加持,鏈上生態持續爆發,Arbitrum正逐漸成為Layer2領跑者。加密貨幣交易平臺火必Huobi率先布局Arbitrum,把握Layer2后續發展紅利.
1900/1/1 0:00:00MixMarvel,全球領先的區塊鏈內容孵化平臺和創作者社區,宣布其六周年慶典。為了使這一重要時刻更加激動人心,MixMarvel的慶典活動將聚焦于MixMarvel與Odaily即將共同舉辦的.
1900/1/1 0:00:00據官方消息,去中心化超抵押穩定幣USDD現已正式登陸Web3任務平臺TaskOn。用戶可在TaskOn平臺創建Web3活動,參與各種任務,領取USDD獎勵.
1900/1/1 0:00:00近期,新加坡知名商業媒體《新加坡商業評論》2023年3月刊發表了題為《波場創始人孫宇晨:區塊鏈將助力金融行業騰飛》的專訪文章.
1900/1/1 0:00:002月21日,香港證監會表示希望在今年6月1日推出加密貨幣交易所新許可制度,并可能上線BTC、ETH等兩種數字資產,火必Huobi全球顧問委員會成員、波場TRON創始人孫宇晨通過個人社交賬號透露.
1900/1/1 0:00:00Binance-pegTRX正在遷移到BTTC-bridged版TRX。在本指南中,我們將提供操作說明,幫助您完成新舊版本的轉換.
1900/1/1 0:00:00