以太幣交易所 以太幣交易所
Ctrl+D 以太幣交易所
ads
首頁 > UNI > Info

以太坊賬號抽象ERC4337的過審方案解讀_ION

Author:

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

前言

在2023.3.1號丹佛的WalletCon上,官宣由以太坊基金會開發人員設計實現的ERC-4337的核心合約已經通過了OpenZeppelin的審計,通過各項測試,目前審計后的合約已經順利部署在以太坊主網以及若干測試網,后續可在各EVM兼容鏈上運作包括Polygon、Optimism、Arbitrum、BNBSmartChain、Avalanche和GnosisChain等。

本文將梳理4337標準的實現機制、審計報告結論與最新行業進展

1、賬號抽象的背景

1.1、為什么產權分離是賬戶抽象的目標?

目前在以太坊中有兩種賬戶,分別為外部賬戶和合約賬戶。外部賬戶的所有權和簽名權理論上是同一個體單位持有的;簡單來講,持有私鑰的人不只擁有這個賬戶的「所有權」,同時還有權利「簽名轉移所有資產」。所以當前以太坊上所有權和簽名權是一體的,這樣的外部賬戶設計可能會衍伸出一些值得討論的問題:

私鑰難保護:用戶失去私鑰意味著地失去所有資產。簽名算法少:原生協議在驗證交易上只能使用ECDSA簽名和驗簽算法。簽名權限高:無原生多簽,單簽即可執行任意操作多幣種受限:交易手續費只能通過ETH支付,并不支持批量交易。交易隱私泄露:一對一交易容易分析賬戶持有者的隱私信息。其次單純的合約錢包也有一定問題:

對合約錢包的操作必須由EOA發起,每筆交易將多消耗21000Gas。。需要EOA有足夠的ETH來支付Gas,或者依靠Relayer支付Gas。上訴的約束讓普通用戶很難使用以太坊:

第四屆Reply Investment Challenge首次聚焦數字資產、加密貨幣和區塊鏈:金色財經報道,第四屆 Reply Investment Challenge 拉開帷幕,首次聚焦數字資產、加密貨幣和區塊鏈。針對學生和年輕專業人士,2022 年國際在線競賽有來自全球 95 個國家的 13,750 名參賽者,總操作量達 36,000 次。參與者將能夠在受保護的環境中練習到 5 月 5 日,擴展他們對數字金融工具,特別是加密貨幣以及區塊鏈作為支持技術的知識。每個玩家將擁有的 100 萬歐元虛擬資本將在注冊時可用,所有交易將按當前市場價值進行。[2023/4/9 13:52:40]

首先,使用以太坊上的任何應用,用戶都必須持有以太其次,用戶需要處理復雜的費用邏輯,Gasprice、Gaslimit、事務阻塞這些概念對用戶來說過于復雜。最后,雖然許多區塊鏈錢包或應用試圖通過產品優化提高用戶體驗,但它們的實際效果甚微。破局之道在于實現賬戶抽象,將所有權和簽名權解耦,從而才能逐個解決上述問題

拓展閱讀:

以太坊賬戶抽象萬字研報:拆解10個相關EIP提案與沖擊千萬級日活用戶瓶頸的七年之路

雖然也有出現若干折中方案,如多簽錢包和無需Gas的元交易機制,接下來咱們展開探討。

1.2、EIP-4337與折中方案對比

1.2.1、折中1-多簽合約錢包方案

多簽錢包,即用智能合約實現多簽功能的錢包合約賬戶。以Safe多簽錢包為例,可以設定錢包的多簽規則,如三人共管、兩人簽名可執行交易,而Argent錢包的做法也類似,創新點是引入所謂的監護人機制,對用戶更友好,用戶可以設定其他EOA賬戶或郵件/手機作為監護人,監護人可以許可交易、鎖定錢包、協助恢復錢包。這樣的做法給用戶帶來了便利,但由于它的錢包軟件、錢包合約及后端程序的功能很復雜,它的方案很難成為行業通行的標準做法。

