以太幣交易所 以太幣交易所
Ctrl+D 以太幣交易所
ads

a16z 介紹 ERC-4626 金庫通用屬性測試:讓 DeFi 可組合性更安全_RES

Author:

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

撰文:Daejun Park

編譯:aididiaojp.eth,Foresight News

在可預見的未來,ERC-4626 金庫有可能成為 DeFi 的重要組成部分。

隨著 DeFi 不斷發展并逐漸成熟,開發人員的首要考慮是可擴展的基礎設施和可組合性。用于構建基于以太坊的應用程序的標準化工具包 ERC 一直發揮著重要作用。例如廣泛使用的代幣標準 ERC-20 為開發人員提供一致的指導方針,讓他們無需從頭開始就可以為生態系統做出貢獻。今年早些時候,為了鼓勵收益型代幣之間的交叉兼容性,代幣化金庫標準 ERC-4626 被推出。除此之外,ERC-4626 還可以解決緊迫的可組合性問題,使協議集成更容易,減少出錯幾率。

目前已經有一些 DeFi 項目為了提高其金庫的可組合性,采用了該標準,我們預計整個生態系統將得到更廣泛的采用。然而,調整現有的金庫確實會帶來一些痛苦,至關重要的是某些實施錯誤可能被暴露,成為新的攻擊目標。即使是很小的錯誤(小到對使用界面的誤解)也會對安全和用戶體驗產生重大影響,因此還需要更多的安全工具和措施,特別是在更可組合的 DeFi 生態系統中。

如果在被攻擊之前就檢測到簡單的錯誤,則可以提供相對簡單的解決方案,理想情況下甚至在部署之前就能進行檢查。為此,我們發布了用于模糊測試和符號執行的 ERC-4626 屬性測試,以幫助金庫構建者檢測可能破壞集成或導致漏洞的標準違規行為。這篇文章解釋了激勵問題,介紹了檢測方法,并在結尾處提到一些可行的建議。

元宇宙身份平臺Ready Player Me完成5600萬美元B輪融資,a16z領投:8月23日消息,元宇宙身份平臺 Ready Player Me 完成 5600 萬美元融資,此輪融資由 a16z 領投,Roblox 的聯合創始人 David Baszucki、Twitch 聯合創始人 Justin Kan、King Games 聯合創始人 Sebastian Knutsson 和 Riccardo Zacconi、體育和娛樂公司 Endeavour、Kevin Hart 和 Hartbeat Ventures 等參投。(TechCrunch)[2022/8/23 12:43:32]

ERC-4626 標準的背景

ERC-4626 于 3 月被推出,是一套代幣化金庫的標準,旨在擴展廣泛使用的 ERC-20 標準,推動跨收益金庫的標準化,并確保需要與其交互的應用程序和協議(例如收益聚合器)的可組合性。這意味著為了與任何其他 ERC-4626 金庫一起使用,在 ERC-4626 金庫上構建的任何應用程序都可以輕松擴展。

金庫代幣化后,能夠允許用戶自由存入資產來鑄造金庫代幣,然后贖回這些代幣從金庫中提取本金和利息。這些金庫代幣是 ERC-20 代幣,可以輕松被交易或用作抵押以借入其他資產。例如,用戶可以將他們的資產存入 Yearn 金庫以鑄造 yVault 代幣,然后在 Uniswap 上進行交易、抵押以獲得額外收益,也可以用作貸款協議的抵押品。

a16z報告:DAO最好提交法律文件并進行納稅:6月3日消息,DAO的興起引發了法律上的難題,即如何正式建立一個設計上并不真正想成為實體的實體。a16z提出了一套擬議的解決方案,并于周四發布了一份報告,稱這類群體可能更適合安頓下來并繳納美國稅款。DAO將資金鎖定在一個區塊鏈上,一組參與者可以透明地朝向某個共同目標。a16z在其最近一次為DAO建立美國法律基礎的公開努力中稱,DAO需要“不要求進行真實世界的人類活動”的結構來滿足法律要求——可能有利于非法人非營利組織(UNA)和有限責任公司(LLC)。面臨的挑戰是保持DAO的去中心化,同時允許它滿足企業或非營利組織的稅務要求和其他實際需求。

