比特币(BTC) 交易平台

本文不会从头介绍(Introduction) EIP-4337,仅介绍(Introduction) 4337的主要合约是如何实现的。适合对4337有一定了解的开发者,由其是钱包开发者,以及爱好者或研究员阅读。

主要内容位于流程图中Figma。

需要配合4337源码阅读GitHub — eth-infinitism/account-abstraction at main。

4337 Spec中有更多详细细节EIP-4337: Account Abstraction using alt mempool。

请注意:

核心概念

研究4337需要掌握以下核心概念:

UserOperation

一种内容类似transaction的伪交易对象,通过新的RPC方法eth_sendUserOperation提交给节点。

UO中的字段含义大部分是显然的,仅挑选几个容易误解的进行分析:

Prefund

这个并非UO中的一个字段,而是由上面三个gas参数计算而出。代表了该UO在验证阶段预先支付给EntryPoint的总成本。Prefund虽然是在验证阶段支付的,但包含了preVerificationGas,验证和执行三部分的成本。之后不会再向EntryPoint进行支付gas。

prefund / gasPrice = callGasLimit verificationGasLimit * mul preVerificationGas

mul = mUserOp.paymaster != address(0) ? 3 : 1;

具体计算参见EntryPoint中的_getRequiredPrefund。

EntryPoint

EntryPoint是所有功能的核心入口。每个项目自行部署自己的EntryPoint。Bundler,Wallet和Paymaster都需要围绕EntryPoint工作。

Bundler在EntryPoint内实现两个功能

Wallet与EntryPoint

Paymaster与EntryPoint

我们可以看到Wallet与Paymaster都有可能向EntryPoint支付gas。gas余额会存储在deposits这个mapping中。

注意,虽然deposits字面意思为充值,但并非必须一个需要预先手动完成的动作,也可以在每一笔UO发生时,计算缺少多少gas并自动充值。

最终,若所有操作的actualGasCost小于prefund, EntryPoint

会将多余额度退款至你的deposit。

actualGasCost / gasPrice = validationActualCost callActualCost preVerificationGas

注意, validationActualCost & callActualCost 仅仅是为了说明(explain) 而作的标记,并非真实存在的变量。 它们是由 gasPrice 累加的。

Wallet

代表用户最终使用的钱包。需要开发者至少实现以下两个自定义方法:

开发者还需要自行实现wallet factory,需要创建钱包时,工厂会被SenderCreator合约调用。新建钱包应使用CREATE2方法以保障生成地址的确定性。

Paymaster

Paymaster可以为用户支付gas,因此可以实现:

0