本流程图只画出了普通类型的交易，未涉及Aggregator。掌握普通流程后才方便掌握聚合型的交易。流程图中箭头不代表程序的调用栈或输入输出，仅代表相关角色、函数、事件的发生的先后顺序。为方便读者对宏观架构的快速理解，流程图中省略了一部分函数调用和逻辑。被省略的部分有可能对你研究的问题或疑惑有很大意义，具体看你想了解什么内容，所以还是需要你必要时仔细阅读源码。核心概念
9 w* i: h! u1 a! g
7 i$ Y. V' N, j$ V7 s# M    主要内容位于流程图中Figma。
7 G1 d8 t  [) o- X3 T; L7 A. `: `* o
; j. v: n# K" O& @3 J
) D* g) p, K3 f3 j0 R& y    需要配合4337源码阅读GitHub—eth-infinitism/account-abstractionatmain。2 i! `" j; D! y

4 f- |1 d/ n. I- J- S1 c5 @9 n( a, l$ Z9 n* U- E1 e* }
    4337Spec中有更多详细细节EIP-4337:AccountAbstractionusingaltmempool。+ N+ L3 H% H- T7 e

  v' [* B# ]2 x: X    研究4337需要掌握以下核心概念：
# ?$ r9 G/ }  l7 N
; v- n) e, K; A) S+ z. k7 m    UserOperation的内容EntryPoint实现Wallet实现Paymaster实现验证阶段、执行阶段的执行流程与错误处理Gas的支付流程与计算UserOperation
; Y, j  y+ h* F, N
+ }/ `, Y. T! D! z0 `    一种内容类似transaction的伪交易对象，通过新的RPC方法eth_sendUserOperation提交给节点。+ h1 v% P6 J1 M" X1 \

8 B2 N* b& b5 h& S* C, @    UO中的字段含义大部分是显然的，仅挑选几个容易误解的进行分析：
3 k. h  y/ W+ G+ e! A% b1 v4 |) c0 ~1 k. {0 r
    sender，此处指的是要交互的wallet，而非msg.sender或tx.origin等其他任何概念verificationGasLimit，验证交易时的gasLimitcallGasLimit，执行交易时的gasLimitpreVerificationGas，补偿bundler调用handleOps()时会一部分未计算在内的gas成本（如提交交易的calldata成本）。Prefund: }; X- A) w. }& M4 j( A/ \

0 ?6 E2 y3 V  v) n; h9 Z, }    这个并非UO中的一个字段，而是由上面三个gas参数计算而出。代表了该UO在验证阶段预先支付给EntryPoint的总成本。Prefund虽然是在验证阶段支付的，但包含了preVerificationGas，验证和执行三部分的成本。之后不会再向EntryPoint进行支付gas。$ ~) r# b7 I; |  r6 @5 @
0 \5 f* e' @  h/ |" U2 g- O4 l
    prefund/gasPrice=callGasLimit+verificationGasLimit*mul+preVerificationGas5 W6 q' p9 o1 d2 `/ ^
9 A, W3 L6 N1 E" T
    mul=mUserOp.paymaster!=address(0)?3:1;' E2 M8 X3 I& E+ b
6 m3 f! C+ p$ W
    具体计算参见EntryPoint中的_getRequiredPrefund。
