在 DeFi 應用程序 Fei Protocol 的聯合創始人 Joey Santoro 的領導下,最近提出了一個 EIP,用于為代幣化保險庫創建新的代幣標準。它是 EIP-4626。
盡管它剛剛在 2021 年 12 月提出,但很快就獲得了以太坊社區的極大關注和大力支持,并據報道已被包括 Tribe DAO 和 Rari Capital DAO 在內的一些 DAO 采用。
該 EIP 旨在解決代幣化保險庫現有實現中的一個痛點,即“代幣化保險庫缺乏標準化,導致實現細節多樣化”。這個痛點使得標記化保險庫的集成“在聚合器或插件層對于需要符合許多標準的協議很困難,并迫使每個協議實現自己的適配器,這些適配器容易出錯并浪費開發資源”。
該 EIP 基于 ERC-20,這是以太坊 DeFi 應用程序中廣泛采用的標準,存在相當大的安全問題或風險,需要智能合約開發人員了解。
Web3游戲初創公司Arena of Faith完成175萬美元種子輪融資,Chain Hill Capital領投:5月22日消息,Web3 MOBA 類競技游戲 Arena of Faith 近日公布已完成由 Chain Hill Capital 領投、Initiate Capital 跟投的 175 萬美元種子輪融資。Arena of Faith 專注于服務 MOBA 電競生態和建設去中心化的賽事體系。Chain Hill Capital 對此表示,我們相信 Arena of faith 對 MOBA 賽道以及 Web3 都有深刻的認知,他們有望結合 Web3 商業模式及去中心化精神在 MOBA 賽道中實現突破。[2023/5/22 15:18:23]
作為一家區塊鏈安全公司,Fairyproof 的研究團隊對 ERC-20 實施的問題或風險是否也可能引入 ERC-4626 非常感興趣。我們研究了這個 EIP,探索了可能的安全檢查點,并想分享一些關于這些檢查點的想法。
以太坊PoW分叉Ethereum Fair與跨鏈項目SWFT Blockchain達成合作:8月7日消息,Ethereum Fair宣布與跨鏈項目SWFT Blockchain達成合作,Ethereum Fair是由ClassZZ技術社區發起的以太坊PoW分叉,將在以太坊過渡至PoS后保留原有的PoW鏈。SWFT Blockchain將支持Ethereum Fair生態系統發展。[2022/8/7 12:07:59]
此 EIP 要求代幣化保險庫必須實現 ERC-20 來表示股份,并添加新接口以將股份轉換為代幣或將代幣轉換為可查看函數和傳輸函數中的股份。而這些新增的功能引入了需要我們注意的安全注意事項。
以下是基于此 EIP 實施標記化保管庫時的安全注意事項列表:
惡意功能的實施
DeFi保險協議FairSide完成420萬美元融資,Alameda Research等參投:11月18日消息,分散風險型DeFi保險協議FairSide 完成420萬美元融資,Alameda Research、Dominance Ventures、Jump Capital、Figment Capital和Daedalus等參投,所籌資金將用于進一步開發其DeFi保險協議。
注:FairSide 旨在為成員提供全面保險,涵蓋多個區塊鏈、項目和損失類型,加密貨幣持有者將不再需要管理多個保單、支付大量保費或等待創建池以獲得保險,通過FairSide獨特的產品,成員無需購買特定的項目保單即可自動獲得保險。[2021/11/18 22:01:58]
考慮一個符合此 EIP 定義的接口但不符合規范的保險庫實現。這種情況經常發生在使用代理機制的 rug-pulls 中,并且代理接口似乎符合令牌標準,但實際上,真正的實現是惡意合約。
Fairlead Strategies創始人:比特幣或修正至42000美元:分析師、Fairlead Strategies創始人兼執行合伙人Katie Stockton表示,每周MACD(移動平均收斂差異)滾動反映了中期動力的喪失,這增加了比特幣近期價格范圍下跌的風險。不能排除出現更大的牛市縮水的可能性,Stockton說:“我們看到42,000美元作為支撐。”(coindesk)[2021/5/13 21:55:42]
因此,審計人員或用戶需要在采取進一步行動之前仔細檢查其實際實施情況。
支持 EOA 賬戶
EIP 指出“如果實施者打算直接支持 EOA 賬戶訪問,他們應該考慮添加額外的存款/鑄幣/提款/贖回函數調用,以適應滑點損失或意外的存款/提款限制”。
中幣將于5月9日14:00正式上線Unknown Fair Object:據官方消息,中幣(ZB)將于香港時間2020年5月9日14:00上線Unknown Fair Object(UFO),并開放UFO/QC和UFO/USDT交易。UFO(Unknown Fair Object)屬于匿名幣項目,由一批隱私幣愛好者創建,基于MW協議,采用X17算法。目前處于最早期CPU挖礦階段,POW友好型礦幣,UFO是一項無邊界的項目,旨在保護我們的隱私。同時,UFO是一個匿名的區塊鏈協議,由世界各地開發人員透明地構建。?中幣(ZB)數字資產金融服務商,致力于為全球用戶打造安全、高效、專業的數字資產交易平臺。[2020/5/7]
除了滑點損失和意外的存款/取款限制外,還有另一種常見的情況:代幣在轉賬時被燒毀。一些 DeFi 應用程序使用這種機制來減少其代幣的流通供應量并抬高代幣的價格。
我們建議 ERC-4626 保險庫不允許將此類代幣存入保險庫。
使用接口作為預言機
EIP 聲明“預覽方法返回的值盡可能接近精確。出于這個原因,它們可以通過改變鏈上條件來操縱,并且并不總是可以安全地用作價格預言機。”?,并且“將轉換方法實施為使用時間加權平均價格在資產和股票之間轉換是正確的。”?
加密空間中預言機最流行的用例是使用它們來獲取代幣的價格,但智能合約需要的任何信息都可能依賴于預言機。因此,返回信息的預覽方法也可以用作預言機。盡管這似乎沒有重要的用例,但就目前而言,這個列出的潛在問題需要我們注意。減輕鏈上信息被操縱風險的一種流行方法是使用 Uniswap 引入的時間加權平均算法。
舍入問題
Vault 實施者需要仔細處理計算 Vault 份額或代幣數量以及將份額轉換為資產或將資產轉換為份額的接口的舍入方向。
規范建議,在計算向用戶發行的股份的標的代幣數量時,他/她為他/她返回的一定數量的股份提供或發送給他/她的標的代幣的數量,它應該向下舍入。
在計算用戶必須提供以接收特定數量的基礎代幣的數量或用戶必須提供以接收特定數量的股份的基礎代幣數量時,它應該四舍五入。
在計算 converTo 函數中的股份數量或基礎令牌時,規范要求保險庫實施者向下舍入以確保所有 ERC-4626 保險庫實施的一致性。
這些建議和要求確保始終有足夠數量的底層代幣用于轉移。這是審計人員在審計基于此 EIP 的保險庫實施時需要注意的事項。
- 代幣兼容性問題
該 EIP 特別提到了 ERC-20 代幣標準。它是實現可替代代幣的最廣泛采用的代幣標準。然而,在我們過去的審計經驗中,我們也審計了一些基于替代以太坊代幣標準(如 EIP-777)實施的可替代代幣。
這些替代代幣標準與 ERC-20 代幣兼容,但存在一些差異。
讓我們以 EIP-777 令牌標準為例。令牌標準允許實現者使用注冊表來查找接口。如果注冊表有錯誤,任何依賴它的東西都會產生不利影響。此功能引入的一個常見問題是重入風險 。
因此,可能存在兩種我們需要注意的場景。
第一種情況是基于 ERC-20 兼容但替代標準實施的保險庫。第二個是 ERC-4626 值,它與與 ERC-20 兼容但基于替代令牌標準實施的令牌交互。
在這兩種情況下,替代代幣標準都可能帶來問題或風險。并且應仔細審查和審核基于替代標準的實施。
結束語:
在本文中,我們列出了在審核基于 ERC-4626 的保險庫時的一些可能的安全注意事項。其中一些考慮因素已在 EIP 中提及,其他考慮因素是根據我們的審計經驗列出的。
我們希望我們的初步建議能給實施者、用戶和審計員一些關于如何安全和安全地處理 ERC-4626 保險庫的粗略想法。
參考:
EIP-4626:代幣化保險庫標準,https?://eips.ethereum.org/EIPS/eip-4626 2021 年 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
Samreen NF, Alalfi M H. 以太坊智能合約中的重入漏洞識別[C]//2020 IEEE 面向區塊鏈的軟件工程國際研討會(IWBOSE)。IEEE,2020:22-29。
目前BTC周線20均線已經死叉50均線,價格目前位于兩線下方,3月中旬啟動的爆空大反彈也未能突破站穩,48000一帶見頂后再次回落.
1900/1/1 0:00:001.DeFi代幣總市值:1240.49億美元 DeFi總市值 數據來源:coingecko2.過去24小時去中心化交易所的交易量:406.
1900/1/1 0:00:00頭條 ▌比特幣交易費用總額接近歷史最低點但算力卻持續增長金色財經報道,據區塊鏈分析公司Glassnode最新數據顯示,目前比特幣交易費用總額接近歷史最低點.
1900/1/1 0:00:00注:這是我的一篇有關 Web3 時代創作者經濟的文章,主要從技術結構的角度介紹我對 Web3 時代創作者經濟的一些思考。對于所有創作者而言,這是最好的時代.
1900/1/1 0:00:00上圖為BTC周線和MA50、100和200均線走勢,可以發現目前BTC周線已跌破50均線支撐,前期反彈未能突破站穩,我們知道50周均線在BTC一輪牛市進程中起到關鍵作用.
1900/1/1 0:00:00鑒于整體市場降溫,數字地塊的二級銷售下降了 54%,但仍比 2021 年第三季度增長了 865%。一級銷售量因新地塊(Parcel)的發行而增長 23%.
1900/1/1 0:00:00