比特幣行情 比特幣行情
Ctrl+D 比特幣行情
ads

BAS:回天乏術,一開始就注定失敗的YAM投票拯救行動!

Author:

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

36小時內,眼看他起高樓,幾分鐘內,眼看他樓塌了。

北京時間08月13日上午03時整,備受矚目的DeFi項目YAMFinance宣布啟動流動性挖礦,僅僅一天時間鎖倉資產價值就超過了6億美元,其鎖定資產增量和增速都達到了近乎癲狂狀態。且照此發展,一些早期給池子注入流動性的羊毛黨年利率甚至可逼近200倍,其瘋狂程度可見一斑。

不過,正當大家都陷入挖礦狂歡的時候,意外發生了。

北京時間08月13日凌晨,YAMFinance發現其智能合約的彈性供應機制存在漏洞,導致合約第二次rebase觸發時會鑄造大量額外代幣,這意味著未來社區將無法獲得足夠的代幣來執行任何治理操作,YAM將成為一個失控的機器,最終將徹底失去社區用戶的信任。

該如何拯救我們的YAM小紅薯呢?

在發現漏洞后,YAM團隊發起了“拯救行動”,稱他們需要16萬委托投票才能提交治理提案,于是向社區發起呼吁投票。很快,這場轟轟烈烈的社區投票行動就完成了。

然而,就在大家以為只是虛驚一場的時候,北京時間08月13日下午16時01分,YAM創始人BrockElmore卻發推特稱,對不起大家,我失敗了。這究竟是怎么回事呢?

PeckShield安全人員介入分析后,迅速定位到問題的本質在于:彈性供應機制存在一個代碼公式的錯誤,致使第二次rebase觸發時系統會自動增發10^18個新代幣,如果行情一直保持高位的話,那么以后的每次rebase觸發時都會進行指數級的增發,這將使小紅薯YAM的數量變成一個可怕的天文級數字。這意味著,無論后期社區怎樣委托投票,都無法獲得足夠的投票量對系統進行控制,整個系統將陷入失控無主狀態。

歐易將支持Starknet網絡ETH充提:金色財經報道,據官方公告,為滿足用戶交易的多方面需求,歐易將支持ETH_Starknet充提。ETH_Starknet充提開放具體時間如下:ETH_Starknet充值開放時間:7月11日下午4:00(UTC+8);ETH_Starknet提現開放時間:7月12日下午4:00(UTC+8)。[2023/7/11 10:48:14]

本來YAM官方號召廣大YAM持有人通過代理投票的方式,一起完成此次投票“拯救行動”,以修復這個存在的漏洞。然而,PeckShield安全人員進一步分析發現,當YAM官方開始發出呼吁的時候,這次拯救行動其實就已經注定失敗了。

原因有二:

1)時間來不及:?YAM官方或許忽略了一點,在其提案投票拯救行動準備工作完成后,也需要至少12.5個小時才能被執行生效,而按照現在的時間節奏,當其執行生效時,第二次rebase早已觸發。

2)新部署治理合約無法被有效執行:由于第二次rebase觸發,因此官方原先預期要執行的新治理合約到了執行時間后,卻發現由于投票總量遠遠無法達到合約約定的總量的4%,故而無法被有效執行。

究竟是為何呢?接下來上技術干貨。

技術概要

首先介紹下YAM智能合約的彈性供應機制:

1)系統會根據市場價格浮動來動態調整代幣的供應量,當市價上漲時則按比例增發代幣,以降低單位代幣的價值,直至降至1美元。

2)每天分別執行兩次rebase,每次rebase會改變代幣供應量,根據市場現價增發或銷毀一定量的代幣。

Arbitrum網絡總交易數已突破1.5億筆:金色財經報道,據歐科云鏈 OKLink 多鏈瀏覽器數據顯示,Arbitrum 網絡總交易數已突破1.5億筆,近24小時鏈上交易量超64.7萬枚ETH。截至目前,Arbitrum鏈上交互總地址已突破690萬個,近24小時新增近50萬個新地址。[2023/3/24 13:24:35]

再說一個實施提案的關鍵因素:持有者進行委托投票,投票數超過總量的1%,則提案才可以進行執行排列,且按合約約定執行排列時長需要等待12.5小時,而提案執行時,則投票需要超過總量的4%。如此新治理合約才能執行生效,項目才能繼續正常運轉。

有了以上幾個技術要點的鋪墊,我們再來看一下,YAM官方的跟進時間表,就能明白此次拯救行動為什么注定會失敗。

如下圖時間線所示:

②是第一次rebase觸發的時間,由于合約的bug導致totalsupply資產發生異常暴漲,官方發現BUG存在并進行了披露。

③是官方宣布提議部署新治理合約的時間,在此之后社區開始啟動投票。

④是投票目標初步完成,新治理合約進入執行排列的時間,自此等待執行12.5小時合約正式執行。

