CHA:「新晉網紅」ChatGPT可以檢測智能合約漏洞嗎_HAT

一夕之間，ChatGPT?突然火了，并在互聯網上掀起了一場“AI?風暴”

所謂?ChatGPT，是在今年?11?月?30?日，由人工智能實驗室?OpenAI?上線的新模型。

目前用戶與?ChatGPT?之間的對話互動包括了普通聊天、信息咨詢、撰寫詩詞作文、修改代碼等，甚至令用戶產生?ChatGPT?能否取代谷歌等搜索引擎的疑慮。

今天，我們就來研究一下爆火的?ChatGPT?究竟是什么？以及能不能檢測智能合約漏洞？

在互聯網上掀起了一場“AI?風暴”的?ChatGPT?究竟是什么？

據官網介紹，計算模型?GPT-3.5?支持的通用聊天機器人?ChatGPT，能回答連續性的問題、承認自己的錯誤、質疑不正確的假設，甚至拒絕不合理的需求。

從寫劇本、寫詩、設計游戲，到給程序找?bug，乃至制定一份“毀滅人類”的計劃，這個?AI?能做的事情超乎想象。

分析師：轉向人工智能云服務的加密礦企需要更多努力:金色財經報道，分析師表示，希望為人工智能領域提供服務的加密貨幣礦工可能面臨一場艱苦的戰斗。Hut 8 Mining Corp.新成立的高性能計算部門已經貢獻了這家加密礦商第一季度銷售額的20%以上。CoinShares數字資產分析師Matthew kimmel表示，很少有加密貨幣礦工能夠為人工智能建立服務。實際上，只有少數礦工擁有人工智能所需的那種專用處理器。在去年加密貨幣崩盤后，沒有多少人能夠負擔得起在硬件和員工方面的額外投資。此外，微軟Azure和亞馬遜網絡服務等現有企業將有更大的發展空間。Hive Blockchain Technologies Ltd.首席執行官Aydin Kilic表示，與加密挖礦相比，人工智能需要不同的服務器、主板、cpu、軟件和更強大的gpu。

大多數加密挖礦都是使用完全不同的設備完成的。但在2021年，少數以太幣礦工搶購了人工智能使用的高端gpu，當時以太幣價格飆升，礦工們愿意為“資質過高”的處理器支付更高的價格。

在所謂的以太坊合并之后，這些芯片對于挖掘以太幣變得毫無用處。雖然一些礦商出售了需要持續維護和大型物理基礎設施的設備，但Hut 8和Hive Blockchain等其他礦商一直在建立新的高性能計算(HPC)業務線，為包括人工智能在內的一系列行業的客戶提供服務。

Hut 8表示，第一季度HPC業務的毛利率分別為47%和17%，是比特幣挖礦業務毛利率的兩倍多。但這還沒有考慮到Hut 8為建立和運行數據中心所做的初步投資。該公司于2022年1月以3000萬加元的價格收購了TeraGo Inc.的云和托管業務。

Hut 8首席執行官Jaime Leverton在接受彭博社采訪時表示:“你可以把比特幣礦變成一個GPU集群的想法太天真了，因為從環境、冷卻的角度來看，對基于GPU的計算的需求，以及最終客戶對正常運行時間和延遲的期望，都是完全不同的。”

加密貨幣挖礦服務公司Luxor Technologies的首席運營官Ethan Vera表示，只有擁有gpu挖礦經驗的大型礦商才有能力進行這類投資。他說，他們將與更成熟的云服務提供商競爭，這些云服務提供商也在尋求吸引人工智能客戶。

亞馬遜網絡服務正在與英偉達合作，建立一個可擴展的人工智能基礎設施，為訓練大型語言模型和開發生成式人工智能應用程序進行優化。同樣，微軟正在建立人工智能超級計算機，以幫助企業培訓、部署和擴展人工智能。[2023/5/21 15:16:10]

