本流程图只画出了普通类型的交易，未涉及Aggregator。掌握普通流程后才方便掌握聚合型的交易。流程图中箭头不代表程序的调用栈或输入输出，仅代表相关角色、函数、事件的发生的先后顺序。为方便读者对宏观架构的快速理解，流程图中省略了一部分函数调用和逻辑。被省略的部分有可能对你研究的问题或疑惑有很大意义，具体看你想了解什么内容，所以还是需要你必要时仔细阅读源码。核心概念
6 D- Z: W1 Q* \! F! L$ }4 u$ _0 v7 {' y
    主要内容位于流程图中Figma。2 j# H+ A7 q  l( `9 l* K/ ?8 f' E

! T' i6 N5 g/ F" a2 ^
/ r( E) L9 p2 i% R    需要配合4337源码阅读GitHub—eth-infinitism/account-abstractionatmain。$ t/ z, g+ Z+ T8 k: q
4 n% c: m& O9 b; z+ x: d8 @

7 ^- x0 E2 u4 |" g( q; O    4337Spec中有更多详细细节EIP-4337:AccountAbstractionusingaltmempool。: ]: }7 @7 Z, _  U( \, c; T4 g
! C/ w$ l& S- p9 J
    研究4337需要掌握以下核心概念：+ l5 T9 ~5 x/ _  q( W

8 i) m5 W0 }% p/ u$ v9 B    UserOperation的内容EntryPoint实现Wallet实现Paymaster实现验证阶段、执行阶段的执行流程与错误处理Gas的支付流程与计算UserOperation
5 W, j8 _# S1 A  R/ Z4 D
: L# S+ t) e! |    一种内容类似transaction的伪交易对象，通过新的RPC方法eth_sendUserOperation提交给节点。
) b$ n/ x- B2 A) M- x: \: G3 d* k. ~" o, D5 @( i1 c% ^: T6 D
    UO中的字段含义大部分是显然的，仅挑选几个容易误解的进行分析：
