比特幣價格 比特幣價格
Ctrl+D 比特幣價格
ads
首頁 > 區塊鏈 > Info

FAIR:Fairyproof:在 EIP-4626 中的安全注意事項_FAI

Author:

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

在DeFi應用程序FeiProtocol的聯合創始人JoeySantoro的領導下,最近提出了一個EIP,用于為代幣化保險庫創建新的代幣標準。它是EIP-4626。

盡管它剛剛在2021年12月提出,但很快就獲得了以太坊社區的極大關注和大力支持,并據報道已被包括TribeDAO和RariCapitalDAO在內的一些DAO采用。

該EIP旨在解決代幣化保險庫現有實現中的一個痛點,即“代幣化保險庫缺乏標準化,導致實現細節多樣化”。這個痛點使得標記化保險庫的集成“在聚合器或插件層對于需要符合許多標準的協議很困難,并迫使每個協議實現自己的適配器,這些適配器容易出錯并浪費開發資源”。

該EIP基于ERC-20,這是以太坊DeFi應用程序中廣泛采用的標準,存在相當大的安全問題或風險,需要智能合約開發人員了解。

Fairyproof:Dego被攻擊的原因高度疑似其私鑰被盜,損失超230萬美元:2月10日消息,Fairyproof發文表示,DeFi應用Dego Finance遭到攻擊。項目在Uniswap和Pancake的流動性池已經枯竭。Dego團隊正在和相關中心化交易所如幣安等溝通,以關掉DEGO代幣的存款防止黑客通過交易所套現。

相關資金已被轉移到BSC上的地址:0x118203B0f2A3ef9e749D871C8fEF5e5e55ef5C91和以太坊上的地址:0x118203B0f2A3ef9e749D871C8fEF5e5e55ef5C91

Dego被攻擊的原因高度疑似其私鑰被盜,導致接下來其LP流動性被撤,BNB直接提走,DOGE在1inch4上被兌換成BNB提走。

其中DOGE在inch4上兌換的交易參見:

https://bscscan.com/tx/0xbbc742b252b77051f140606550613779523722a3166c81e1f2c30d6836d09cf2

在BSC上Dego LP流動性被撤離的交易見:https://bscscan.com/tx/0xfd70496e7b88398ec2cc07eb536e613a12406abc62b055ffa61cb8a84d24c686

在以太坊上Dego LP流動性被撤離的交易見:https://etherscan.io/tx/0x0d905fc5e285dc9f8bd27af2c0f23ccecf05001aa8357dbba3d6fb60a831de89

在以太坊上ETH被轉移的交易見:https://etherscan.io/tx/0x0d905fc5e285dc9f8bd27af2c0f23ccecf05001aa8357dbba3d6fb60a831de89

在上述攻擊中,在BSC上至少損失 2613.4個BNB,在以太坊上至少損失 378.75795807個ETH,合計損失超過 2,301,086 美元。[2022/2/10 9:42:56]

作為一家區塊鏈安全公司,Fairyproof的研究團隊對ERC-20實施的問題或風險是否也可能引入ERC-4626非常感興趣。我們研究了這個EIP,探索了可能的安全檢查點,并想分享一些關于這些檢查點的想法。

Fairyproof風險提示:BSC上SQUID GAME項目疑似出現跑路或被攻擊:11月1日消息,Fairyproof發布風險提示,與熱門韓劇《魷魚游戲》同名的BSC上項目SQUID疑似出現跑路或被攻擊,損失金額預估1200萬USDT。

據Fairyproof監測系統顯示:目前項目方官網已無法打開;

當前Pancake質押池中所有的代幣已經通過兩次交易被全部提出轉移到地址:0x71D934Aa2119CA3995F702f075d540f7A6b0f728。

其中一筆的交易在BSC上的哈希值為:0xf7c9d0e5a81999f9e06fe78df7ce41da112d8bd4f2da7b16cfdbbe46c92cb6af 。

發起提取代幣交易的地址為0x614826D885FF973324a5C3f43369d7C413a88aea。