Read2N宣布完成200萬美元種子輪融資:金色財經報道,Web3去中心化閱讀應用與內容版權NFT交易平臺Read2N宣布完成200萬美元種子輪融資,由Chain Capital、LinkVC、火鳳資本、以及數位互聯網與科技行業成功創業者共同投資。[2022/12/23 22:03:19]

總之,這里很多的優點都源于合約本身的高度定制能力,同樣的缺點則是依賴于EOA賬戶做管理員來驅動,這本質是簽名算法的局限性。

相比之下對比傳統多簽合約錢包的方案,4337的優勢則是可以自定義簽名算法。這里的簽名只需和合約中簽名的算法綁定的,而簽名這件事本身可以有多種算法實現,不同算法性能和交互模式不同,而這將帶來的核心變化是,如更好的將簽名的功能轉入手機設備端實現從而實現便攜的硬件錢包。這點主要的挑戰是安卓等設備開放性過高,不可能私鑰存手機,需要單獨的簽名芯片等。

1.2.2、折中2-元交易標準

這點優化折中針對的是用戶執行鏈上行為必須依賴已有ETH作為手續費,采用元交易標準后

用戶體驗上:用戶雖然賬戶中沒有ETH,但可仍通過網?界面鑄造NFT:用戶僅需簽即可,我們創建交易、為之代付燃料費、將之提交上鏈執行。

幕后執行上:

用戶對結構化數據進行簽名,這個數據與簽名是要求NFT合約鑄造一個NFT給他數據與簽名被發送給中繼器鏈下中繼器向鏈上發起交易,送到鏈上可信的傳遞者合約(Forwarder)而NFT合約是定制的,會將這樣方式傳遞的交易中的原始發起者視為是用戶,而非msg.sender因此在最終的NFT合約中,執行的NFTMint得到的對象就不是原始標準中的交易發起者了

Coinbase副總裁:提升加密貨幣信心需要“監管護欄”:金色財經報道,Coinbase負責國際政策的副總裁Tom Duff Gordon在采訪中表示,英國需要加強對加密貨幣的監管,以使公眾有信心在 FTX 崩盤后重返加密行業。Gordon稱,當然,如果以英國為例,恢復信心的一種方法是引入并加速一些基本的監管護欄,雖然監管機構可能并不總是像政府希望的那樣迅速行動,但Coinbase一直在通過議會小組就加密貨幣和其他事件與英國議員進行接觸。[2022/12/7 21:26:49]

例如最近火熱的Lens免gas方案,就是非常標準的元交易執行模式,已經累計有上千萬筆代付交易了

這個方案是有效的,但有兩個缺點:

它引入了一個我們必須信任的鏈下?色中繼器。如果他宕機了,或者有作惡的動機,則可能存在?險。我們最終交互的合約必須定制。這導致而無法與鏈上已經存在的、未定制的合約進行交互,這大幅減少能夠適用的范圍。為什么用這么多篇幅來講述合約錢包和元交易呢?因為4337的實現里本身幾乎就能涵蓋上述的優點

拓展閱讀:

EIP-4337標準智能錢包實踐研究報告:全景式呈現4337標準實例實現過程及機遇探討

https://research.web3caff.com/zh/archives/4660

2、為什么4337可以實現產權分離?

薩爾瓦多反腐敗組織:薩爾瓦多開發銀行拒絕透露政府比特幣購買記錄:11月1日消息,薩爾瓦多反腐敗法律咨詢中心(ALAC)發推文稱,薩爾瓦多開發銀行BANDESAL曾兩次拒絕透露有關政府購買比特幣的記錄信息。 ALAC批評薩爾瓦多開發銀行的舉動,稱保密性限制了公民獲取和接收BANDESAL使用公共資金開展的行動信息的可能性。(Decrypt)[2022/11/1 12:04:20]

現在在去中心化的領域是不存在免費的信任,身份驗證必須基于密碼學證明,所以無論哪種提案都是需要管理某種意義的私鑰,而要實現體驗上的折中,首要打破的就是目前賬戶權限的過于集中,整體改造方式按針對的對象或者環節可以分成三種大方向:

改造鏈上交易類型改造鏈上主體對象改造上鏈交易打包過程在下圖,EIP-4337方案納入了最新路線圖,這也宣告著以太坊最終在這兩條路徑中做出了決定。

