注:原文作者是擁有“審計上帝”之稱的白帽黑客samczsun,同時他也是Paradigm的研究合伙人,其最近出手拯救了BitDAOMISO荷蘭拍賣資金池中的3.5億美元資產,而在這篇文章中,他提醒了關于NFT代幣標準的潛在安全風險,他還預測稱,隨著ERC-721和ERC-1155代幣標準變得越來越流行,針對NFT的攻擊很可能會越來越頻繁。
如果你從事軟件工程方面的工作,很可能你聽說過至少一條軟件工程原則。雖然我不主張嚴格遵守每一條原則,但有一些確實是值得關注的。
我今天要講的就是最小驚訝原則,它有一個奇特的名字,但卻是一個非常簡單的想法。它所說的是,當呈現聲稱要做某件事的代碼時,大多數用戶都會假設它是如何完成這件事的。因此,作為開發人員,你的工作是編寫符合這些假設的代碼,這樣你的用戶就不會感到意外。
這是一個很好的原則,因為開發人員喜歡對事物進行假設。如果你導出一個名為calculateScore(GameState)?的函數,很多人就會假設該函數只會從游戲狀態中讀取。如果你還改變了游戲狀態,你會使得很多人面臨困惑的狀態,他們試圖弄清楚為什么他們的游戲狀態會隨機被破壞。即使你把它放在文檔中,仍然不能保證人們會看到它,所以最好首先確保你的代碼不會令人驚訝。
Hashflow在攻擊事件中損失約60萬美元,派盾稱或為白帽黑客所為:6月15日消息,據派盾監測,去中心化交易平臺Hashflow存在一個與批準相關的問題,并因此遭到攻擊,不過這可能是一起白帽黑客行動。另據0xScope監測,盜竊合約的創建者在交易中留下了一條信息,在恢復使用前,請先撤銷。你的資金不安全。
Hashflow隨后發推表示,本次被盜事件的損失約為60萬美元,所有受影響用戶都能夠取回全部資產,而Hashflow DEX沒有受到影響,仍然保持正常運行。Hashflow發布了資產恢復指南,以便受影響用戶恢復資產,并提醒他們必須先撤銷批準才能收回資金。而沒有受到影響但在去年5月3日前使用過Hashflow的用戶,也需要盡快撤銷已棄用合約的任何授權。[2023/6/15 21:38:30]
“6小時的調試工作,可以為你們節省5分鐘的文檔閱讀時間。”
越安全越好,對嗎?
Arbitrum因代碼漏洞向白帽黑客支付400ETH:9月21日消息,一名匿名白帽黑客0xriptide因發現Arbitrum支付代碼漏洞獲得了400ETH(約52萬美元)的獎勵,該漏洞涉及2.5億美元資產。
據0xriptide透露,其在Arbitrum Nitro升級前幾周開始尋找漏洞,最終發現該漏洞能讓橋接合約在啟動之前完成初始化并接受存款,這意味著黑客可以將自己的地址設置橋接地址并模仿實際合約,并接受ETH存款。[2022/9/21 7:10:13]
早在2018年初,當ERC-721標準被起草出來時,有人就提出了實施轉賬安全性?的建議,以確保代幣不會被卡在不用于處理代幣的接受者合約中。為此,提案作者修改了transfer函數的行為,以檢查接收方是否能夠支持代幣轉賬。他們還引入了unsafeTransfer函數,如果發送者愿意,該函數將繞過這個檢查。
然而,由于擔心向后兼容性,這個函數在隨后的提交中被重命名了。這使得ERC-20和ERC-721代幣的transfer函數表現相同。但是,現在需要將接收方檢查轉移到其他地方。因此,標準作者就引入了safe類函數:safeTransfer以及safeTransferFrom。
SushiSwap向白帽黑客samczsun支付100萬USDC漏洞賞金:8月28日消息,SushiSwap首席技術官Joseph Delong在推特上表示,SushiSwap向此前出手拯救BitDAO在MISO進行的荷蘭拍賣的著名白帽黑客samczsun(區塊鏈投資機構Paradigm研究合伙人)支付了100萬USDC的漏洞賞金。
此前消息,區塊鏈投資機構Paradigm研究合伙人、著名白帽黑客samczsun撰文披露了BitDAO昨日在SushiSwap IDO平臺MISO進行的荷蘭拍的智能合約存在安全漏洞,多名白帽黑客聯手從眾籌資金池中拯救回10.9萬枚ETH(當時約合3.5億美元)的經過。SushiSwap首席技術官JosephDelong隨后發布了漏洞分析,證實了samczsun所報告的漏洞及白帽拯救行動,MISO平臺上ETH眾籌池中價值3.5億美元的ETH現已安全。[2021/8/28 22:42:43]
這是一個關于正當性問題的解決方案,因為有許多ERC-20代幣被意外轉移到從未期望收到代幣的合約的例子。而在起草ERC-1155標準時,提案作者從ERC-721標準汲取了靈感,不僅在轉賬時,而且在鑄造也納入了接收方檢查,這一點也不足為奇。
風投公司Paradigm已聘請加密白帽黑客Samczsun:金色財經報道,根據周五發布的公告,著名的加密白帽黑客“Samczsun”正在加入風投公司Paradigm Fund擔任研究合作伙伴。[2020/10/10]
在接下來的幾年里,這些標準大多處于休眠狀態,而ERC-20代幣標準保持了它的流行狀態,而最近gas成本的飆升,以及社區對NFT興趣的增強,自然而然導致開發者越來越多地使用ERC-721和ERC-1155代幣標準。有了這些新的興趣,我們應該慶幸這些標準的設計考慮了安全性,對嗎?
越安全越好,真的嗎?
Ok,但對于轉帳和鑄造來說,安全意味著什么呢?不同的當事人對安全有不同的解釋。對于開發人員來說,一個安全函數可能意味著它不包含任何bug或引入額外的安全問題。而對于用戶來說,這可能意味著它包含額外的護欄,以保護他們不被意外射中自己的腳。
事實證明,在這種情況下,這些函數更多的是后者,而較少會是前者。這是特別令人遺憾的,因為在transfer和safeTransfer函數之間進行選擇時,你為什么不選擇安全的那個函數呢?名字都體現出來了!
動態 | 白帽黑客發現Augur漏洞 獲5000美元賞金:據CCN消息,一名白帽黑客發現了以太坊上一款預測市場軟件Augur的漏洞。這個漏洞會將欺騙性的數據輸入Augur用戶的界面,造成被感染用戶的巨大損失。Forecast基金會負責監督Augur協議的進展,目前已經修復該漏洞,它獎勵給發現者5000美元。[2018/8/9]
好吧,其中的一個原因可能是我們的老朋友reentrancy,或者我一直在努力將其重命名為:不安全的外部調用。回想一下,如果接收方是攻擊者控制的,則任何外部調用都可能不安全,因為攻擊者可能會導致你的合約轉換為未定義狀態。根據設計,這些“安全”函數執行對代幣接收者的外部調用,通常在鑄造或轉移期間由發送者控制。換句話說,這實際上是不安全外部調用的教科書示例。
但是,你可能會問自己,如果允許接收方合約拒絕他們無法處理的轉賬,那最壞的后果是什么?好吧,讓我通過兩個案例研究來回答這個問題。
例子1:Hashmasks
Hashmasks是一個供應有限的NFT頭像項目,用戶每次交易最多可以購買20個maskNFT。下面是購買mask的函數:
你可能覺得這個函數看起來非常合理。然而,正如你可能已經預料到的,在?_safeMint調用中隱藏著一些險惡的東西。讓我們來看看。
為了安全性,這個函數對token的接受者執行了一次callback回調,以檢查他們是否愿意接受轉賬。然而,我們是token的接收者,這意味著我們剛剛得到了一次callback回調,在這個點上我們可以做任何我們想做的事情,包括再次調用mintNFT函數。如果我們這樣做,我們將在僅鑄造了一個mask后重調用該函數,這意味著我們可以請求再鑄造另外19個mask。這導致最終鑄造出了39個maskNFT,盡管規則允許鑄造的最大數量只有20個。
例子2:ENS域名封裝器
最近,來自ENS的NickJohnson聯系了我,他想讓我看看他們正在進行的ENS域名封裝器工作。這個域名封裝器允許用戶用新的ERC-1155token代幣化他們的ENS域名,這提供了對細粒度權限以及更一致的API的支持。
概括地說,為了封裝任何ENS域名,你必須首先批準域名封裝器以訪問你的ENS域名。然后,你調用wrap(bytes,address,uint96,address),它既為你鑄造一個ERC-1155token,也負責管理底層的ENS域名。
下面就是這個wrap函數,它相當簡單。首先,我們調用_wrap,它執行一些邏輯并返回哈希域名。然后,我們確保交易發送方確實是ENS域名的所有者,然后再接管該域名。請注意,如果發送方不擁有底層的ENS域名,則整個交易應還原,撤銷在_wrap中所做的任何更改。
下面是_wrap函數本身,這里沒有什么特別的。
不幸的是,正是這個?_mint函數,它可能會給毫無戒心的開發者帶來可怕的驚喜。ERC-1155規范規定,在鑄造token時,應咨詢接收者是否愿意接受該token。在深入研究庫代碼后,我們發現情況確實如此。
但這到底對我們有什么好處呢?好的,我們再一次看到了一個不安全的外部調用,我們可以用它來執行重入攻擊。具體地說,請注意,在callback回調期間,我們擁有了代幣ENS域名的ERC-1155token,但域名封裝器尚未驗證我們擁有基礎ENS域名本身。這使我們能夠在不實際擁有ENS域名的情況下對其進行操作。例如,我們可以要求域名封裝器解開我們的域名,燃燒掉我們剛剛鑄造的token并獲取底層的ENS域名。
現在我們擁有了底層的ENS域名,我們可以用它做任何我們想做的事情,比如注冊新的子域名或者設置解析器。完成后,我們只需退出callback回調。域名封裝器將和底層ENS域名的當前所有者交互,并完成交易。就像那樣,我們已經取得了域名封裝器被批準用于的任何ENS域名的臨時所有權,并對其進行了任意更改。
結論
令人驚訝的代碼可能會以災難性的方式破壞事物。在本文的兩個案例下,開發人員合理地假設safe函數類可以安全地使用,卻無意中增加了他們的攻擊面。隨著ERC-721和ERC-1155代幣標準變得越來越流行及廣泛,這類攻擊情況很可能會越來越頻繁。開發人員需要考慮使用safe類函數的風險,并確定外部調用如何與他們編寫的代碼進行交互。
跨境產品關鍵運輸步驟追溯平臺、學習憑證網絡管理系統、醫療物資流通溯源管理系統……這些旨在解決社會問題的選題,來自日前在華南理工大學完成的一場獨具特色的區塊鏈課程答辯.
1900/1/1 0:00:00其實NTF并不是什么新概念,如果你是一位幣圈早鳥,那么你一定或多或少的聽說過CryptoKitties(謎戀貓)、Etheremon(以太小怪獸世界)和Etherbots.
1900/1/1 0:00:00引言 隱私性和可擴展性研究團隊都在填補零知識證明的前沿研究和以太坊應用開發之間的空白。我們最近研究的一個重點領域是?zkopru,這是一套為隱私交易節約gas的新協議.
1900/1/1 0:00:00近期,Facebook創始人兼CEO扎克伯格表示,要在五年左右的時間里,將Facebook從一家社交媒體公司,轉型為元宇宙公司,一時間“元宇宙”這一29年前就存在的科幻概念瞬間躥紅.
1900/1/1 0:00:00加密世界里,以太坊是絕對的王者世界,使用過的用戶都在用以太坊的主網,但你是否知道,在以太坊主網上還可以建立私鏈,就像私服一樣。而對于企業來說,還可以建立企業區塊鏈,同樣是利用以太坊的資源和特性.
1900/1/1 0:00:00摘要:鑒于電信網絡詐騙的特殊性與懲治困難,偵查機關通過廣泛實施凍結措施予以懲治,在客觀上受制于賬戶流水的不可分割性而致使一些違法犯罪活動之外的人受到凍結措施的限制,形成瑕疵被凍結人現象.
1900/1/1 0:00:00