代幣化:a16z 介紹 ERC-4626 金庫通用屬性測試：讓 DeFi 可組合性更安全_代幣化是什么BTCs是不是黃了

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

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

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

a16z將在倫敦開設辦事處:6月12日消息，a16z 發文稱，將在倫敦開設 a16z 辦事處，新辦公室定于今年晚些時候開放，由普通合伙人 Sriram Krishnan 領導，致力于在英國與歐洲發展加密貨幣與創業生態系統。同時，a16z 還計劃于 2024 年春季在倫敦舉辦下一屆 Crypto Starup School。本次在倫敦開設辦事處的到英國總理 Rishi Sunak 支持，他表示決心為這項技術釋放機會，并將英國變成世界 Web3 中心。同時，a16z 還將繼續對美國進行大量投資，并繼續致力于于美國政策制定者于監管機構合作，使其對加密貨幣初創公司的監管更加明確。[2023/6/12 21:30:56]

ERC-4626標準的背景

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

商業支付服務商Sequence獲1900萬美元種子輪融資，a16z領投:金色財經報道，商業支付服務商Sequence宣布獲得1900萬美元種子輪融資，a16z領投。Sequence總部位于倫敦，由首席執行官Riya Grover和董事長Eamon Jubbawy創立，前者曾是食品配送平臺Feedr的聯合創始人，后者是數字身份證公司Onfido的前創始人。

Sequence旨在解決商業結算和支付領域的遲鈍和笨拙，通過開發“動態”B2B計費和收款解決方案，Sequence正在提供自動化和更加簡化的定價和發票流程，并計劃利用API、數據和分析來實現這一目標。[2022/9/22 7:12:51]

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

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

a16z聯合創始人：加密貨幣對世界的改變太徹底，太底層了:金色財經報道，麥肯錫官網刊登了對a16z聯合創始人Marc Andreessen的專訪，在訪談中，Marc Andreessen分享了自己對新技術發展前景的預測，以及a16z的重點投資領域。Andreessen表示，現在，我們認為已經搜索到了三個非常有發展可能的新山，正好可以縮寫成ABC。A是AI，B是Biotech（生物科技），C是Crypto（加密貨幣）和Web3。巴菲特剛剛在奧馬哈的年度會議上抨擊了整個行業。我認為這些批評不是作秀，是發自肺腑的（visceral），但他們沒有認真思考。針對這些批評，我認為有兩種可能的解釋。

第一，他們可能是對的。也許See's Candies（巴菲特投資的糖果公司）就是未來，而不是區塊鏈。

第二，加密貨幣對世界的改變太徹底，太底層了。每當人們想到，“這是一種新的貨幣形式”，或者“這是一個關于貨幣的新理論”，甚至“這是一個跟貨幣相關的新科技”時，人們會變得緊張，變得情緒化。作為關注非共識項目，一向逆向思考的投資人，這些批評讓我們很高興。如果所有其他人都不看好，但同時我們是對的，我們投資的創始人和公司將有巨大機會。[2022/7/3 1:47:37]

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

a16z合伙人Chris Dixon：NFT 是能讓用戶真正擁有并通過互聯網隨身攜帶的虛擬商品 ?:金色財經報道，a16z合伙人Chris Dixon在推特上表示，NFT 是能讓用戶真正擁有并通過互聯網隨身攜帶的虛擬商品，使用Web 3錢包和NFT被廣泛接受可能會要一段時間，這當然是顯而易見的，如果你個人不喜歡虛擬商品，其實沒關系，但很多人都喜歡，包括我在內。有社區用戶回應稱，一旦解決了電力消耗問題，虛擬知識市場就將發揮作用，Chris Dixon還回應指出，在權益證明（PoS）網絡中電力消耗是非常小的。[2021/10/12 20:23:05]

標準一致性的挑戰

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

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

a16z正為第二支加密貨幣基金尋求4.5億美元資金:金色財經報道，硅谷投資巨頭Andreessen Horowitz（a16z）正為其第二支專注于加密貨幣的基金籌集4.5億美元資金。其中一位知情人士說，a16z可能會在大約一周內敲定新基金，但尚未對其規模設定硬性上限。據此前報道，該投資公司的第一支加密專用基金在2018年中期吸引了3.5億美元的資本承諾。[2020/4/15]

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

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

通過引入可執行的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：代幣化BTC以太坊代幣化股票代幣化綠色債券代幣化是什么BTCs是不是黃了btc錢包官網btc短線交易騙局以太坊幣是什么幣

加密貨幣