EIP-4337是迄今為止是AA的最佳方案。

被選用的核心原因是EIP-4337?完全避免了共識層協議更改,使用標準中提出了新的事務對象?UserOperation,用戶將此對象發送到內存池中由?bundlers?從礦工維度批量打包交付合約執行交易事務。是個任何人可以開發鏈上合約,任何人可以自運行捆綁器的去中心化模式。

2.1、4337運作原理

后續深入理解最新進展所面臨的難題和挑戰還是需要先理解原理,咱們從涉及的角色,分工,對照傳統交易的執行流程來梳理。

Meta元宇宙社交平臺Horizon Worlds增加成人內容分區:金色財經報道,社交媒體巨頭Meta表示,旗下元宇宙社交平臺Horizon Worlds在“對每個人都安全和受歡迎的環境”方面存在問題,目前正在進一步加強對Horizon Worlds內容類型的管理分級。對于用戶在所述元宇宙平臺創建的體驗,這家公司現提供了一個“18歲以上”標簽,即非18歲以上用戶不允許訪問。Horizon Worlds還更新了相關的條款頁面,創作者必須手動標記體驗對訪客而言是否足夠成熟或安全,否則默認情況會把群體限制在18歲及以上。(The Verge)[2022/7/23 2:32:59]

2.1.1、4337標準涉及的角色

ERC-4337有五個主要組成部分:?UserOperation、Bundler、EntryPoint、WalletContract?和?PaymasterContract。

UserOperations用戶操作對象,是用于與合約賬戶執行交易的偽交易對象。這些是由創建者的應用程序所創建的。Bundlers捆綁器,可能是某個礦工,從內存池中打包UserOperations并將它們發送到區塊鏈上的EntryPoint合約的參與者。EntryPoint入口點合約,是處理交易驗證和執行邏輯的智能合約。WalletContracts是用戶最終擁有的鏈上身份,屬于智能合約帳戶。PaymasterContracts是可選的代付智能合約。2.1.2、4337交易的執行流程

我們來重新按完成一筆以太坊轉賬的流程來梳理下按照ERC-4337實現的交易是怎樣的:

打開錢包:用戶管理持有的私鑰工具,如Metamask,Bitkeep,Bitizen等。交易簽名:用私鑰對新的若干字段做簽名操作,稱之為?UserOperation?用戶操作對象。發送交易:稱之為Bundlers打包者或是捆綁器,本質仍是由某個負責出塊的礦工操作。礦工打包:bundlers?把用戶發送的操作簽名解析驗證后由礦工單獨再簽名一筆交易來包裹用戶的指令,批量地將用戶的操作指令轉發到某個合約錢包中再由合約來驗證用戶的簽名并執行。由于交易是礦工簽名并發送的,因此from是礦工,原先用戶的簽名和指令在則在參數之中。打包發送到作為路由器的智能合約中,執行驗證并且進一步轉發到各用戶獨立的合約錢包。入口點合約驗證:EntryPoint?是處理交易驗證和執行邏輯的智能合約。會反復和用戶的合約賬戶進行交互以及驗證,確保最終鏈上打包必然成功,否則全部交易都要回退。出塊流程:完全不變。2.2、功能舉例:入口點合約

遷入4337后,對任何賬戶的調度都需要先經過入口點合約,他需要解決的是

如果用戶的「錢包合約」尚未部署,則用UO中的initCode字段去部署合約循環驗證組合交易中UserOperation既有鏈下模擬驗證也在合約也提供鏈上驗證管理質押費計算gas成本,既要用于收取用戶,也需要面對失敗交易補償捆綁器。3、為什么持續要關注ERC-4337?

ERC-4337的高開發投入以及快速的迭代進度,說明他能快速成為最終提案、并被各種應用廣泛接納、真正成為事實性行業標準,他帶來的核心價值是大幅度降低普通用戶使用Web3應用的門檻。屆時,一個應用能否兼容ERC-4337,則將影響自己能否利用整個以太坊生態的其他組件、以快速發展。后續的DApp應用,也將必然需要能兼容從賬戶主體已然轉移向ERC-4337的用戶們。最終驗證市場的還是用戶本身,實現的方案是復雜的,這也僅僅是對于應用方的復雜對于用戶本身而言,最終他們能夠看到的是:

