買比特幣 買比特幣
Ctrl+D 買比特幣
ads

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

Author:

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

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

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

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

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

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

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

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

公共版本1inch Swap API將于明日關閉,可通過開發者門戶訪問1inch API:8月10日消息,1inch宣布,公共版本的1inch Swap API將于8月11日17:30關閉,將被1inch開發者門戶上的解決方案取代,開發人員應在此之前遷移到1inch開發者門戶。[2023/8/10 16:18:24]

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

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

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

微軟與前以太坊礦企CoreWeave簽署價值數十億美元的人工智能算力協議:6月2日消息,據 CNBC 援引知情人士報道,微軟已與前以太坊礦企 CoreWeave 簽署人工智能算力協議,價值可能 (至少) 數十億美元。微軟和 CoreWeave 都拒絕置評。總部位于紐約 CoreWeave 專門提供基于圖形處理器(GPU)的云計算服務,已成為 OpenAI 的 ChatGPT 等人工智能(AI)服務的核心。

此前報道,CoreWeave 于 4 月 22 日宣布以 20 億美元估值完成 2.21 億美元 B 輪融資,Magnetar Capital 領投,英偉達、GitHub 前首席執行官 Nat Friedman 和蘋果前高管 Daniel Gross 參投。[2023/6/2 11:53:54]

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

SafeMoon攻擊者在鏈上向項目方表示想歸還資金:金色財經報道,據區塊鏈安全審計公司Beosin旗下Beosin EagleEye安全風險監控、 預警與阻斷平臺監測顯示,BSC鏈上SafeMoon項目在升級后引入了任意銷毀代幣的漏洞。攻擊者先買入SafeMoon代幣,然后通過銷毀SafeMoon代幣來拉升價格,接著賣出代幣獲利。

攻擊者為Mevbot,搶跑了0xbcf5e30c164837b5d7c42fd7e33e47a0072dc014e7f0a67aa7710af49d0ce53b攻擊交易,該Mevbot在今天之前還搶跑攻擊了包括PolarBearX、Nuwa、DBALL、520等其他項目。并且地址有與CEX交互的記錄。隨后攻擊者在鏈上向項目方表達想要歸還資金。[2023/3/29 13:32:24]

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

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

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

Silvergate:暫停發放A系列優先股5.375%股息以保持流動性:1月27日消息,加密友好銀行Silvergate Capital宣布,已暫停支付其5.375%固定利率非累積永久優先股A系列的股息,以保持流動性。這一決定反映了Silvergate專注于維持具有良好資本狀況的高流動性資產負債表,以應對數字資產行業近期的波動。隨著市場條件的變化,公司董事會將重新評估季度股息的支付情況。(BusinessWire)[2023/1/27 11:32:31]

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

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

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

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

數據:6月OpenSea以太坊鏈上美元銷售額暴跌超7成,銷售量增長4%:金色財經報道,根據Dune Analytics數據顯示,6月頭部NFT市場OpenSea在以太坊區塊鏈上的美元銷售額僅為6.96億美元,相較于5月的25.9億美元下降了73%;OpenSea在Polygon鏈上的美元銷售額為8,856,717美元,較5月的2665萬美元下跌了66%。不過,6月OpenSea在以太坊鏈上出售的NFT總數量達到1,543,975枚,相較于5月份的1,478,553枚增長4%,但在Polygon鏈上NFT銷售量下降了49%,僅為154,282枚。[2022/7/2 1:45:46]

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

寫一份簡單的合約,對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:GPTCHAHATCHATFGPT價格truelovechaincnCHAT幣chat幣怎么廢了

酷幣下載
RAD:擁抱 Arbitrum Trader Joe 能否迎來第二春?_JOE幣

撰文:Chinchilla編譯:aididiaojp.eth,ForesightNews在與Avalanche生態系統共興衰之后,TraderJoe還是選擇了擴展到Arbitrum上.

1900/1/1 0:00:00
加密貨幣:2022加密行業故事(一):賬本、比特幣與區塊鏈_區塊鏈

來源:Bloomberg彭博商業周刊上刊登了2022加密行業故事長篇文章,共分為4個章節,本文為第一個章節:賬本,比特幣與區塊鏈它來自哪里,這一切意味著什么,以及為什么它仍然很重要.

1900/1/1 0:00:00
WEB3:TCG年終回顧和展望:如何推動Web3用戶規模的擴張?_NFT

原文:TCGCrypto團隊編譯:深潮TechFlow 一年即將結束 親愛的TCGCrypto投資者、合作伙伴和朋友們.

1900/1/1 0:00:00
NFT:APE開啟質押 三大平臺用戶該如何選擇?_UNFT價格

原文標題:《參與APY1000%?+的ApeStaking挖礦,ParaSpace,BendDAO.

1900/1/1 0:00:00
比特幣:加密OG們眼中的2023年_LIVENFT

原文標題:NFTsmaybecomethe“Legoblocks”ofWeb3in2023,GaryLiusays原文作者:Frokcast原文來源:Frokcast.news原文編譯:Seve.

1900/1/1 0:00:00
EFI:金色觀察 | TRM Labs:2022年DeFi和跨鏈橋攻擊總結_區塊鏈dapp開發一個多少錢

文/TRMLabs,譯/金色財經xiaozou根據TRM?Labs對黑客事件的回顧,針對DeFi項目和跨鏈橋的黑客攻擊讓加密貨幣生態系統今年成為黑客攻擊創紀錄的一年.

1900/1/1 0:00:00
ads