🎉【Gate 3000萬紀念】曬出我的Gate時刻,解鎖限量好禮!
Gate用戶突破3000萬!這不僅是數字,更是我們共同的故事。
還記得第一次開通帳號的激動,搶購成功的喜悅,或陪伴你的Gate週邊嗎?
📸 參與 #我的Gate时刻# ,在Gate廣場曬出你的故事,一起見證下一個3000萬!
✅ 參與方式:
1️⃣ 帶話題 #我的Gate时刻# ,發布包含Gate元素的照片或視頻
2️⃣ 搭配你的Gate故事、祝福或感言更佳
3️⃣ 分享至Twitter(X)可參與瀏覽量前10額外獎勵
推特回鏈請填表單:https://www.gate.com/questionnaire/6872
🎁 獨家獎勵:
🏆 創意大獎(3名):Gate × F1紅牛聯名賽車模型一輛
👕 共創紀念獎(10名): 國際米蘭同款球員衛衣
🥇 參與獎(50名):Gate 品牌抱枕
📣 分享獎(10名):Twitter前10瀏覽量,送Gate × 國米小夜燈!
*海外用戶紅牛聯名賽車折合爲 $200 合約體驗券,國米同款球衣折合爲 $50 合約體驗券,國米小夜燈折合爲 $30 合約體驗券,品牌抱枕折合爲 $20 合約體驗券發放
🧠 創意提示:不限元素內容風格,曬圖帶有如Gate logo、Gate色彩、週邊產品、GT圖案、活動紀念品、活動現場圖等均可參與!
活動截止於7月25日 24:00 UTC+8
3
以太坊The Splurge階段: EVM優化、帳戶抽象和EIP-1559升級展望
以太坊協議的可能未來(六):The Splurge
以太坊協議設計中有許多"細節"對其成功至關重要。實際上,約一半的內容涉及不同類型的EVM改進,其餘部分則由各種小衆主題構成,這就是"繁榮"的意義所在。
繁榮:關鍵目標
EVM改進
解決了什麼問題?
目前的EVM難以進行靜態分析,這使得創建高效實現、正式驗證代碼和進行進一步擴展變得困難。此外,EVM的效率較低,難以實現許多形式的高級密碼學,除非通過預編譯顯式支持。
它是什麼,如何運作?
當前EVM改進路線圖的第一步是EVM對象格式(EOF),計劃在下一個硬分叉中納入。EOF是一系列EIP,指定了一個新的EVM代碼版本,具有許多獨特的特徵,最顯著的是:
舊式合約將繼續存在並可創建,盡管最終可能會逐步棄用舊式合約(甚至可能強制轉換爲EOF代碼)。新式合約將受益於EOF帶來的效率提升——首先是通過子例程特性稍微縮小的字節碼,隨後則是EOF特定的新功能或減少的gas成本。
在引入EOF後,進一步的升級變得更加容易,目前發展最完善的是EVM模塊算術擴展(EVM-MAX)。EVM-MAX創建了一組專門針對模運算的新操作,並將其放置在一個無法通過其他操作碼訪問的新內存空間中,這使得使用諸如Montgomery乘法等優化成爲可能。
一個較新的想法是將EVM-MAX與單指令多數據(SIMD)特性結合,SIMD作爲以太坊的一個理念已經存在很長時間,最早由Greg Colvin的EIP-616提出。SIMD可用於加速許多形式的密碼學,包括哈希函數、32位STARKs和基於格的密碼學,EVM-MAX和SIMD的結合使得這兩種性能導向的擴展成爲自然的配對。
現有研究連結
剩下的工作及權衡
目前,EOF計劃在下一個硬分叉中納入。盡管總是有可能在最後一刻移除它——之前的硬分叉中曾有功能被臨時移除,但這樣做將面臨很大挑戰。移除EOF意味着未來對EVM的任何升級都需在沒有EOF的情況下進行,雖然可以做到,但可能更困難。
EVM的主要權衡在於L1復雜性與基礎設施復雜性,EOF是需要添加到EVM實現中的大量代碼,靜態代碼檢查也相對復雜。然而,作爲交換,我們可以簡化高級語言、簡化EVM實現以及其他好處。可以說,優先考慮以太坊L1持續改進的路線圖應包括並建立在EOF之上。
需要做的一項重要工作是實現類似EVM-MAX加SIMD的功能,並對各種加密操作的gas消耗進行基準測試。
如何與路線圖的其他部分交互?
L1調整其EVM使得L2也能更容易地進行相應調整,如果二者不進行同步調整,可能會造成不兼容,帶來不利影響。此外,EVM-MAX和SIMD可以降低許多證明系統的gas成本,從而使L2更加高效。它還使得通過用可以執行相同任務的EVM代碼替代更多的預編譯變得更加容易,可能不會大幅影響效率。
帳戶抽象
解決了什麼問題?
目前,交易只能通過一種方式進行驗證:ECDSA籤名。最初,帳戶抽象旨在超越這一點,允許帳戶的驗證邏輯爲任意的EVM代碼。這可以啓用一系列應用:
允許隱私協議在沒有中繼的情況下工作,顯著降低其復雜性,並消除一個關鍵的中央依賴點
自2015年帳戶抽象提出以來,其目標也擴展到了包括大量"便利目標",例如,某個沒有ETH但擁有一些ERC20的帳戶能夠用ERC20支付gas。
MPC(多方計算)是一種已有40年歷史的技術,用於將密鑰分成多個部分並存儲在多個設備上,利用密碼學技術生成籤名,而無需直接組合這些密鑰部分。
EIP-7702是計劃在下一個硬分叉中引入的一項提案,EIP-7702是對提供帳戶抽象便利性以惠及所有用戶(包括EOA用戶)的日益認識的結果,旨在在短期內改善所有用戶的體驗,並避免分裂成兩個生態系統。
該工作始於EIP-3074,並最終形成EIP-7702。EIP-7702將帳戶抽象的"便利功能"提供給所有用戶,包括今天的EOA(外部擁有帳戶,即受ECDSA籤名控制的帳戶)。
它是什麼,如何運作?
帳戶抽象的核心是簡單的:允許智能合約發起交易,而不僅僅是EOA。整個復雜性來自於以一種對維護去中心化網路友好的方式實現這一點,並防範拒絕服務攻擊。
一個典型的關鍵挑戰是多重失效問題:
如果有1000個帳戶的驗證函數都依賴於某個單一值S,並且當前值S使得內存池中的交易都是有效的,那麼有一個單一交易翻轉S的值可能會使內存池中的所有其他交易失效。這使得攻擊者能夠以極低的成本向內存池發送垃圾交易,從而堵塞網路節點的資源。
經過多年的努力,旨在擴展功能的同時限制拒絕服務(DoS)風險,最終得出了實現"理想帳戶抽象"的解決方案:ERC-4337。
ERC-4337的工作原理是將用戶操作的處理分爲兩個階段:驗證和執行。所有驗證首先被處理,所有執行隨後被處理。在內存池中,只有當用戶操作的驗證階段只涉及其自身帳戶並且不讀取環境變量時,才會被接受。這可以防止多重失效攻擊。此外,對驗證步驟也強制實施嚴格的gas限制。
ERC-4337被設計爲一種額外協議標準(ERC),因爲在當時以太坊客戶端開發者專注於合並(Merge),沒有額外的精力來處理其他功能。這就是爲什麼ERC-4337使用了名爲用戶操作的對象,而不是常規交易。然而,最近我們意識到需要將其中至少部分內容寫入協議中。
兩個關鍵原因如下:
此外,ERC-4337還擴展了兩個功能:
現有研究連結
剩下的工作及權衡
目前主要需要解決的是如何將帳戶抽象完全引入協議,最近受到歡迎的寫入協議帳戶抽象EIP是EIP-7701,該提案在EOF之上實現帳戶抽象。一個帳戶可以擁有一個單獨的代碼部分用於驗證,如果帳戶設置了該代碼部分,則該代碼將在來自該帳戶的交易的驗證步驟中執行。
這種方法的迷人之處在於,它清晰地表明了本地帳戶抽象的兩種等效視角:
如果我們從對驗證期間可執行代碼復雜性設定嚴格界限開始——不允許訪問外部狀態,甚至在初期設定的gas限制也低到對量子抗性或隱私保護應用無效——那麼這種方法的安全性就非常明確:只是將ECDSA驗證替換爲需要相似時間的EVM代碼執行。
然而,隨着時間的推移,我們需要放寬這些界限,因爲允許隱私保護應用在沒有中繼的情況下工作,以及量子抗性都是非常重要的。爲此,我們需要找到更靈活地解決拒絕服務(DoS)風險的方法,而不要求驗證步驟必須極度簡約。
主要的權衡似乎是"快速寫入一種讓較少人滿意的方案"與"等待更長時間,可能獲得更理想的解決方案",理想的方法可能是某種混合方法。一種混合方法是更快地寫入一些用例,並留出更多時間來探索其他用例。另一種方法是在L2上首先部署更雄心勃勃的帳戶抽象版本。然而,這面臨的挑戰是,L2團隊需要對採用提案的工作充滿信心,才能願意進行實施,尤其是要確保L1和/或其他L2未來能夠採用兼容的方案。
我們還需要明確考慮的另一個應用是密鑰存儲帳戶,這