美國企業家馬斯克詢問了?ChatGPT?如何設計?Twitter，AI?回答稱：“為了使用戶更容易查看線程互聯網對話并與之交互，你可以將線性一維界面轉換為二維無限網格。”

meme幣Pepe（PEPE）過去24小時漲超55%:金色財經報道，據CoinGecko數據顯示，meme幣Pepe（PEPE）過去24小時漲幅超過55%，現報價0.000000338883美元。[2023/4/23 14:21:42]

12?月?5?日，OpenAI?創始人兼?CEO?阿爾特曼(SamAltman)發布推文表示，ChatGPT?用戶數已突破了?100?萬。

許多人已經測試了聊天功能，并一直在社交媒體上分享他們的交流。ChatGPT似乎也給科技億萬富翁埃隆·馬斯克留下了深刻印象，他在推特上寫道：“ChatGPT好得嚇人。我們離危險的強大人工智能不遠了。”

技術公司?Replit?的創始人?AmjadMasad?還給?ChatGPT?發了一段?JavaScript?代碼，讓它找到里面的?bug，并表示：“ChatGPT?可能是一個很好的調試伙伴，它不僅分析了錯誤，還修復了錯誤并進行了解釋。”

CFTC前主席：SEC起訴Terraform Labs和Do Kwon的做法“絕對正確”:金色財經報道，美國商品期貨交易委員會(CFTC)前主席Timothy Massad表示，美國證券交易委員會(SEC)追查穩定幣發行人Terraform Labs和創始人Do Kwon的做法是絕對正確的。Massad稱，“當你邀請人們投資一種承諾回報率為19%到20%的代幣時，這就是一種證券。”

此外，Massad還表示，美國銀行監管機構現在有能力創建一個框架，為穩定幣發行人頒發許可證。[2023/2/18 12:14:26]

一位用戶甚至要求ChatGPT從AI的角度寫一封信，目標是控制世界。

結果簡直令人震驚。它引起了久負盛名的人工智能的人們的回應，接管了科幻小說的世界概念，向現實邁出了一步。

擁有如此強大而驚艷的語言能力，一時間，ChatGPT?悄然走到了話題中心，成為了引發熱議的新晉網紅。

Marathon成立阿布扎比比特幣挖礦合資企業:金色財經報道，加密礦商Marathon Digital正在阿布扎比與FS Innovation組建一家合資企業，以創建和運營采礦設施。 該公司在一份文件中表示，初始項目將包括兩個250兆瓦的數字資產采礦點。新實體將由FSI擁有80%，Marathon擁有20%，初始成本為4.06億美元。

Marathon以前并不擁有其運營的設施，而是與托管服務提供商簽訂合同。采礦業一直在努力應對高昂的能源成本和比特幣價格從 2021 年的高點下跌。許多人負債累累，有些人已經申請破產。?阿拉伯聯合酋長國家庭的電費約為每千瓦時0.081美元，而美國為0.175美元。[2023/1/28 11:33:14]

目前?ChatGPT?仍處于免費測試階段，不限量向公眾開放，基于其破百萬的用戶數，平臺所花費的成本不算小。不過，在使用過程中，用戶提供的反饋對?OpenAI?也是最有價值的信息，可以不斷訓練語言模型，修正錯誤答案。

“新晉網紅”ChatGPT，可以寫智能合約或者檢測合約漏洞嗎？

我們注冊并體驗了一下?ChatGPT?對話，我們首先讓?AI?自我介紹。

SEC專員：監管的模糊性意味著對待NFT項目必須非常小心:金色財經報道，美國證券交易委員會Hester Peirce目前正在調查Yuga實驗室--Bored Ape游艇俱樂部背后的證券違規行為。但迄今為止，委員會沒有就其對NFTs的具體立場發表任何聲明，這讓創作者們對如何駕馭他們認為是模糊的監管環境感到不確定和沮喪。

