隨著DeFi不斷發展并逐漸成熟,開發人員的首要考慮是可擴展的基礎設施和可組合性。用于構建基于以太坊的應用程序的標準化工具包ERC一直發揮著重要作用。例如廣泛使用的代幣標準ERC-20為開發人員提供一致的指導方針,讓他們無需從頭開始就可以為生態系統做出貢獻。今年早些時候,為了鼓勵收益型代幣之間的交叉兼容性,代幣化金庫標準ERC-4626被推出。除此之外,ERC-4626還可以解決緊迫的可組合性問題,使協議集成更容易,減少出錯幾率。目前已經有一些DeFi項目為了提高其金庫的可組合性,采用了該標準,我們預計整個生態系統將得到更廣泛的采用。然而,調整現有的金庫確實會帶來一些痛苦,至關重要的是某些實施錯誤可能被暴露,成為新的攻擊目標。即使是很小的錯誤也會對安全和用戶體驗產生重大影響,因此還需要更多的安全工具和措施,特別是在更可組合的DeFi生態系統中。如果在被攻擊之前就檢測到簡單的錯誤,則可以提供相對簡單的解決方案,理想情況下甚至在部署之前就能進行檢查。為此,我們發布了用于模糊測試和符號執行的ERC-4626屬性測試,以幫助金庫構建者檢測可能破壞集成或導致漏洞的標準違規行為。這篇文章解釋了激勵問題,介紹了檢測方法,并在結尾處提到一些可行的建議。ERC-4626標準的背景
a16z在美CFTC訴Ooki DAO案中稱:監管應用程序而非協議是雙贏選擇:11月2日消息,a16z總法律顧問Miles Jennings在推特上表示:“a16z已在美國商品期貨交易委員會(CFTC)訴Ooki DAO案中提交了法庭之友簡報,并主要關注‘CFTC應該監管應用程序,而不是協議’這一觀點的原因,根據美國聯邦法案,為非法人團體提供有效服務要求CFTC聲稱團體的成員具有‘共同的合法目的’,而CFTC并沒有聲稱Ooki DAO有合法的目的,盡管他們確實有一個合法目的,即管理Ooki Protocol。最終,這種方法將使CFTC既能追究不良行為者的責任,又能保護Web3和它的良好行為者。換句話說,這是雙贏的。”[2022/11/2 12:09:28]
ERC-4626于3月被推出,是一套代幣化金庫的標準,旨在擴展廣泛使用的ERC-20標準,推動跨收益金庫的標準化,并確保需要與其交互的應用程序和協議的可組合性。這意味著為了與任何其他ERC-4626金庫一起使用,在ERC-4626金庫上構建的任何應用程序都可以輕松擴展。金庫代幣化后,能夠允許用戶自由存入資產來鑄造金庫代幣,然后贖回這些代幣從金庫中提取本金和利息。這些金庫代幣是ERC-20代幣,可以輕松被交易或用作抵押以借入其他資產。例如,用戶可以將他們的資產存入Yearn金庫以鑄造yVault代幣,然后在Uniswap上進行交易、抵押以獲得額外收益,也可以用作貸款協議的抵押品。產生、分配收益以及確定代幣價格的邏輯可能因實際情況而異。為了覆蓋盡可能多的金庫,ERC-4626標準側重于構建用戶界面,而大部分實現細節未確定。只要金庫滿足接口的特定要求,就能夠允許業務邏輯的變化,實現跨許多不同類型的應用程序和ERC-4626金庫類型的互操作性。隨著越來越多的代幣化金庫被創建,我們希望看到它們從一開始就按照ERC-4626標準實施。但我們目前處于某種過渡階段,為了符合標準,開發人員將需要以更大可組合性的方式來更新現有的金庫、應用程序和協議,他們也面臨著許多復雜挑戰。標準一致性的挑戰
a16團隊成員等提出新的MakerDAO代幣經濟模型提案:金色財經報道,據MakerDAO論壇公告,a16z團隊成員與RIpplewoodAdvisors成員@luca_pro共同提出新的MakerDAO代幣經濟模型提案。重點包括:(1)通過鏈下融資結構中的額外資本緩沖為MKR代幣創建新用例;建立二級計息保險基金,作為二級盈余緩沖的補充層;對MakerDAO中的某些拍賣實施支持MKR的激勵措施。(2)通過新的MKR質押獎勵系統,提升投票參與度和一致性;為核心單位提供更大的運營靈活性,減少投票要求;通過社區撥款創建新的MakerDAO治理儀表板。以及(3)增加系統盈余緩沖等。[2022/3/24 14:14:22]
遵循新標準并不總是那么簡單。每個ERC-4626金庫都必須忠實且準確地實現所描述的標準要求,否則為了應對不同的變化,集成會變得越來越復雜。這種復雜性使集成天生容易出錯。并且由于它們沒有足夠安全測試,隨著時間的推移可能會導致系統漏洞。為了安全地處理不同的行為,非ERC-20標準代幣需要許多DeFi系統在執行代幣轉移時使用額外的金庫。例如TetherUSD在執行代幣轉移時需要額外用到SafeERC-20。這意味著如果系統的設計不能正確處理「丟失退貨」的情況,任何與這些代幣交互的系統都可能變得脆弱。這些場景可能會引入一個常見的安全陷阱,并增加整體開發和維護成本。因此,符合標準不僅對個人至關重要,而且對整個生態系統的安全也至關重要,單個系統或依賴項中的一個漏洞就可能會導致廣泛的問題。理想情況下,標準將被明確地正式指定,并且每個實現都可以根據標準規范進行正式驗證。然而在實踐中需要社區的努力且需要一定的費用或時間成本,這在短時間內并不容易實現。通過引入可執行的ERC-4626屬性,識別一致性問題
彭博社:OpenSea正與a16z等機構討論新一輪募資,估值超120億美元:12月6日消息,據彭博社報道,OpenSea創始人兼首席執行官DevinFinzer證實,該公司正在與投資者討論籌集額外資金的問題,其中包括A16Z、FoundersFund、Coinbase和Blockchain Capital。
熟悉談判的人士表示,投資者正尋求以120億美元以上的估值投資約10億美元。OpenSea在今年7月份籌集第二輪資金時,投資者對其估值為15億美元。[2021/12/6 12:54:54]
當我們朝著理想狀態努力,每個金庫都根據嚴格的正式規范進行了正式驗證時,為了捕捉標準要求的微妙、容易遺漏的細節中的差異,我們編寫了ERC-4626標準屬性。為了檢測其實施中潛在的標準違規行為,代幣化金庫的開發人員可以在部署之前運行測試。金庫集成商可以檢查給定的金庫是否符合標準,然后再將它們集成到他們的系統中。針對已經部署在主網上的實時金庫,也可以通過主網分叉測試的方式進行測試。為了確保所有系統參數都已正確設置,尤其是在最近部署或升級的金庫,測試實時金庫可能會很有用。為了使屬性可執行,我們用Foundry編寫,并由fuzzer運行。為了正式驗證給定的進金庫是否滿足所有可能的輸入和條件的屬性,將來它們也可能由符號執行或模型檢查工具運行。在編寫時通用性是首先考慮的,我們希望測試可以應用于實現不同業務邏輯的各種金庫。我們只使用公共接口函數來使它們與實現細節無關。但是由于此限制,某些涉及特定于實現的內部數據的標準要求從屬性中省略了。例如,以下屬性對應于convertToShares()函數的要求之一,「不得根據調用者顯示任何變化。」給定兩個賬戶地址和金額,它使每個賬戶以相同的金額調用convertToShares(),并確保兩個返回值相等。此屬性獨立于實現細節convertToShares()。這些細節因金庫的不同而異,并且必須由任何實現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]
a16z宣布成立22億美元的第三只加密貨幣基金:AndreessenHorowitz(a16z)宣布成立一只22億美元的加密貨幣基金。目前該風險投資巨頭已通過兩只早期基金管理8.65億美元的資金,其加密資產資管規模(AUM)已超過30億美元。(福布斯)[2021/6/24 0:03:41]
用例:測試舍入錯誤的屬性
例如舍入錯誤是一類看似輕微的但很重要的錯誤,它可能會產生一些系列影響。在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存儲庫中公開可用。原地址
10月15日,V神在個人社交平臺發文:「應該有人做一個名為「THE協議」的項目,這樣項目方就可以援引任何人的言論來喊單了」。因為「The」是英文中的定冠詞,必須放在所有項目名字之前.
1900/1/1 0:00:00CoinList曾在2020年春季推出了CoinListSeed。作為與早期加密貨幣項目方與全球CoinList社區聯系的平臺,CoinListSeed能夠為入選的項目提供超過1000萬用戶的社.
1900/1/1 0:00:00Web3革命已經掀起,但從Web2邁進Web3的用戶似乎并沒有我們想象的多。不久前,RedpointVentures總經理TomaszTunguz在DuneCon2022大會中表示,各主流公鏈每.
1900/1/1 0:00:00數據治理是當今世界的熱門話題之一,這已不是什么新鮮事。隨著有大量數據每天被生成和分享,平臺/企業/組織對于跟蹤所有數據并確保正確使用數據的需求越來越大.
1900/1/1 0:00:00加密市場從今年4月以來逐漸進入到熊市,也進一步引發了NFT、DeFi、GameFi等眾多板塊下行發展.
1900/1/1 0:00:00作者授權深潮TechFlow編譯發布,由TechFlow志愿者ArenaWang完成。向蘇格拉底法致敬.
1900/1/1 0:00:00