買比特幣 買比特幣
Ctrl+D 買比特幣
ads

以太坊:Fairyproof:在 EIP-4626 中的安全注意事項_AIR

Author:

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

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

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

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

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

NFT鑄造平臺Fair.xyz完成與Polygon的集成:7月22日消息,針對創作者的NFT鑄造平臺Fair.xyz宣布完成與Polygon的集成,允許創作者在Polygon上使用Fair的功能套件構建和發布收藏品。Fair.xyz此前已支持以太坊。同時,Fair.xyz和Polygon推出Polygon Open Edition NFT。

此前報道,2022年8月份,Fair.xyz完成由EdenBlock領投的450萬美元融資,OpenSea、NFX和First Minute Capital等參投。[2023/7/22 15:52:15]

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

zkSync更新路線圖中Fair Onboarding Alpha和Full Launch Alpha里程碑時間至明年Q1至Q2:12月14日消息,基于ZKRollup的以太坊二層網絡zkSync宣布將推遲路線圖中Fair Onboarding Alpha和Full Launch Alpha里程碑的發布。zkSync表示,在10月達到BabyAlpha里程碑時,預計將在2022年第四季度達到Fair Onboarding Alpha,并在2023年第一季度達到Full Launch Alpha。為了給正在進行的安全審計騰出時間將推遲發布,預期其安全審計將在2023年1月之前完成,預計Fair Onboarding Alpha里程碑將推遲至2023年第一季度,Full Launch Alpha將推遲至2023年第二季度。所有產品的發布日期都將取決于網絡準備情況,Fair Onboarding Alpha中將完全開源。[2022/12/14 21:43:33]

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

以太坊分叉Ethereum Fair發布Bellatrix合并后的最新測試網:9月6日,據官方推特,目前Ethereum Fair(ETF)技術社區已發布Bellatrix合并后的最新測試網,也合并了Sentry Omega(v1.10.23)以太坊版本,目前是分叉領域最新的測試網版本。據悉,Bellatrix是以太坊1.0與以太坊2.0合并的硬分叉,同時也是正式合并之前的必要步驟。[2022/9/7 13:12:49]

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

惡意功能的實施

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

Fairyproof:V神的EIP-4844提案中兩個內存池問題需得到解決:3月29日消息,Fairyproof今日發布關于V神提出的EIP-4844提案研究報告,報告稱,此EIP在以太坊客戶端和匯總解決方案的實施中引入了重大變化,雖然可能不會引入明顯的漏洞,但是新引入的blob交易可能會導致兩種內存池問題。第一個是blob交易具有可變的內在GAS成本,這會使內存池受到攻擊,因為交易可能有資格被包含在一個區塊中,但可能沒有資格被包含在下一個區塊中。為防止此類攻擊,該EIP建議僅廣播“gas至少為當前最小值的兩倍”的交易,以大大增加合法交易被包含在區塊中的機會。第二個是blob交易在內存池層具有較大的數據量,這會使內存池暴露于DoS攻擊。該EIP建議將“mempool替換的最小增量從1.1倍增加到2倍”以增加攻擊者的成本,從而減少其攻擊嘗試。就安全性而言,開發人員必須在代碼中解決這些問題。此外,報告稱,用戶應該注意,這兩項建議是為了應對對內存池的攻擊,如果它們被實施,則意味著如果非惡意用戶希望交易得到及時處理,需要支付符合這些建議的Gas費用。此前消息,以太坊V神提出新的分片建議:EIP-4844。[2022/3/29 14:24:34]

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

加密投資公司KR1從FunFair代幣獲利120萬美元:金色財經報道,1月18日消息,區塊鏈資產和加密投資公司KR1宣布已出售其在加密游戲FunFair項目中剩余的FUN代幣,平均價格為每個FUN代幣0.02027美元,產生的收益為1,281,608.60美元。在項目的初始資金回合期間,以每FUN 0.00667美元的平均價格獲得了FUN代幣。(CryptoNinjas)[2021/1/18 16:27:43]

支持EOA賬戶

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

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

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

使用接口作為預言機

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:FAIRAIRFAI以太坊FunFairMAIR幣fair幣創始人以太坊幣價格今日行情價格紅色是漲嗎

比特幣行情
OIN:一周必讀10篇 | 消除碳足跡 以太坊合并四大支柱重振生態信心_WEB

1.消除碳足跡?以太坊合并四大支柱重振生態信心與權益證明的合并將是迄今為止對以太坊最深刻的升級,其重要性僅次于創世區塊。這將是讓世界看到一個主要的、分散的系統如何在實際上消除其碳足跡的例子.

1900/1/1 0:00:00
NFT:以太坊狀態:復盤以太坊 2022 Q1_TIM

本文將復盤全球領先的智能合約平臺以太坊截至2022年3月31日的第一季度財務業績。 01.關鍵成果 這些數據比較了以太坊在2021年第一季度和2022年第一季度的表現.

1900/1/1 0:00:00
比特幣:從隱私幣反超比特幣看宏觀經濟環境對加密資產的影響_香港推出穩定幣是真的嗎還是假的

價格走勢:自二月底以來,隱私幣的表現已經超過了以太坊和比特幣。交易量:在央行禁止購買加密資產后,烏克蘭的加密資產交易量下降到了沖突前的水平.

1900/1/1 0:00:00
BDC:國際清算銀行:90%的中央銀行正參與到 CBDC 相關業務_BDC價格

比推消息,根據國際清算銀行進行的一項調查結果,全球十分之九的中央銀行正在探索中央銀行數字貨幣。調查還發現,與打算供銀行使用的批發CBDC相比,更多的中央銀行正在開發或測試零售CBDC或旨在供消費.

1900/1/1 0:00:00
RTF:Nike推出其首款基于以太坊的NFT運動鞋_CYB

4月23日,全球市值最高的運動品牌耐克和加密時尚潮牌RTFKT推出了其首款基于以太坊的NFT運動鞋.

1900/1/1 0:00:00
HER:詳解Otherside土地稀缺體系 看“無聊猿”BAYC背后公司的“巨大圖謀”_Doge-1 Mission to the moon

在剛剛過去的五一假日里,YugaLabs公司推出的元宇宙項目Otherside成了最大熱門。數據顯示,通過虛擬地塊Otherdeed銷售活動,YugaLabs公司至少賺了3.18億美元.

1900/1/1 0:00:00
ads