ChatGPT的Web3.0安全審計藝術：有點東西，但不完全有-ODAILY_CHA:ATG

2022年11月，OpenAI推出了創新的人工智能項目。

除了可用于進行文章的撰寫和總結、笑話和詩歌的創作以外，ChatGPT還可以用來調試和生成代碼。

2022年全年，Web3.0領域因黑客攻擊和欺詐等事件造成的資產損失超過了37億美元，這樣巨額損失不禁讓業內人思考：如ChatGPT這樣的新技術是否可以用以改善智能合約代碼的安全性。

ZKasino是一個去中心化的平臺，近期通過ChatGPT進行了一次預審計。

ZKasino希望在CertiK開展全面審計的同時，讓CertiK為ChatGPT所得出的結果進行一個初步的審查，以測試ChatGPT作為AI「智能合約審計師」的能力。

那么ChatGPT的測試結果如何呢？

其是否已經準備好接替人工代碼審計專家的工作？

或者說它仍不足以完全替代人工？

區塊鏈即服務公司 SIMBA Chain 將為美國空軍開發預算和會計系統:6月17日消息，根據官方公告，美國空軍已聘請區塊鏈即服務平臺 SIMBA Chain 開發基于區塊鏈的系統，用于跟蹤和監控軍隊的現金流和供應鏈質量和管理。該項目被稱為數字區塊鏈預算責任和跟蹤 (DiBaT)，其目標是將美國空軍供應鏈預算內的所有美元代幣化，并記錄計費中心、采購部門和供應商之間的資金流動。DiBaT 利用 SIMBA Blocks 的定制多鏈區塊鏈平臺在安全、零信任、防篡改的區塊鏈中跟蹤和審計資金，使美國空軍管理層能夠了解資金在支付系統中的使用位置、分配進展。此外，它將提高供應鏈的可見性。

早在2019 年，美國空軍選擇了 SIMBA Chain來幫助保護其供應鏈，并與區塊鏈大數據管理初創公司 Constellation 合作。[2022/6/17 4:33:32]

2022年12月23日，ZKasino「聘請」了ChatGPT來識別智能合約中潛在的安全風險。該工具也的確提出了幾個表面上聽起來很合理的風險擔憂。

然而，盡管ChatGPT不可否認地為Web3.0安全社區提供了一些有價值的服務，但是我們發現其仍有相當大的改進空間——ChatGPT遺漏了一些嚴重或關鍵性的漏洞，同時又「誤傷」了那些沒問題的代碼。在此，我們希望CertiK安全專家的深度數據和建議能夠助力ChatGPT成為一個更強大的Web3.0應用安全工具。

上市礦業公司Hive Blockchain收購兩個比特幣挖礦設施，包括擁有50兆瓦的數據中心園區:總部位于加拿大溫哥華的上市礦業公司Hive Blockchain在加拿大新不倫瑞克省收購兩個比特幣挖礦設施。其中，Hive已簽署一項協議，收購加拿大新不倫瑞克省數據中心園區。Hive已經收購了GPU，子公司GPU Atlantic Inc.在加拿大東部的格蘭德福爾斯（Grand Falls）擁有一個50兆瓦的數據中心園區。

Hive執行主席Frank Holmes表示，此次收購為公司提供了最先進的技術和可操作的比特幣挖礦數據中心的全部所有權，可以部署下一代比特幣挖礦硬件，并獲得業內最低的電力成本。（DCD）[2021/2/26 17:57:03]

下文，我們將為大家詳細介紹此次事件中ChatGPT的兩類錯誤發現。

ChatGPT發現了合約中的哪些問題？

ChatGPT遺漏了什么

Hubble Chain技術團隊開始搭建Sharding分片技術運行環境:據官方消息，來自美國硅谷的Hubble Chain（哈勃公鏈）技術團隊，已經開始進行Sharding分片技術運行環境的搭建工作。據了解，基于Hubble Chain主網架構的Sharding分片技術，能夠有效提高哈勃鏈上網絡的數據吞吐量，確保鏈上數據快速、安全、穩定地流轉交互。[2020/6/12]

嚴重或關鍵性的漏洞？

ChatGPT提到了在許多智能合約實現中都會存在的幾個常見安全問題。

但是，它未能識別某些嚴重的風險，包括：

項目特定的邏輯漏洞

不準確的數學計算和統計模型

代碼實現和項目設計的不一致

漏洞#1：項目特定的邏輯問題

ChatGPT未能識別出一個關鍵漏洞，該漏洞會導致攻擊者可以不斷地贏取并耗盡Bankroll合約中用戶的資金。玩家可以通過調用可驗證隨機函數加入游戲，Chainlink的VRF會使用隨機數觸發fulfillRandomWords()函數以完成游戲。

動態 | Galaxy Digital創始人Michael Novogratz做空特斯拉股票失敗:Galaxy Digital創始人、億萬富翁投資者Michael Novogratz在接受彭博社的采訪時談及了自己做空特斯拉股票失敗的經歷。Novogratz稱：“我太自大了，想要抓住泡沫的頂部，結果被打了個鼻青臉腫。”Novogratz表示，和2017年的比特幣一樣，特斯拉的股票已不再取決于基本面，而是由引人注目的故事和利好消息驅動。Novogratz同時強調他仍然是特斯拉的超級粉絲，甚至還擁有兩輛車。他計劃在“沒有那么多痛苦”的情況下快速退出這筆交易。（BNN Bloomberg）[2020/1/31]

ZKasino的代碼允許用戶在fulfillRandomWords()調用失敗的情況下將資金取回。

在CertiK對同一智能合約代碼的審查中，發現了一個潛在且有害的_transferPayout()調用，該函數被設計為可將贏取的資金轉移至玩家的賬戶。

動態 | Lykke與證券交易平臺Nxchange合作:據blokt報道，Lykke數字貨幣交易所宣布與全面監管的證券交易平臺Nxchange合作，以創建歐洲首個完全監管的代幣化證券交易所。Lykke與Nxchange的合資企業旨在開發一個生態系統，通過利用區塊鏈技術的優勢，公司將向更廣泛的投資者群體提供證券。[2018/11/7]

然而攻擊者可以在輸了的時候調用_transferPayout()使其回滾，導致整個fulfillRandomWords()調用失敗——這會使其進入長為100個區塊的等待期，繼而觸發CoinFlip_Refund()進行退款，這意味著攻擊者相當于永遠不會輸錢。

雖然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甚至已經可以幫助我們參加奪旗比賽了：歡迎大家點擊閱讀！

Tags：CHACHATHATATGdogechain幣幣情inchattokenchatcoin幣還有救嗎zatgo

TRX