a16z總顧問兼去中心化負責人Miles Jennings和參與DAO研究小組的律師David Kerr撰寫的論文稱,使用受歡迎的離岸策略來避稅可能會大大增加全球抵制的風險。美國國內結構對擁有大量美國成員和聯系方的項目的實際好處是顯而易見的,該文件總結道,并質疑在行業等待監管的同時進入免稅司法管轄區是否真的是最佳的行動方案。(CoinDesk)[2022/6/3 4:00:07]

產生、分配收益以及確定代幣價格的邏輯可能因實際情況而異。為了覆蓋盡可能多的金庫,ERC-4626 標準側重于構建用戶界面,而大部分實現細節未確定。只要金庫滿足接口的特定要求,就能夠允許業務邏輯的變化,實現跨許多不同類型的應用程序和 ERC-4626 金庫類型的互操作性。

a16z加密貨幣狀況報告:以太坊的受歡迎是一把“雙刃劍”:金色財經報道,近日,a16z發布2022年加密貨幣概括報告。加密風投基金巨頭Andreessen Horowitz(a16z)強調,盡管以太坊的交易費用很高,但其發展和加密用戶對它的需求是“無可匹敵的”。然而,該公司警告稱,鑒于以太坊優先考慮去中心化而不是擴展,其“受歡迎程度也是一把雙刃劍”,導致與其競爭的區塊鏈以“更好性能和更低費用的承諾”搶奪市場份額。除了以太坊之外,該報告關注的主題還包括Web3發展、加密貨幣采用率、去中心化金融(DeFi)和穩定幣。

根據該報告的數據,與競爭對手相比,以太坊吸引了更多開發者的興趣,因為該網絡每月約有4000名活躍開發者,而排名第二的Solana 只有1000名。比特幣和Cardano緊隨其后,大約各為500名和400名。[2022/5/18 3:24:45]

隨著越來越多的代幣化金庫被創建,我們希望看到它們從一開始就按照 ERC-4626 標準實施。但我們目前處于某種過渡階段,為了符合標準,開發人員將需要以更大可組合性的方式來更新現有的金庫、應用程序和協議,他們也面臨著許多復雜挑戰。

標準一致性的挑戰

遵循新標準并不總是那么簡單。每個 ERC-4626 金庫都必須忠實且準確地實現所描述的標準要求,否則為了應對不同的變化,集成會變得越來越復雜。這種復雜性使集成天生容易出錯。并且由于它們沒有足夠安全測試,隨著時間的推移可能會導致系統漏洞。

Yuga Labs以40億美元估值完成4.5億美元融資,a16z領投:金色財經報道,Yuga Labs(Bored Ape Yacht Club )今日宣布以40億美元估值完成新一輪4.5億美元融資,本輪融資由a16z領投,Adidas Ventures, Animoca Brands,Samsung, Google Ventures, Tiger Global,FTX Ventures,Coinbase及MoonPay等參投。同時,a16z的合伙人 Chris Lyons將加入Yuga Labs的董事會。

Yuga Labs表示,本輪融資將用于開啟游戲及并推出自己的元宇宙項目:Otherside。BAYC聯創Wylie Aronow 表示Otherside希望構建一個“游戲化”和“完全去中心化”的“可互操作世界”,同時吸引更多的NFT項目進入自己的生態中。(TechCrunch)[2022/3/23 14:12:29]

為了安全地處理不同的行為,非 ERC-20 標準代幣需要許多 DeFi 系統在執行代幣轉移時使用額外的金庫。例如 Tether USD 在執行代幣轉移時需要額外用到 SafeERC-20。

這意味著如果系統的設計不能正確處理「丟失退貨」的情況,任何與這些代幣交互的系統都可能變得脆弱。這些場景可能會引入一個常見的安全陷阱,并增加整體開發和維護成本。因此,符合標準不僅對個人至關重要,而且對整個生態系統的安全也至關重要,單個系統或依賴項中的一個漏洞就可能會導致廣泛的問題。

