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

撰文：DaejunPark

編譯：aididiaojp.eth，ForesightNews

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

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

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

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

美國參議院銀行主席敦促FDIC調查由A16z支持的金融科技公司Tellus:金色財經報道，美國參議院銀行、住房和城市事務委員會主席、美國參議員謝羅德·布朗致信FDIC 主席馬丁·格倫伯格，表達了對 Tellus 索賠的擔憂。在信中，布朗敦促 FDIC 審查 Tellus 的商業行為，以確保客戶免受金融欺詐和濫用。Tellus 是一家由 Andreessen Horowitz 支持的金融科技公司，聲稱它可以通過使用這筆錢為某些美國單戶住宅貸款提供資金來為人們提供更高的儲蓄余額收益率。[2023/5/5 14:43:19]

ERC-4626標準的背景

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

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

a16z：SEC提出的交易所定義過于寬泛可能會抑制web3創新:金色財經消息，AndreessenHorowitz（a16z）針對SEC提交的交易法提案提交了一封評論信。a16z在信中反對 SEC 提出的交易所定義，認為其過于寬泛并可能會抑制 web3的創新。具體來說，a16z認為它并不適用于DeFi協議，并斷言如果它適用，則會受到行政程序法的重大缺陷的影響。

對此a16z呼吁SEC建設性地與web3創新者接觸，以保護投資者并促進這一至關重要的技術的創新。[2022/4/19 14:33:07]

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

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

a16z合伙人Chris Dixon：Twitter或Discord這樣的消息服務應建立在開源協議上:金色財經報道，a16z合伙人Chris Dixon在推特上發文稱，諸如Twitter或Discord這樣的消息服務應建立在開源協議上，就像電子郵件E-mail一樣。但是，也許有人會問，建立在開源協議上的消息服務如何盈利呢？Chris Dixon認為，如今在開源的SMTP協議（當然還有HTTP協議）上已經構建了數千億美元的業務，因此不用擔心盈利問題；對于“出現類似垃圾郵件和其他壞事情”這個問題，Chris Dixon表示，與 SMTP 和 HTTP 開源協議一樣，我們有合法的系統，加上合規提供者（gmail 等）可以過濾（但由于用戶轉換成本低而被限制變壞）。還有人質疑，既然開源協議這么好，為什么這么多年沒有奏效呢？Chris Dixon解釋說，對于最終可行的技術，大多數人都會有這樣的想法。實際上，如今互聯網已經有許多創新工具了，比如在互聯網上出現了新的存儲信息方法，可以讓用戶控制信息而不是由企業控制信息，也有利用開放協議來募集資金的創新方法。[2021/12/1 12:42:30]

標準一致性的挑戰

Web3及加密通信協議XMTP完成2000萬美元A輪融資，a16z領投，Coinbase Ventures等參投:9月1日，Web3及加密通信協議XMTP宣布完成2000萬美元A輪融資，a16z領投，Coinbase Ventures、Not Boring Capial、SK Ventures、Offline Ventures、StarkWare、Anthony Pompliano、Anthony Sassano (The Daily Gwei)、Kain Warwick (Synthetix)、Kayvon Beykpour (Twitter)、Stani Kulechov (Aave)、Robert Leshner (Compound Labs)、Roham Gharegozlou (Dapper Labs)、Ryan Sean Adams (Bankless)、Ryan Selkis (Messari) 等基金與天使投資人參投。

據悉，這筆資金將用于擴充 XMTP 團隊規模，并將幫助 XMTP 通過其獨立協議和去中心化網絡實現加密錢包間的通信。[2021/9/1 22:51:44]

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

動態 | 風投機構A16z或將對加密貨幣等高風險資產投入10億美元:據福布斯消息，硅谷風投Andreessen Horowitz（A16Z）在進行一些內部調整后，或將在加密貨幣或其他數字資產等風險更高的投資上投入多達10億美元。創始人Marc AndreessenBen Horowitz表示，其已將150名員工全部注冊為財務顧問，以便讓他們能夠進行更大的押注，并加大對加密貨幣等高風險資產類別的投資。[2019/4/3]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ERC-4626標準的廣泛測試

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

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

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

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

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

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

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

小結

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

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

Tags：WITRESDEFIDEFSHIBAWITCHares幣有發展前景嗎DefinexDEFLY

火必APP