前兩天,一個C字打頭的區塊鏈安全審計公司審計過的項目MerlinDEX卷款200萬美刀跑路,在業內引起了不大不小的震動。從跑路節奏的掌握上看,這個項目方是懂跑路的:第一天,宣布完成安全審計;第二天,宣布達成200萬美刀流動性TVL;第三天,卷款跑路。而C審計公司給出的審計意見,竟然是安全無虞。
略顯諷刺的是,就在M項目卷款跑路的同一時間,C審計公司的專訪稿“對話Web3安全超級獨角獸”放了出來。對話中,記者問到了2月份卷款300萬美刀跑路的項目OrionProtocol,當時C審計公司給予的評分是滿分。受訪人給出的回答是,出事的代碼沒有提交審計,過錯全在項目方想省錢,“對安全的重視程度還是不夠。大家雖然在安全上花了錢,但花得還不夠,應該做完整的代碼審計。”因此受訪人認為,是他們替項目方“背了鍋”。
但是真金白銀的事兒,靠背鍋甩鍋畢竟不能解決。安全審計這個行當,至少面臨下述四個方面的難題:
巴西央行公布14家CBDC試點機構,包含巴西銀行、Visa和微軟等:金色財經報道,巴西央行已選定14家機構參與參與該國CBDC的試點,該名單包括Bradesco、Nubank和Itaú Unibanco,以及Banco do Brasil和當地證券交易所B3,Visa和Microsoft等跨國公司也參與其中。中央銀行將于 2023 年 6 月中旬開始將參與者納入 Real Digital Pilot 平臺。[2023/5/26 10:41:09]
一、內在矛盾
所謂安全審計這個事情,從邏輯上是不符合區塊鏈精神的。區塊鏈精神是什么?不要信任,要驗證。但是安全審計所做的事情,恰恰是讓用戶不去驗證,去信任審計公司寫的審計報告。
是的,很多人會辯護說,大多數用戶根本沒有技術能力,自己又看不懂智能合約代碼,而且就算懂一點兒,也很難有那么專業的安全知識,能夠看得出來代碼里的問題和貓膩。審計公司,就是用戶的守護神,替用戶審查了這些代碼,避免了用戶遭受損失的風險。
被Etherscan標記為“Fake_Phishing76350”的EOA賬戶地址已將資金轉至Tornado Cash:金色財經消息,據CertiK監測,被Etherscan標記為“Fake_Phishing76350”的EOA賬戶地址(0xAe98f)已將資金轉至Tornado Cash。該EOA地址總共向Tornado Cash轉入26.7 枚ETH(約3.94萬美元)。[2023/3/12 12:58:52]
但是,一個始料未及的結果出現了。審計公司以它的專業性,拍著胸脯告訴用戶沒問題。這削弱了用戶的風險意識,增強了用戶的投機力度,最終給用戶造成了更大的損失。
如果一個土狗項目,沒有任何背書。你在沖進去的時候一定會哆哆嗦嗦,不敢投入太大——因為你生怕一不小心,土狗卷款跑路,或者代碼bug,或者黑客盜幣,凡此種種。但是現在,土狗還是那只土狗,可是卻穿上了“黃馬褂”,掏出了蓋著幾個紅戳的安全審計報告。土狗你不認識,審計公司明晃晃的金字招牌你是認識的。于是你重倉梭哈。土狗跑路。你損失慘重。
Mask Network創始人:正組建DAO代表FTX事件中亞洲社區的聲音:12月1日消息,Mask Network創始人Suji Yan表示,正在組建一個DAO組織,以代表FTX事件中亞洲社區的聲音。
“FTX垮臺后,恐慌情緒在整個社區蔓延。正如破產聽證會所提到的,亞洲人代表了大量的全球客戶——但在聲音和法律支持方面的代表性不足。”Suji Yan稱,盡管危機并未影響Mask Network,但仍然希望為社區挺身而出。
“作為一個社區,我們將組建一個DAO(FixDAO)來捍衛我們的利益,并在FTX的法律訴訟中發出強大而統一的聲音。”Suji Yan還表示,計劃在12月中旬開始工作,很快將宣布協助的律師事務所,并將公布申請表。[2022/12/1 21:13:49]
安全審計報告,就像一個隱形的杠桿,無形之中,放大了你的虧損。當然,也倍增了土狗跑路的收益。
SolanaStatus:漏洞或來源于Slope錢包:8月4日消息,SolanaStatus在Twitter上表示,經過開發人員、生態團隊和安全審計人員的調查,受影響的地址似乎曾經在Slope錢包應用中創建、導入錢包地址或曾經使用過該應用。
SolanaStatus表示,目前具體細節仍在調查中,可能是由于私鑰信息被無意間傳輸到了應用監控程序中。Slope證實了在本事件中有一些Slope錢包被攻擊,但未確定具體原因。[2022/8/4 2:58:01]
二、立場問題
回頭再看一眼辯護詞。審計公司真的是全心全意站在用戶的立場上,為了用戶的安全在審查那些代碼嗎?
若誰認為是。那么請問,誰付錢給審計公司?審計公司掙誰的錢?
拿誰錢財,替誰辦事。你永遠可以相信,屁股決定腦袋,利益決定立場。
就像靠車商養活的測評工作室不可能對用戶全掏一片真心,而只會是更高級的營銷工具,掙項目方錢的審計公司,屁股絕對不可能坐在用戶這一邊。說白了,它們的審計報告,不過就是一種更高級的市場營銷材料罷了。
更糟糕的是,車商畢竟最終還是要靠用戶買它們的汽車才能賺錢,因此測評工作室也不能完全拋棄用戶立場,但是Web3項目則不同,很多時候,營銷就是它們唯一的“產品”,營銷完畢,錢圈到手,就可以和用戶說拜拜了。這種模式就注定了,審計公司的屁股必然就會坐的更歪,甚至淪為項目方的“幫兇”。
也許,正是這種心態,讓審計在看到M項目的代碼里赫然把用戶存入的資金全部授權給項目方控制的時候,覺得這應該也沒有什么問題吧。
三、道德風險
若客觀上注定了審計公司的立場必然偏向于項目方,那么主觀上就無法撇清有意為之的動機問題而自證清白。
就像一個項目卷款跑路之后,擁有超級權限的項目方也很難自證,究竟是真的不小心泄露了私鑰,還是監守自盜。監守自盜的話,一起分個贓,絕非不可能。又或者干脆黑吃黑。夜黑風高,套上黑衣,變身黑客。漏洞在心,屢屢得手。
即便是作為一個組織,沒有作惡的動機,可是依然無法防范,經手的一線人員不會見錢眼開。
一個審計人員,看到代碼有漏洞,告訴自己的小舅子,小舅子再把漏洞線索賣給X國黑客,這也不是不可能的事情。
道德風險如果有條件發生,它就總是一定發生。這個叫做“墨菲定律”。
四、責任缺位
誰最明白這種矛盾和糾結?當然是審計公司自己。
但是,放著白花花的銀子不賺,那是自己智商有問題。畢竟,這世界上能夠媲美看一行代碼賺幾十美刀的暴利生意,哪個不是需要把腦袋別在褲腰帶上干的?
審計公司所做的,和項目方自己的測試人員所做的,從技術上講,有什么不同?都是最大程度的保障代碼的可靠性、安全性。但是費用成本上,可是天上地下。超高的溢價來自于什么?來自于它本就是披著技術外衣的營銷。每100塊里,1塊錢是為技術付費,99塊錢是為營銷付費。Web3營銷,就是用品牌站臺,用專業包裝,用報告喊單。目的很單純,就是讓韭菜大膽地把兜里的仨瓜倆棗全都掏出來。
這安全審計,解決的就是怎么解放思想、放開膽子大膽干的問題。
如果這一行有監管,有追責,這事兒它其實也應該是一個腦袋別在褲腰帶上的生意。
2001年安然丑聞曝光,一系列追查、追責下來,為安然出具審計報告的全球五大審計會計事務所之一的安達信轟然解體。該抓的抓,該判的判。自此,“五大”永遠變成了“四大”,直到今天。
這邊風景獨好,因為沒有監管。看看今天很多Web3審計公司出具的安全審計報告,居然連審計員的姓名都不敢簽上去進行公開披露。
那就更不要提,出了事要它們負責了。
參考資料:
-https://twitter.com/3orovik/status/1651380667710595074
-https://mp.weixin.qq.com/s/6VVhOn47jVCEo0UzjZb1nw
***劉教鏈出品***
(公眾號:劉教鏈。知識星球:公眾號回復“星球”)
來源:DeFi之道
來源:新智元 開源先鋒StabilityAI一天扔了兩枚重磅炸彈:發布史上首個開源RLHF大語言模型,以及像素級圖像模型DeepFloydIF.
1900/1/1 0:00:00最近幾個月來,比特幣生態最大的事件就是比特幣Ordinals協議和銘文的爆發。銘文提供了一種將信息附加到比特幣交易中的新方式。用戶可以充分利用比特幣的去中心化、安全等特性.
1900/1/1 0:00:00原文作者:0xmin 原文來源:TechFlow深潮 “醋不及防”,PEPE神話又開始讓眾人開始因別人家的發財故事而感到焦慮.
1900/1/1 0:00:00游戲引擎在游戲開發中發揮著至關重要的作用。對于全鏈上游戲來說,同樣需要一個能夠幫助開發者快速部署游戲邏輯的工具.
1900/1/1 0:00:00隨著投資者擔憂美國銀行業危機進一步深化,比特幣引領加密市場強勢反彈。比推終端數據顯示,比特幣打破了連續五天的下跌趨勢,突破2.9萬美元,盤中一度觸及3萬美元,市值第二大加密貨幣以太坊上漲4.5%.
1900/1/1 0:00:00來源:靠譜二次元,作者:靠譜編輯部,作者:哈士柴 圖片來源:由無界AI工具生成ChatGPT4發布后,AI熱潮席卷全球一個多月,國內有大語言模型產品的公司超過了20家.
1900/1/1 0:00:00