更流暢的交易體驗,類似購物車,即使面對10個市場也能夠一筆交易完成打包。更安全的接入入口,借助4337的自定義簽名算法能力,使用手機專屬安全芯片而無需攜帶硬件錢包,更沉浸的游戲環境,借助paymaster的代付能力,乃至可以定義半小時內的不超過XX金額的交易免除簽名,避免了一場游戲被場外打斷。真正的鏈上主體,可以被社交恢復,可以更換私鑰密碼,可以做交易的風險分層分級,兼容安全與使用便捷。如此種種對終端用戶體驗的提升,都是最終為什么要如此費力的推進ERC-4337的原因。

上篇更多是圍繞ERC-4337運作機制、背景進行說明。下篇詳細講述當前被審計方案的優缺與實施細節,但涉及較多以太坊底層所以閱讀難度較高,投稿在Web3Caff平臺的research頻道。閱讀原文:https://research.web3caff.com/zh/archives/6900

參考文獻

https://cointelegraph.com/news/ethereum-erc-4337-smart-accounts-launch-at-walletcon-account-abstraction-is-here

https://blog.openzeppelin.com/eip-4337-ethereum-account-abstraction-incremental-audit/#conclusions

https://blog.openzeppelin.com/eth-foundation-account-abstraction-audit/

https://eips.ethereum.org/EIPS/eip-4337

https://hackmd.io/@erc4337/test-suite

https://www.youtube.com/watch?v=eyT6WzJmWyc

https://notes.ethereum.org/@yoav/unified-erc-4337-mempool#What-does-censorship-resistance-require-of-ERC-4337

https://github.com/eth-infinitism/account-abstraction/issues/188

https://notes.ethereum.org/@yoav/unified-erc-4337-mempool

https://github.com/eth-infinitism/account-abstraction/blob/develop/reports/gas-checker.txt#enroll-beta

Tags:IONHTTTPSETHaion幣最新消息htt幣被騙tps幣行情BABYETHV2幣

UNI
解決 ZK Rollup 最終確定性痛點,我們設計了一種全新方案_ROL

加密領域存在一個廣泛的誤解,認為ZKRollup的最終確定時間很長。在這篇文章中,我們將解釋為什么第一代ZKRollup需要這么長時間才能完成最終確定性,以及我們如何在不犧牲安全性的情況下實現更.

1900/1/1 0:00:00
ETHDenver參會總結:我們看到了哪些趨勢_BER

剛從Denver回來,過去的一周精彩不已。分享一下個人感受,和整個會議傳遞的新趨勢。整體而言,EthDenver整體感受非常好,遠勝Consensus,Token2049.

1900/1/1 0:00:00
長推:LSD未來 4 個新趨勢分析_LSD

注:本文來自@0xYugiAI推特,MarsBit整理如下: 流動性質押的4大趨勢 流動性質押是一個令人興奮和快速發展的領域,有幾個顯著的趨勢.

1900/1/1 0:00:00
GPT-4震撼來襲:發布全文(GPT-4翻譯)_GPT

碎碎念:上周開始瘋傳說GPT4這周要來,消息源都是指向微軟德國的CTO,一直沒見OpenAI這邊有動靜,覺得還不太靠譜,沒想到說來還真來了.

1900/1/1 0:00:00
簡單但嚴肅的回顧一下硅谷銀行(SVB)的整個事件_MBS

1、史無前例的科技牛 2020年下半年疫情擔憂褪去后而美聯儲仍在承諾維持0利率很長時間,量化寬松持續進行,通脹也見不到影子,全球迎來了科技企業的融資熱潮期.

1900/1/1 0:00:00
StarkNet空投終極指南_STARK

今天我們來講講熱門項目StarkNet,也是擼毛大軍Fomo已久的明星項目。StarkNet是ZK-rollup的主要參與者之一,其主網即將推出.

1900/1/1 0:00:00
ads