a16z高管計劃本周與美國國會及白宮官員會面討論Web3的監管問題:金色財經報道,10月13消息,a16z高管計劃本周與美國國會以白宮官員會面討論Web3的監管問題,包括a16z Crypto首席執行官Anthony Albanese和a16z普通合伙人兼前聯邦檢察官KatieHaun。

a16z表示,會面的官員將包括白宮、執行機構、監管機構、眾議院和參議院的最高領導人。報道稱,a16z高管將鼓勵政策制定者為這些技術制定國家戰略,并為Web3的服務和產品制定適當的法規。(CNBC)[2021/10/13 20:26:51]

理想情況下,標準將被明確地正式指定,并且每個實現都可以根據標準規范進行正式驗證。然而在實踐中需要社區的努力且需要一定的費用或時間成本,這在短時間內并不容易實現。

通過引入可執行的 ERC-4626 屬性,識別一致性問題

當我們朝著理想狀態努力,每個金庫都根據嚴格的正式規范進行了正式驗證時,為了捕捉標準要求的微妙、容易遺漏的細節中的差異,我們編寫了 ERC-4626 標準屬性。

為了檢測其實施中潛在的標準違規行為,代幣化金庫的開發人員可以在部署之前運行測試。金庫集成商可以檢查給定的金庫是否符合標準,然后再將它們集成到他們的系統中。針對已經部署在主網上的實時金庫,也可以通過主網分叉測試的方式進行測試。為了確保所有系統參數都已正確設置,尤其是在最近部署或升級的金庫,測試實時金庫可能會很有用。

為了使屬性可執行,我們用 Foundry 編寫,并由 fuzzer 運行。為了正式驗證給定的進金庫是否滿足所有可能的輸入和條件的屬性,將來它們也可能由符號執行或模型檢查工具運行。

在編寫時通用性是首先考慮的,我們希望測試可以應用于實現不同業務邏輯的各種金庫。我們只使用公共接口函數來使它們與實現細節無關。但是由于此限制,某些涉及特定于實現的內部數據的標準要求從屬性中省略了。

例如,以下屬性對應于 convert To Shares() 函數的要求之一,「不得根據調用者顯示任何變化。」

給定兩個賬戶地址和金額,它使每個賬戶以相同的金額調用 convertToShares(),并確保兩個返回值相等。此屬性獨立于實現細節 convertToShares()。這些細節因金庫的不同而異,并且必須由任何實現 ERC-4626 的金庫來滿足。在這種情況下可以通過提供特定輸入值(用于單元測試)、許多用于模糊測試的隨機輸入或用于符號執行和形式驗證的符號值來執行此屬性。它也可以在本地運行或針對主網分叉運行。

用例:測試舍入錯誤的屬性

例如舍入錯誤是一類看似輕微的但很重要的錯誤,它可能會產生一些系列影響。在 ERC-4626 的基本會計邏輯中,舍入誤差是不可避免的,例如計算要鑄造的資產數量,或要提取的資產數量,等使用定點算法實現的指令。為了安全性考慮,該標準明確指定了每個接口函數的首選舍入方向,同時未指定誤差范圍。具體來說 deposit() 和 redeem() 函數應該返回一個低于精確值的近似值,而 mint() 和 withdraw() 函數應該返回一個高于精確值的近似值。例如當前股價(即每股資產數量)為 2,那么 deposit()3 wei 的資產最多只能鑄造 1 wei 的代幣(即 floor(3/2)),而 withdraw()3 wei 的資產應該在至少 2 wei 的代幣(即 ceil(3/2))。

我們將舍入相關屬性編寫為獨立于基礎會計邏輯,并將其視為「黑匣子」。具體來說我們將它們表述為所謂的「往返」屬性,它描述了兩個相反函數之間的關系。例如以下屬性規定,通過鑄造 N 股來提取剛剛托管的資產必須燃燒不少于 N 股。換句話說,沒有人可以通過反復鑄造和提現來反復轉換資產和金庫代幣來獲利。

事實上,我們發現主網上的幾個 ERC-4626 保險庫由于舍入錯誤而無法滿足上述屬性。這意味著任何人都可以通過簡單的反復鑄造和提取,慢慢地耗盡金庫來賺取 satoshi BTC(在撰寫本文時為 1 satoshi ~= 0.02 美分)。在低 Gas 費的鏈如 Fantom 上可能會實現獲利,或者在價格上漲時也會獲利。