' G" N, W4 m/ w" x+ u, [$ L# x( ?6 d  {$ g$ Z
    EntryPoint1 i; P" N& d. `" N, {6 {

& l$ F1 r3 G9 [' Z    EntryPoint是所有功能的核心入口。每个项目自行部署自己的EntryPoint。Bundler，Wallet和Paymaster都需要围绕EntryPoint工作。
. m) b9 t- D9 @4 f: Y$ a9 v/ J8 Y
+ ^2 Q. p+ x$ w# ]7 B% l# O, Z$ m3 t    Bundler在EntryPoint内实现两个功能
. S1 P! f2 x* b4 u8 K2 S1 L- f# t- z
    链下验证UO，剔除不符合要求和有问题的UO。链下验证一是防止DoS，二是避免bundler在链上损失gas。打包合规的UO，提交上链。Wallet与EntryPoint
% W) y9 ]9 N5 U: X, E
7 {" x, k( H+ h1 W7 c5 x2 e: {    向EntryPoint支付gas费只响应来自EntryPoint的消息执行来自EntryPoint的具体交易内容注意，EntryPoint不是Wallet的factory。官方给出的图片容易给人造成这种误解，但官方实现并非如此。Paymaster与EntryPoint% |" {! e$ @) M1 Y  G3 {
/ i3 n3 B' A" ~( @
    向EntryPoint支付gas费只响应来自EntryPoint的消息向EntryPoint确认自己的为某UO服务的意愿在EntryPoint内质押才能成为paymaster我们可以看到Wallet与Paymaster都有可能向EntryPoint支付gas。gas余额会存储在deposits这个mapping中。7 l9 c2 ~3 \0 o! }* p$ d! s) k

, ~% \$ `( @1 J5 @0 {8 K    注意，虽然deposits字面意思为充值，但并非必须一个需要预先手动完成的动作，也可以在每一笔UO发生时，计算缺少多少gas并自动充值。
* s- u. k  Y0 S' y
; Q$ T* q/ W: N3 R( u8 ~: c    最终，若所有操作的actualGasCost小于prefund，EntryPoint6 M  B, g+ f! M5 \8 K, \; S

/ |- @; U# I- ~. j5 A4 d$ a" L% A    会将多余额度退款至你的deposit。) p  y( H; p2 M( a/ x* `2 s9 a- C; I

5 {2 e/ V8 _2 f4 _    actualGasCost/gasPrice=validationActualCost+callActualCost+preVerificationGas, V- c9 H$ l5 h; c" r- R$ Y" g/ L

. @9 ~: b3 T3 X' g    注意，validationActualCost&callActualCost仅仅是为了说明而作的标记，并非真实存在的变量。它们是由gasPrice()累加的。) q  b5 b% ?' g9 k8 p8 v) C2 {' f
4 \5 H* d" Y- v: U
    Wallet. s# i# W- A' C% Y/ n' q1 v, J

8 o) S7 }, _/ n7 M( A    代表用户最终使用的钱包。需要开发者至少实现以下两个自定义方法：* c  V! G9 @6 @, G

( H0 r) S# B- i3 Q6 S- Q    签名验证：你可以使用任何密码学手段来实现签名验证，比如，为了配合使用苹果的SecurityEnclave而实现NISTP-256的ECDSA。如果没有特殊需求可直接使用以太坊的ECDSA。处理交易：EntryPoint通过address(sender).call(callData)来调用wallet中的具体的交易功能。那么call需要有至少一个可执行的函数，如transferEther()，callAnotherContrat()等。开发者还需要自行实现walletfactory，需要创建钱包时，工厂会被SenderCreator合约调用。新建钱包应使用CREATE2方法以保障生成地址的确定性。% H5 ^  X+ V# u2 T' R) m
) M  D7 d7 S7 j  l% b
    Paymaster
* P. X' B8 c& j- k: F$ }) R$ x4 u1 t1 I+ W& t$ y1 j
    Paymaster可以为用户支付gas，因此可以实现：
' h1 X7 x8 r. Z! b- Z5 T; N" Y- n2 p0 P3 I2 n: v
    免费交易：用户激励，让用户免费使用钱包gasless交易：不直接用ether支付gas，而使用其他token或nft等等等其他类似的赞助交易功能Paymaster需要开发者实现：
: p- {0 I) ^( `+ w
. j" n: p* s+ `7 ?" o+ i    validatePaymasterUserOp()：由于paymaster的开放性，验证逻辑需要开发者完全自己定义。验证后有可能需要实现类似wallet中payPrefund()的功能。_postOp：必须重写此方法，否则会被revert。此方法可以定义在paymaster赞助完交易后需要做什么，如在验证时为用户支付了ether，则此处要求用户支付等价的ERC-20。
& W; J: ^. N. P; Z/ I% D
" _4 h: Z( v, `+ z, ^+ U) K7 r. L6 \