SEC專員Hester Peirce表示，我認為美國證券交易委員會幾乎沒有提供關于NFT的]明確性，有很多模糊不清的地方。在有這么多模糊性的情況下，我認為人們真的需要非常小心。這不是“監管”的理想狀態。（decrypt）[2022/10/29 11:54:46]

他回復道，“我是?Assistant，一個由OpenAI訓練的大型語言模型。我的工作是幫助人們回答各種問題，盡可能提供準確和詳細的信息。我可以回答各種問題，無論是關于歷史、科學、人文還是其他話題。”

作為一家區塊鏈安全公司，我們有了另一種想法，那就是讓他來寫一份智能合約。

寫一份簡單的合約，對ChatGPT?而言好像沒有太大的難度。因為代碼太長，我們截取部分截圖展示，可以看到，他還是懂一些基礎知識的。

接下來，我們丟給ChatGPT?一個相對簡單的但是有漏洞的智能合約，讓他檢測一下，我們截取部分截圖展示。

好家伙，不簡單，ChatGPT?竟然還是能檢測一些簡單的問題。

看這情況，是有“兩把刷子”，來，繼續上難度！

本以為他會繼續給我們驚喜，他卻來一句：“我看不懂這份這份代碼”。

然后我們加了一些注釋，讓他重新檢測。

他說了一些什么，又像什么都沒說。

然后建議我們使用專業的安全審核工具或者請求專業人員進行審核。

好吧，那我們先派出我們的智能合約形式化驗證工具?BeosinVaaS，將剛剛測試的那幾份合約檢測了一下，可以看到，VaaS?能很快檢測出合約的漏洞。

BeosinVaaS?產品截圖

要知道，VaaS?作為?Beosin的王牌產品之一，可自動發現智能合約中存在的已知、未知漏洞及業務邏輯問題，并給出專業的修復建議，幫助開發者提高智能合約的安全能力。大家感興趣可以檢測對比一下，VaaS?試用鏈接：https://vaas.beosin.com/

除此之外，經過我們的多輪對比，我們發現?ChatGPT?并不能解決所有的問題，比如很多漏洞還是需要審計專家嚴苛審計，才能發現問題。

比如下面這份合約的問題，設置手續費沒有限制，可能導致用戶高額手續費，ChatGPT?并沒有意識到這些。

還有下面這個，在_transfer?函數中，如果_trAmount=?2?被觸發，?10?秒內所有的傳輸地址都是?dev?地址。ChatGPT?依然不能識別。

畢竟做安全，必須要有嚴苛安全審計流程，才能筑牢安全防線。

Beosin?的審計流程的規范性上，包含?5?個環節以上的審計步驟，自動化代碼安全掃描與安全專家和形式化驗證專家的人工審計結合。每一步均由多名安全專家和形式化驗證專家交叉操作，盡量避免因為人為因素導致的遺漏。

完成一輪審計后，Beosin?會出具所發現問題的?Feedback，里面包含漏洞描述，復現方式，修復建議等，然后提交給項目方并協助項目方完成漏洞修復。我們有著海量的安全漏洞庫的積累，結合安全專家的豐富的代碼安全審計經驗，能夠直接告訴項目方應該怎么修改代碼。這個可比?ChatGPT?強多了哦！

最后，形式化驗證專家又將安全審計專家凝練出的安全問題利用嚴格的數理邏輯抽象成可重用的安全屬性不變量，并交給混合機器引擎進行自動化檢測、測試、驗證，實踐證明這些可重用的安全屬性不變量可有效發現智能合約中新的微妙漏洞。

看來我們還暫時不會被?ChatGPT?的機器人代替。

當然，當我們在關注?chatGPT?的時候，更需要思考和探索的是，他火爆背后所透露出現的信息，它所呈現出來的人工智能或許已進入到了一個全新的發展階段，科技正在慢慢改變世界。

原文作者：Beosin

來源：星球日報

Tags：CHAGPTHATATGuchainCGPT價格Stripchat代幣有啥用ATG幣

DYDX