此外來自地址0x1f5eabba9c56bca4a7828969b79bc87051125b31的交易者通過大量出售SQUID代幣將Pancake中交易對中的BNB轉移至:

0x71D934Aa2119CA3995F702f075d540f7A6b0f728。上述交易所需的初始Gas源頭都來自混幣應用Tornado.Cash。

Fairyproof提醒投資者警惕參與風險。[2021/11/1 21:16:03]

此EIP要求代幣化保險庫必須實現ERC-20來表示股份,并添加新接口以將股份轉換為代幣或將代幣轉換為可查看函數和傳輸函數中的股份。而這些新增的功能引入了需要我們注意的安全注意事項。

Fairlead Strategies創始人:比特幣或修正至42000美元:分析師、Fairlead Strategies創始人兼執行合伙人Katie Stockton表示,每周MACD(移動平均收斂差異)滾動反映了中期動力的喪失,這增加了比特幣近期價格范圍下跌的風險。不能排除出現更大的牛市縮水的可能性,Stockton說:“我們看到42,000美元作為支撐。”(coindesk)[2021/5/13 21:55:42]

以下是基于此EIP實施標記化保管庫時的安全注意事項列表:

惡意功能的實施

考慮一個符合此EIP定義的接口但不符合規范的保險庫實現。這種情況經常發生在使用代理機制的rug-pulls中,并且代理接口似乎符合令牌標準,但實際上,真正的實現是惡意合約。

李啟威:SurfAir也將接受LTC付款:LTC創始人李啟威在其社交媒體上表示,加州通勤航空公司SurfAir繼接受BTC及ETH以后,也即將接受LTC付款,更多的消息將在下周公布。[2018/6/1]

因此,審計人員或用戶需要在采取進一步行動之前仔細檢查其實際實施情況。

支持EOA賬戶

EIP指出“如果實施者打算直接支持EOA賬戶訪問,他們應該考慮添加額外的存款/鑄幣/提款/贖回函數調用,以適應滑點損失或意外的存款/提款限制”。

除了滑點損失和意外的存款/取款限制外,還有另一種常見的情況:代幣在轉賬時被燒毀。一些DeFi應用程序使用這種機制來減少其代幣的流通供應量并抬高代幣的價格。

我們建議ERC-4626保險庫不允許將此類代幣存入保險庫。

建造區塊鏈城市《Fair City》封測在即:Fair.Game旗下第三款游戲Fair City將在4月19日開啟封閉測試。[2018/4/20]

使用接口作為預言機

EIP聲明“預覽方法返回的值盡可能接近精確。出于這個原因,它們可以通過改變鏈上條件來操縱,并且并不總是可以安全地用作價格預言機。”?,并且“將轉換方法實施為使用時間加權平均價格在資產和股票之間轉換是正確的。”?

加密空間中預言機最流行的用例是使用它們來獲取代幣的價格,但智能合約需要的任何信息都可能依賴于預言機。因此,返回信息的預覽方法也可以用作預言機。盡管這似乎沒有重要的用例,但就目前而言,這個列出的潛在問題需要我們注意。減輕鏈上信息被操縱風險的一種流行方法是使用Uniswap引入的時間加權平均算法。

舍入問題

Vault實施者需要仔細處理計算Vault份額或代幣數量以及將份額轉換為資產或將資產轉換為份額的接口的舍入方向。

規范建議,在計算向用戶發行的股份的標的代幣數量時,他/她為他/她返回的一定數量的股份提供或發送給他/她的標的代幣的數量,它應該向下舍入。

在計算用戶必須提供以接收特定數量的基礎代幣的數量或用戶必須提供以接收特定數量的股份的基礎代幣數量時,它應該四舍五入。

在計算converTo函數中的股份數量或基礎令牌時,規范要求保險庫實施者向下舍入以確保所有ERC-4626保險庫實施的一致性。

這些建議和要求確保始終有足夠數量的底層代幣用于轉移。這是審計人員在審計基于此EIP的保險庫實施時需要注意的事項。

-代幣兼容性問題