⑤是第二次rebase的觸發時間。

⑦是其新治理合約投票通過后正式執行的時間。

⑥在第二次rebase觸發后的第31分鐘時,或許是項目方發現了已經無力回天了,提案取消成功,項目方正式宣布YAM失敗。

被標記為孫宇晨的地址從 Aave V2 中撤回1000萬枚TUSD并轉入幣安:10月21日消息,PeckShield在推特上表示,被Etherscan標記為孫宇晨的地址從Aave V2中撤回1000萬枚TUSD并轉入幣安。本月至今,孫宇晨相關地址已從Aave撤回了近2億美元穩定幣。[2022/10/21 16:34:53]

①之后的綠色區域是投票和提案拯救行動可以成功的“黃金急救期”,需要整個拯救行動準備工作在第一次rebase觸發之前半小時內完成。。

這意味著,YAM官方應在第一次rebase(北京時間08月13日凌晨04:08)之前就應該發現這個漏洞,并且留有足夠的時間完成新治理合約部署和投票。

可是事與愿違,官方發現漏洞并披露呼吁投票的時間還是太晚了,錯過了唯一能夠成功的黃金急救期。而更糟糕的是,按照官方的時間節奏,當新治理合約到了⑦執行的時間后,投票數要超過總量的4%才行,而此刻的總量已經擴大了10^18*10^18,此前累積的投票數已然杯水車薪,根本無濟于事。

所以,這次拯救行動一開始就注定了會失敗。

下面我們會對此次事件做下詳細分析:

詳細過程分析

首先我們看下當第一次rebase發生了什么:

圖1.第一次rebase資產變化

如上面鏈上信息所示,當第一次rebase?之后,totalSupply從3,500,000*10^18暴漲到一個極大值。

FTX首席執行官SBF:目前主要目標是拯救加密行業:金色財經消息,日前,FTX首席執行官Sam Bankman-Fried在接受彭博社采訪中被David Rubenstein問及“你被稱為加密領域的摩根大通”時,SBF表示目前的主要目標支持公司并幫助拯救加密行業,而不是最大化交易。

據悉,他在加密貨幣市場低迷期間致力于救助企業,并取得“好壞參半”的成果。(彭博社)[2022/9/4 13:07:22]

我們進一步分析代碼,看下在代碼中發生了什么:首先從鏈上信息我們能看到rebase操作調用的是YAMRebaser合約的YAMRebaser::rebase()?函數,我們最終發現它通過調用YAM合約的rebase()?函數重新計算totalSupply,在第340行的totalSupply賦值操作可以看到,這一行代碼有個明顯的錯誤——沒有除BASE,從而導致totalSupply的值暴增了10^18倍。

YAM官方在第一次rebase以后發現了這個問題,于是披露rebasebug事件啟動了投票拯救行動。

圖2.YAMToken::rebase()得到一個異常大的totalSupply值

而在12小時之后,YAM又觸發了第二次rebase,這個數據又是以基于錯誤的totalSupply來計算的,從而導致initSupply的數值同樣出現了異常。

英特爾:高端獨立顯卡將在今夏面世 屆時將和英偉達、AMD全面競爭:6月15日消息,英特爾6月15日面向臺式機市場推出首款顯卡產品銳炫A380,建議零售價1030元,中國市場首發。根據命名規則,A380屬于英特爾“銳炫”系列顯卡GPU的3系列,定位入門級市場,采用臺積電N6制程工藝制造。在后續產品發布上,英特爾也提及更高端的獨立顯卡將在今年夏季面世,屆時英特爾將在GPU市場和英偉達、AMD展開全面競爭。(金十)[2022/6/15 4:28:25]

圖3.第二次rebase資產變化

我們繼續分析造成initSupply異常的成因,關鍵在上面提到過YAMRebaser::rebase()?函數,這個函數實現的主要邏輯:先基于yam.totalSupply()計算出本次rebase需要增發的YAM數額mintAmount,在afterRebase()?函數經過數層調用后進入YAM的?_mint()?函數,基于異常的mintAmount給initSupply進行賦值。由于在第一次rebase中,totalySupply已經變成一個極大值,所以基于此異常值的后續一列操作最終導致initSupply也計算錯誤,變成了一個天文級的數值。

圖4.YAMRebaser::rebase()?用錯誤的totalSupply計算initSupply

當第一次rebase出現異常時,項目方已經發現問題并決定提出一個修復系統的提案,希望通過投票的方式將此提案排入執行隊列并且執行。當此題案收到足夠多的投票,治理合約允許任何人通過調用GovernorAlpha::queue()函數將此題案排入執行隊列。但由于此治理合約代碼邏輯的實現,導致無論是在第二次rebase之?前或是之后進行修復,都無法正確執行這個拯救行動。

為什么說項目方準備工作完成的太晚了?