ERC-4626 標準的廣泛測試

我們在主網上約 100 個 ERC-4626 金庫進行了屬性測試,發現許多金庫未能遵循標準要求。其中的主要原因是舍入錯誤。具體來說 mint() 函數盡管標準明確要求這樣做,但某些金庫未能鑄造該函數請求的確切份額數量。其中一些還發出了不一致的 Deposit 事件,其中記錄的數據與實際生成的數據不同,甚至有些金庫根本就沒有進行現場鑄造過。相反他們只是將鑄幣請求放入隊列中,稍后將它們作為單獨的事務分批處理。

盡管這些不同的行為本身是不可利用的,但當它們集成到只執行標準行為的其他系統中時,它們可能會變得容易受到攻擊。這些問題將使金庫集成變得更加困難,可能會抵消一部分努力。

屬性測試和其他可操作的步驟實現標準一致性

在部署之前嚴格遵循標準可以防止出現不同的行為。我們希望我們的屬性和一些額外的操作項對于那些正在開發或集成 ERC-4626 金庫的人能夠提供幫助:

我們強烈建議對您的金庫運行屬性測試。如果有任何明顯違反標準的行為,問題會很快被發現。

我們還建議檢查我們的屬性,以檢查您對標準要求的理解,如果有任何無意的差異,請調整實施方案。

如果金庫必須偏離標準,我們建議明確記錄非標準行為,以便其他人在與金庫集成時可以正確處理這些偏差。

小結

在可預見的未來,ERC-4626 金庫有可能成為 DeFi 的重要組成部分。為了保持可組合性,新的和現有的金庫都必須遵循該標準。新的標準將出現,因此現在是現有金庫標準化的最佳時機。

當我們朝著不同金庫統一組合的理想狀態努力時,可以運行 ERC-4626 屬性測試以更輕松地檢測金庫實施中的標準違規行為。屬性測試的文檔和示例都在我們的 Github 存儲庫中公開可用。

Foresight News

企業專欄

閱讀更多

金色早8點

1435Crypto

區塊律動BlockBeats

吳說區塊鏈

金色財經

比推 Bitpush News

blockin

Block unicorn

Odaily星球日報

Bankless

DeFi之道

Tags:RESEFIDEFIDEFTheresa May Coinmefi幣交易所PieDAO DEFIDEFLY

芝麻開門交易所
Web3.0 社交協議:誰將突圍?_ENS

主要觀點 到目前為止,10 月份 Lens 擁有 20,000 名活躍用戶,這是該協議的歷史最高水平,是 Farcaster 的近 8 倍;雖然 Lens 的整體參與度更高.

1900/1/1 0:00:00
金色Web3.0日報 | 歐盟專員呼吁加密業界就DeFi法規提出建議_NFT

DeFi數據 1、DeFi代幣總市值:455.7億美元 DeFi總市值及前十代幣 數據來源:coingecko2、過去24小時去中心化交易所的交易量33.

1900/1/1 0:00:00
投資機構青睞的SocialFi 有哪些項目值得期待?_WEB

原文標題:《投資機構青睞的 SocialFi,有哪些項目值得期待?》原文作者:@0xCryptoUni、@SylviaOU1.

1900/1/1 0:00:00
晚間必讀 | 香港發布有關虛擬資產發展的政策宣言_區塊鏈

本宣言由財經事務及庫務局(“財庫局” )發出,就在香港發展蓬勃的虛擬資產行業和生態圈,闡明政府的政策立場和方針.

1900/1/1 0:00:00
哲學家和程序員眼中的web3:密碼學、分布式與博弈論_WEB

作者:Fishylosopher本文將從意識形態的角度對web3進行“豎向”介紹,并闡述Web3的三大基礎原則.

1900/1/1 0:00:00
金色觀察 | 一文全面了解鏈上身份生態版圖_BSP

文/Kerman Kohli,天使投資人;譯/金色財經xiaozou過去兩年,我幾乎把所有清醒的時間都用來思考關于鏈上身份的問題,以及如何讓其成為現實.

1900/1/1 0:00:00
ads