" s1 G+ q% `- }( J8 P- p8 _
/ E! D' X, Z0 O    sender，此处指的是要交互的wallet，而非msg.sender或tx.origin等其他任何概念verificationGasLimit，验证交易时的gasLimitcallGasLimit，执行交易时的gasLimitpreVerificationGas，补偿bundler调用handleOps()时会一部分未计算在内的gas成本（如提交交易的calldata成本）。Prefund' m- I2 L6 v8 v7 W$ q4 L  y
  S9 C5 X6 ^" s4 q: g! N* `' ?
    这个并非UO中的一个字段，而是由上面三个gas参数计算而出。代表了该UO在验证阶段预先支付给EntryPoint的总成本。Prefund虽然是在验证阶段支付的，但包含了preVerificationGas，验证和执行三部分的成本。之后不会再向EntryPoint进行支付gas。( l+ n! @( H5 g( B4 {; L6 U- }1 Z
6 B0 X7 h$ ]3 J! M
    prefund/gasPrice=callGasLimit+verificationGasLimit*mul+preVerificationGas4 @+ I" O$ N( s* D6 p( u

' y8 l$ A8 l9 j9 H0 v7 I) r    mul=mUserOp.paymaster!=address(0)?3:1;& f9 e% t/ L6 a. Z5 `' K9 A

! A# e6 x+ {5 F$ r! X2 c    具体计算参见EntryPoint中的_getRequiredPrefund。( G+ ?& ^, G  V! `3 h" D, `
/ r- L+ G/ q+ e0 B- a
    EntryPoint7 v8 [: I1 @& j* z. o
# y6 w/ n1 d. t8 t+ g. k; M
    EntryPoint是所有功能的核心入口。每个项目自行部署自己的EntryPoint。Bundler，Wallet和Paymaster都需要围绕EntryPoint工作。* f+ _0 D5 ?9 H5 B3 @6 R
0 Z. Z1 m2 p# W; e9 q" D
    Bundler在EntryPoint内实现两个功能
0 m" S9 u6 ^; {) M; }2 B5 E! V) N6 d# L4 g
    链下验证UO，剔除不符合要求和有问题的UO。链下验证一是防止DoS，二是避免bundler在链上损失gas。打包合规的UO，提交上链。Wallet与EntryPoint$ q7 A- Q6 Z4 c" f8 f

" x& o8 F, k1 p2 S    向EntryPoint支付gas费只响应来自EntryPoint的消息执行来自EntryPoint的具体交易内容注意，EntryPoint不是Wallet的factory。官方给出的图片容易给人造成这种误解，但官方实现并非如此。Paymaster与EntryPoint
9 s+ {, \. {1 t8 p3 T8 u/ Y' Z$ Y6 r% f
+ Y: B) {1 c! J" H! ~9 c6 |0 U    向EntryPoint支付gas费只响应来自EntryPoint的消息向EntryPoint确认自己的为某UO服务的意愿在EntryPoint内质押才能成为paymaster我们可以看到Wallet与Paymaster都有可能向EntryPoint支付gas。gas余额会存储在deposits这个mapping中。; z7 a& Z7 U; Y0 O3 u/ I

* r2 v/ ~% W: L* w2 S/ u! s    注意，虽然deposits字面意思为充值，但并非必须一个需要预先手动完成的动作，也可以在每一笔UO发生时，计算缺少多少gas并自动充值。
* r8 _+ \; }! k7 H# H: m! |; I9 o4 t
) c) Z+ O4 ~  L3 d; A! B    最终，若所有操作的actualGasCost小于prefund，EntryPoint
- A6 I7 X2 v% b
, S7 q1 b! z& m( n7 x( A2 F' P    会将多余额度退款至你的deposit。( ?% ~4 Y6 s% N& |0 p4 w

; G  o& \8 h& y- R/ K3 r8 v    actualGasCost/gasPrice=validationActualCost+callActualCost+preVerificationGas
$ l+ q2 |" z; l. Z1 H. y1 |, }( k- X+ T$ O
    注意，validationActualCost&callActualCost仅仅是为了说明而作的标记，并非真实存在的变量。它们是由gasPrice()累加的。
) g4 w" `0 b1 ?5 q0 }! x
! I+ L* [1 z0 F8 |: u    Wallet
# r; R/ G. w8 a6 f' l6 A4 g- o( `3 X( Y3 ]
    代表用户最终使用的钱包。需要开发者至少实现以下两个自定义方法：
. |; u, o4 y' S" z' b$ t) A$ O5 y" Y, U& }" v! J
    签名验证：你可以使用任何密码学手段来实现签名验证，比如，为了配合使用苹果的SecurityEnclave而实现NISTP-256的ECDSA。如果没有特殊需求可直接使用以太坊的ECDSA。处理交易：EntryPoint通过address(sender).call(callData)来调用wallet中的具体的交易功能。那么call需要有至少一个可执行的函数，如transferEther()，callAnotherContrat()等。开发者还需要自行实现walletfactory，需要创建钱包时，工厂会被SenderCreator合约调用。新建钱包应使用CREATE2方法以保障生成地址的确定性。
9 }* g7 W$ m8 p9 ]
; n3 l  K5 P% _) M    Paymaster' G+ r& b. D$ R! a! G

/ W& _7 M+ S1 V8 V    Paymaster可以为用户支付gas，因此可以实现：$ X( W2 y1 o1 V* `2 ~$ U  I

; n  _! L4 J  B- l    免费交易：用户激励，让用户免费使用钱包gasless交易：不直接用ether支付gas，而使用其他token或nft等等等其他类似的赞助交易功能Paymaster需要开发者实现：' `" Y& z( U; l8 [5 b
" }# H" J3 Y0 Y; }; U  K9 ?
    validatePaymasterUserOp()：由于paymaster的开放性，验证逻辑需要开发者完全自己定义。验证后有可能需要实现类似wallet中payPrefund()的功能。_postOp：必须重写此方法，否则会被revert。此方法可以定义在paymaster赞助完交易后需要做什么，如在验证时为用户支付了ether，则此处要求用户支付等价的ERC-20。& V. _# C( G8 I* w* s% ]

1 y8 d/ ]4 ]% I6 o4 Y) o* s2 ?7 g5 r8 G2 ?+ Y# B