我們看下圖中的GovernorAlpha::queue()代碼,我們注意到了在調用_queueOrRevert函數之前的第224行中設置變量eta=currenttimestamp+timelock.delay,這就使得生效時間必然在加入隊列的12.5小時以后,而第二個rebase時間是與第一次間隔12小時,這就意味著要執行成功需要將拯救行動提前到第一次rebase之前至少半小時以上,否則將永遠無法執行。

圖5.GovernorAlpha::queue()?函數設置eta

又為什么說已經做出的拯救行動,根本無濟于事呢?

當觸發合約GovernorAlpha::execute()?時首先會先執行state函數來獲得當前提案狀態。

圖6.GovernorAlpha::execute()?檢測提案狀態

在下面的state()?函數第330行,如果proposal.forVotes<=againstVotes(),提案狀態被設置為失敗。

圖7.GovernorAlpha::state()?執行返回Defeated錯誤

從代碼中能看出來,項目方在設計系統時,投票數被設計為必須大于initSupply總量的4%,此提案才能是合法的狀態,如下圖所示。然而,當第二次執行rebase以后,initSupply已經被搞成一個極大值。這就導致了,投票票數永遠不可能>=quorumVotes(),從而總是返回Defeated。

圖8.GovernorAlpha::quorumVotes()?返回一個錯誤的異常值

除了提案狀態異常的問題之外,如圖9、圖10所示,當第二次rebase發生以后,由于GovernorAlpha::propose()檢查投票數必然小于proposalThreshold(1%的initSupply),因此新的提案也再也無法被提出,更遑論要投票執行了。

圖9.GovernorAlpha::propose()?檢測投票數是否大于1%initSupply

圖10.GovernorAlpha::proposalThreshold()?返回1%initSupply

總結

此次?YAM漏洞事件,最終造成治理合約中75萬枚?yCRV?被永久鎖定,而且短時間內的急速暴跌和無力回天的局面,不知道有多少人被埋在了價格高點,其瘋狂程度成了如今DeFi流動性挖礦的最真實寫照,其殘酷魔幻程度何嘗又不是?倘若項目方在部署合約之前但凡測試過一次rebase流程,必定能捕捉到漏洞的存在。足以見得,DeFi項目做安全審計的重要性。

綜上分析,PeckShield?想借此勸誡諸君,在區塊鏈世界里,務必要對每一行合約代碼保持敬畏,因為任何細微的疏漏都可能造成無法挽回的局面。畢竟,代碼是人寫的,漏洞也很難被徹底避免,因此需要項目方在合約部署上線前就做好充分的測試和第三方安全審計工作,這會幫助其更早發現并排查合約代碼潛在的安全漏洞,不至于等到,漏洞發生后,亡羊補牢,為時已晚

Tags:BASBASEREBASEEBASEcoinbase中國人可以注冊嗎2Based FinanceREBASEAPYCubeBase

以太坊交易所
區塊鏈:巴比特專欄 | 數字金融生態建設過程中,比資金和優勢地位更重要的是思想和時機

作者:谷燕西 在任何行業的競爭中,資金和行業中的優勢地位是決定勝負的關鍵因素。但是,在新興行業中,資金和優勢地位之外的其它的一些因素更加重要。這些因素中的最關鍵的兩個是思想和時機.

1900/1/1 0:00:00
比特幣:摩根大通區塊鏈項目Juno前首席工程師:以太坊上的任何東西都無法擴展

摩根大通首個區塊鏈項目Juno的前首席工程師WillMartino與Cointelegraph分享了對Consensys收購摩根大通旗下區塊鏈平臺Quorum的看法.

1900/1/1 0:00:00
數字金融:誰會成為未來數字金融生態的流量入口?

互聯網時期的發展讓我們都知道互聯網流量入口的重要性。如果一個應用受到歡迎,那么就可以在這個應用上開發出更多的產品功能,就有能夠吸引更多的用戶使用這個產品.

1900/1/1 0:00:00
FIL:好飯不怕晚,運維是關鍵:參加Filecoin太空競賽有感

作者:tshi來源:IPFS原力區 美西時間2020年8月24日下午3點,中國時間8月25日早上6點,Filecoin太空競賽啟動.

1900/1/1 0:00:00
DEX:5分鐘看懂去中心化交易所:DeFi最激烈的競爭賽道,模式并不復雜

雖然目前存在許多不同模式的去中心化交易所,但是采用AMM模式的去中心化交易所一直都保持著最高的流動性和日平均交易量.

1900/1/1 0:00:00
FIL:Filecoin最新路線圖:主網將于9月中下旬啟動

此次2020年8月路線圖的更新涵蓋了自上次路線圖更新以來取得的進展,特別慶祝我們的激勵性測試網競賽——FilecoinSpaceRace今天正式啟動.

1900/1/1 0:00:00
ads