「此次黑客攻擊主要是利用 imBTC 資產 ERC777 標準的漏洞進行了重入攻擊。回調機制允許黑客反復將偽造的 imBTC 作為抵押物借出款項。」
——dForce 公告
上述安全事件得到初步解決,為受害者(比如橙皮書老哥在 DeFi 里虧光又回本的兩天)感到高興。被攻擊的細節也已經得到了披露,但究竟是什么導致了漏洞,仍有不同的聲音。
有的認為是 ERC777 的不足;有的認為是兼容性的問題;有的認為 imBTC 實現的問題。在此,我覺得有些概念必須明確,才能方便我們對事實的探討。
協議:漢語中的「協議」一詞具有多義性。我們這里指的協議,不是法律意義上的「合約 / 契約 (Contract)」,也不是「軟件許可證 (License)」,而是通信中的「協議 (Protocol)」。在電信領域,協議是通信系統中的兩個或多個實體交換信息的系統規則。
標準:標準是「為了在一定的范圍內獲得最佳秩序,經協商一致制定并由公認機構批準,共同使用的和重復使用的一種規范性文件。」
RippleNet 總經理 Asheesh Birla 宣布辭職:6月9日消息,RippleNet 總經理 Asheesh Birla在 Twitter 宣布辭職,Birla 于 2013 年加入這家總部位于舊金山的公司。作為公司創始團隊的成員,他負責開發區塊鏈驅動的跨境支付解決方案RippleNet 。Birla 將 On-Demand Liquidity 解決方案(前身為 xRapid)的推出描述為公司的“巨大里程碑”,該產品允許使用 XRP 作為橋梁貨幣來即時結算法定支付。雖然 Birla 尚未決定他的下一個職業發展方向,但他將與美國前財長 Rosie Rios 和摩根大通資深人士 Sandie O'Connor 一起成為 Ripple 的董事會成員。Ripple 首席執行官 Brad Garlinghouse 表示,另一位高管 Monica Long 將接任 Birla 領導 RippleNet 和 RippleX。(u.today)[2022/6/10 4:15:17]
標準不一定是協議,因為標準不只是通信領域的。而協議也不一定是標準,因為標準必須得到規范的確認。但通信標準一定是通信協議。因此,標準必須由一些指定的組織頒布。比較知名的標準組織有 ISO、ITU、IETF 等。例如 TCP 作為一種傳輸標準,就是 IETF 頒發的 RFC-793 所決定的。
Solana生態借貸協議Solend宣布上線Star Atlas Pool:3月2日消息,Solana 生態借貸協議 Solend 宣布上線 Star Atlas Pool,Star Star Atlas 池有 3 個儲備 Token:ATLAS、POLIS 和 USDC,用戶目前已經可以進行借入借出操作。據了解,Star Atlas 是建立在 Solana 鏈上的 GameFi。[2022/3/2 13:32:36]
ERC777 是協議嗎?
是的。
當然我個人傾向于另外一種表達,ERC777 包含了協議。ERC777 定義了一種代幣類型,規定了代幣合約的屬性、開放的接口及實現的功能,用于規范以太坊地址與 ERC777 代幣合約間的通信,這是通過接口完成的。但 ERC777 也包含了通信協議外的東西,例如 decimals() 這個函數用來查詢 token 的精度,這顯然是通信協議,但按照 ERC777 的要求必須返回 18,這就不屬于通信協議的范疇。
ERC777 是標準嗎?
BZone聯合創始人Allen Feng:在Defi領域來說,整體Defi應該是為交易所賦能:由Lotus總冠名,金色財經、鏈上ChainUP主辦,BTSLabs、Vtrading協辦,深圳多家區塊鏈企業聯合贊助的金色LIVE在深圳首家區塊鏈酒吧BTCLOUNGE舉辦。?BZone聯合創始人Allen Feng在演講《圓桌論壇1:交易所乘風破浪的正確姿勢》中表示,
對于交易所來說,我認為面臨最大的挑戰,其實在Defi領域來說,整體Defi應該是為交易所賦能的,我們所說的挑戰,可能說針對于DEX和CEX這個去中心化交易所和中心化交易所的對比,它可能早期帶走了很大的資金流和流量,但是從我個人的角度來說,早期的時候我也會在去中心化交易所上去交易、買幣之類的,但是通過后續的體驗,交互成本越來越高,所以Dex和Cex在生態和技術安全上應該是互補的,中心化交易所應該持更加包容和擁抱的心態對待。[2021/3/17 18:54:15]
是的。從名字就能看出來。
EIP 777: ERC777 Token Standard (ERC 代幣標準)。
RippleNet成員BBVA與亞馬遜以及彭博社達成合作:Ripple客戶、西班牙對外銀行BBVA宣布與亞馬遜網絡服務(AWS)以及彭博社達成合作,以創建基于云的技術解決方案,旨在擴展股票業務。早在2017年,該銀行就開始試驗區塊鏈,除了加入RippleNet,還加入了以太坊企業聯盟、Hyperledger以及R3財團。(U.Today)[2020/11/4 11:39:21]
這里隱含了一點是什么呢,如果你發行了一個 token,說它是 ERC777 的 token,那么必須要實現此標準定義的所有接口。同時,這個 token 必須回溯兼容 ERC20 標準。這是什么意思呢?
什么是兼容性?
兼容性是指硬件之間、軟件之間或是軟硬件組合系統之間的相互協調工作的程度。
根據標準文檔,ERC777 對 ERC20 是 backward compabitlity,這是什么意思呢?
向后兼容(backward compatibility),又稱向下兼容(downward compatibility),回溯兼容,在計算機中指在一個程序、庫或硬件更新到較新版本后,用舊版本程序創建的文檔或系統仍能被正常操作或使用(包括輸入數據)、在舊版本庫的基礎上開發的程序仍能正常編譯運行,或較舊版的硬件仍可在新版使用的情況。
印度私營港口運營商APSEZ已與TradeLens簽署合作協議:印度私營港口運營商APSEZ已與TradeLens簽署了合作協議,后者是由馬士基(Maersk)和IBM共同開發的一個基于區塊鏈的數字集裝箱物流平臺。
通過該合作,APSEZ在Mundra、Hazira、Dahej、Tunana、Dhamra、Ennore、Kattupalli、Mormugao、Vizag等地運營的貨物裝卸設施以及在Vizinjam的在建港口將與TradeLens平臺整合。(The Hindu BusinessLine)[2020/5/27]
什么意思,如果我們把 ERC20 看作舊版本,把 ERC777 看成新版本。回溯兼容指的就是,ERC20 的任何接口,在 ERC777 中都得到了實現。換句話說,假設一個 token 直接從 ERC20 升級到了 ERC777 (實際上不可能,但我們可以做這樣的假設),原先通信方式仍然有效,但這不代表最終的結果是一致的。這點非常重要!首先來看一個例子。
關于兼容性的例子
SQL 注入
「SQL 注入是一種將 SQL 代碼添加到輸入參數中,傳遞到服務器解析并執行的一種攻擊手法。」
簡單說,用戶可以通過公開的接口來實現對數據庫的攻擊。例如:
我們在登錄網站時,會輸入用戶名和密碼,服務器后臺會判斷用戶名密碼是否匹配,來決定是否能讓用戶登錄。
假設我們在輸入時,用戶名輸入:user'-- (注意--后面有個空格,單引號閉合 user 左邊的單引號),密碼隨意輸入,如:111,然后點擊提交按鈕。等價于 SQL 語句:
SELECT * FROM user WHERE username = 'user'-- 'AND password = '111'
由于「--」之后的部分被注釋掉了,無論密碼是正確或者是錯誤的,用戶都可以成功登錄。
當然,實際上的代碼沒有這么簡單。你如果看了這段話嘗試去攻擊網站,是不會成功的。
這和兼容性有什么關系呢?解釋一下。
假設 一個網站遵循用戶協議 U20,只允許用戶名是字母,因此用戶無法輸入 ' 和-這兩個符號。當然不僅前端輸入框限制,后端也會檢查每個字符是否都符合條件。換句話說,在接口傳遞參數的時候,不允許這兩個符號出現,這個接口是符合 U20 的。這時,不會出現示例中的 SQL 注入問題。(但不確定是否其它注入可能。)
某天,網站的用戶協議進行了升級,變成了 U777,新的用戶可以使用 ' 和- 作為用戶名了,接口也需要進行升級。U777 對 U20 當然是回溯兼容的,因為舊的用戶仍然可以使用用戶名登錄,也可以使用舊的界面和接口登錄。而新的用戶則需要前端和后端代碼升級后才能登錄。
如果前端和后端只是簡單地對上述兩個字符不加限制,勢必會導致上述 SQL 注入問題。但這個要怪罪接口升級嗎?
很顯然,不是的。協議只是保證符合規范地將用戶的輸入傳遞給后端,協議升級后,這仍然正確地完成了。而新的字符帶來的風險,是需要后端代碼重新評估的,也可以認為后端代碼與新的協議不兼容。
這是后端代碼的問題嗎?這是協議升級的問題嗎?都不是。而是因為協議升級后,讓用戶產生了足以摧毀系統的超能力。
再把話題扯遠一點,列車的最高速度從 20km/h 提到 100km/h,鐵軌仍然和列車兼容。但噪音是否會造成沿途居民的影響,道口是否需要提高安全等級呢?這顯然是要重新審視的。
應該怎么做?
回溯兼容不代表安全,因為新的特性必然具有外部性,而這個外部性是讓其它實體很難預期的,所謂「安全是動態的」。回到剛才的例子,有兩種做法。
一是提前對各種外部性進行判斷。后端代碼非常謹慎,假裝不知道用戶的輸入是受限的,按照全字符集來進行處理,這樣無論協議怎么升級,后端都是安全的。
二是靈活但審慎的策略。在協議升級時前,重新評估安全性,并做好修改和測試工作后重新部署。
根據例子的復雜度,兩種做法都是可行的。更重要的是,為了避免重復勞動,提高效率,減少安全問題出現的可能,應當對共性問題進行標準化嘗試。
例如,用戶登錄是個邏輯簡單,且非常普遍的場景。為了防止 SQL 注入,就有例如 Prepared Statement 之類的標準化做法,完全不需要閉門造車。而回到開頭的那個問題,我更想引用慢霧的一段話「第三方 DeFi 平臺在接入的時候,應需要充分考慮平臺本身的業務邏輯與接入代幣之間的兼容性,才能避免因兼容性發生不必要的安全問題。而不是簡單的將問題歸咎于協議和代幣提供方。」
為什么 ERC777 難以得到推廣
為什么 ERC777 兼容了 ERC20,且提供了比 ERC20 更強大的功能,仍然不能得到廣泛的應用呢?除了 ERC20 代幣已經廣泛使用,大家寧肯忍受它的缺點,使用 approve and transferFrom 這種并不那么安全的方法,也不愿或無法升級外,還有一個重要的原因是:光兼容 ERC20 是不夠的,還需要兼容現有的其它協議。如果每個協議都要單獨評估應用 ERC777 的風險,成本太高,且容易造成誤解,這顯然不利于它的推廣。
我們是否可以把公共的常用功能抽象出來,形成標準的實現?例如「存款」這個操作,如果它有針對不同代幣標準的標準參考實現,那么許多問題出現的概率就會降到很低。
至少,我們也應該小心所有和我們打交道的人,每個合約都要小心所有與其打交道的合約,來避免出現不必要的安全問題。因為「不斷地他添來另外的你我 / 使我們豐富而且危險。」(穆旦,《詩八首》,1942 年。)
截止報告發布時間(2020 年 5 月 1 日),本周五全球數字貨幣資產總市值為 2,452.01 億美元,同比上漲 314.26 億美元,上漲 14.7%.
1900/1/1 0:00:00文章開始前,吹一波牛,走波關注!你懂的..比特幣大崩盤前,本人在03月04日參加金色沙龍、即BTC血崩前,即看空2020減半!02.17更是預見年初大反彈見頂;以及早在大半年之前.
1900/1/1 0:00:00要說最近幣圈哪個活動最值得關注,自然是火幣全球站的“減產預言家”活動。總獎勵10萬+ USDT不說,自4月14日活動上線以來,已經連續三天每天往獎池追加1萬USDT的獎勵了.
1900/1/1 0:00:00區塊鏈的本質不是歷史記錄不可刪除的。估計很多人會反對這句話,但我們先看一下案例。比特幣并不是不可刪除的,白皮書“第7章:回收磁盤空間”明確寫了,比特幣的歷史交易是可以丟棄的.
1900/1/1 0:00:00有沒有注意到比特幣的閃電網絡(Lightning Network)在2020年還沒有完全走上正軌?閃電實驗室(Lightning Labs)首席執行官伊麗莎白?史塔克(Elizabeth Sta.
1900/1/1 0:00:00無疑,2020是一個“合約年”。隨著山寨幣的“百倍”造富效應逐漸衰弱、現貨市場的增長遇到瓶頸,以BTC為首的主流幣交易量在整個市場交易量的占比進一步增大后,交易所們似乎都寄希望于合約功能在熊市為.
1900/1/1 0:00:00