該EIP特別提到了ERC-20代幣標準。它是實現可替代代幣的最廣泛采用的代幣標準。然而,在我們過去的審計經驗中,我們也審計了一些基于替代以太坊代幣標準實施的可替代代幣。

這些替代代幣標準與ERC-20代幣兼容,但存在一些差異。

讓我們以EIP-777令牌標準為例。令牌標準允許實現者使用注冊表來查找接口。如果注冊表有錯誤,任何依賴它的東西都會產生不利影響。此功能引入的一個常見問題是重入風險。

因此,可能存在兩種我們需要注意的場景。

第一種情況是基于ERC-20兼容但替代標準實施的保險庫。第二個是ERC-4626值,它與與ERC-20兼容但基于替代令牌標準實施的令牌交互。

在這兩種情況下,替代代幣標準都可能帶來問題或風險。并且應仔細審查和審核基于替代標準的實施。

結束語:

在本文中,我們列出了在審核基于ERC-4626的保險庫時的一些可能的安全注意事項。其中一些考慮因素已在EIP中提及,其他考慮因素是根據我們的審計經驗列出的。

我們希望我們的初步建議能給實施者、用戶和審計員一些關于如何安全和安全地處理ERC-4626保險庫的粗略想法。

參考:

EIP-4626:代幣化保險庫標準,https?://eips.ethereum.org/EIPS/eip-46262021年12月22日

去中心化自治組織,https://ethereum.org/en/dao/

部落,https://docs.fei.money/governance/tribe

瑞瑞資本,http://rari.capital/

ERC-20代幣標準,https://ethereum.org/en/developers/docs/standards/tokens/erc-20/

Uniswap,https://uniswap.org/

EIP-777:代幣標準,https://eips.ethereum.org/EIPS/eip-777

SamreenNF,AlalfiMH.以太坊智能合約中的重入漏洞識別//2020IEEE面向區塊鏈的軟件工程國際研討會。IEEE,2020:22-29。

Tags:FAIRAIRFAIHTTWFAIRFAIRMOONFAIR價格htt幣價格今日行情

區塊鏈
BTC:金色趨勢丨BTC可以抄底了嗎?_BTCUI價格

金色財經訊:11月11日上午4:30,據Bitstamp數據顯示,比特幣價格跌破6500美元,當前震蕩回升,反彈至6639.98美元.

1900/1/1 0:00:00
比特幣:科普:比特幣創始人中本聰是誰?_區塊鏈

區塊鏈世界里最神秘的人,非比特幣發明者中本聰莫屬。一直以來,關于他的江湖傳說不斷,就像秦始皇陵園,只知道存在過,不知道是怎樣的一個存在.

1900/1/1 0:00:00
NDO:金色觀察|一文讀懂去中心化投資銀行:Ondo Finance_DEF

近幾年,DeFi的發展使得向邊際投資者幾乎免費提供某些金融服務成為可能。投資者可以依靠代碼來自動執行金融協議的條款和條件,而不是依賴支付代理、轉賬代理和集中清算和結算存管等中介機構.

1900/1/1 0:00:00
NBA:元宇宙里看了場NBA 體驗前排觀賽視角_AVATA Network

相信對于籃球迷來說,五一假期的娛樂活動一定少不了宅家看NBA。 圖源:網絡 比起用手機、平板、電視體會場外觀賽的傳統模式,NBA早在2016年便開始嘗試利用VR設備帶來更沉浸的觀賽體驗.

1900/1/1 0:00:00
元宇宙:元宇宙:數字所有權與絕妙的現實逃離方式_MagicTheLeagueCoin

元宇宙,是一個以現實世界為藍本的平行數字世界,除了VR和教育體驗,用戶也可以沉浸在無縫的社交和金融交互中。 什么是元宇宙? 從概念上講,元宇宙并不完全是個新事物.

1900/1/1 0:00:00
DAO:參考國家經濟體系 探討DAO應如何建立內部經濟_TOKEN

原文標題:《BuildinganEconomyWithinaDAO》這篇文章是基于我在Crypto,Culture,&Society的演講上撰寫的.

1900/1/1 0:00:00
ads