zkSync:zkSync中的原生Account Abstraction介绍

作者:Written by ChiHaoLu,imToken Labs

本文主要介绍了zkSync这个Layer2解决方案中抽象账户(AA、抽象帐户)的发展及相关内容。重点将放在三个部分:

帐户合约:帐户类型,帐户合约的重要入口点和相关重点

交易:AA交易的验证方式和执行方式、流程

手续费:交易手续费、Paymaster

目录

导言

zkSync AA合约简要概览

zkSync时代的费用模型和Paymaster

总结与比较

结束语

背景

熟悉智能合约钱包及其常见特性

大致了解以太坊交易的运作方式

大致了解EIP-4337的运作模式

大致了解ZK(有效性)Rollup的运作模式

Quick Look at the zkSync

这里为了方便阅读,不需要深入理解zkSync,简要回顾一下zkSync的基本信息。zkSync主要有两个版本,1.0版(zkSync Lite)和2.0版(zkSync Era)。

zkSync 1.0版仅支持EOA(外部账户)且不支持智能合约(仅支持代币转账和交换),而zkSync 2.0,即zkSync Era,属于原生AA(抽象账户)(所有账户类型都是合约,没有EOA,即以太坊中的EOA和合约账户的区别),同时兼容EVM(以太坊虚拟机),支持使用Rust、Yul、Vyper、Solidity等开发智能合约。

下文提到的zkSync若无特别指称,均指的是zkSync 2.0,即zkSync Era。

在zkSync Era中,还存在多个System Contract,可以理解为它们将zkSync的一些重要操作系统功能实现在智能合约中。这些System Contract都是预编译合约,从未被部署(直接在节点中运行),但它们都有一个正式地址。

执行AA协议时,zkSync会通过一些System Contract来进行逻辑运算和判断,例如在验证nonce时,是由NonceHolder来判断,而执行抽象账户机制和收取手续费是由bootloader来判断,下文会逐一介绍它们。

Recap Account Abstraction

账户抽象的核心概念可以总结为两个关键点:签名抽象和支付抽象。

签名抽象的目标是使各种账户合约能够使用不同的验证方案。这意味着用户不受限于只能使用特定曲线的数字签名算法,而可以选择任何他们喜好的验证机制。

zkSync Era主网地址数已超16万个,跨链ETH超过3.4万枚:金色财经报道,据Dune数据显示,截至3月30日,zkSync Era链上单一地址数已达160351个,已有34188枚ETH跨链进入zkSync Era网络,平均每个地址存入的ETH约为0.2枚。[2023/3/30 13:35:10]

而支付抽象旨在为用户提供多种交易支付选项。例如,可以使用ERC-20代币进行支付,而不是使用原生代币,或者可以由第三方赞助交易,甚至是其他更特别的支付模式。

zkSync 2.0中的账户可以像EOA一样发起交易,但也可以利用其可编程性来实现任意逻辑,如合约账户。这就是我们所谓的帐户抽象(Account Abstraction),它融合了以太坊中两种账户类型的优势,使AA账户的使用体验更加灵活,从而实现了上述两种目标:签名抽象和支付抽象。

zkSync Era中的AA机制

在zkSync Era中,zkSync AA的最重要角色是bootloader,它是一个System Contract,主要用于处理交易以及执行AA机制,对应于EIP-4337的EntryPoint Contract。bootloader无法被用户调用(只能由Operator触发),也从未被部署(直接在节点上运行),但它具有一个正式地址(可用于收款)。

Operator是ZK Rollup中的重要角色,是中心化的Off-Chain Server,与可能见过的Sequencer类似,负责从外部触发bootloader等System Contract。

原生的帐户抽象协议(例如StarkNet、zkSync)基本上都是参考EIP-4337进行设计,zkSync的实现中,用户会将交易发送给Operator,Operator会将交易发送给bootloader,并开始一系列的处理。

从区块的角度来看:

当bootloader接收到来自Operator的输入时,bootloader会首先为该区块定义一些环境变量(如燃气价格、区块号、区块时间戳等)。然后,bootloader会顺序读取交易列表,首先查询该帐户合约是否同意该交易(即AA机制中的调用validate function),然后将它们放入区块中。

每笔交易验证通过后,Operator会验证该区块是否足够大,以便发送给验证者(或是否超时)。如果足够大或超时,Operator会关闭该区块,停止向bootloader添加新交易,并完成交易执行。

从交易的角度来看,当Operator触发bootloader后,bootloader会顺序处理每笔交易:

确认用户帐户合约地址对应的nonce是否合法

调用用户帐户合约上的validate function进行验证

验证通过后,帐户合约会将gas fee汇入bootloader的地址(或通过Paymaster,后文会介绍),bootloader会检查自己是否收到足够的款项。

ZkSync Era预计将在一年后发布Token:金色财经报道,ZkSync Era发布最初不会有代币,因为网络目前在很大程度上仍然是中心化的。由于处于alpha阶段,Matter Labs可以任意升级网络的代码。此外,该公司仍然控制着网络运行的两个核心组件:sequencer和prover。

根据CEO Gluchowski的介绍,如果想要实现sequencer去中心化化,就需要代币。而他估计,sequencer将在在大约一年的时间内实现去中心化,换言之ZkSync Era将在一年后发币。[2023/3/24 13:25:21]

调用用户帐户合约上的execute function执行交易。

以上的前三步对应着EIP-4337的验证循环(Verification Loop),第四步则对应着EIP-4337的执行循环(Execution Loop)。

这里主要进行了一个概述性的介绍,每一步的细节和角色将在接下来的详细说明中逐一阐述。

zkSync 抽象帐户合约快速概览

Nonce

zkSync 的账户 nonce 被记录在一个名为 NonceHolder 的系统合约中,通过映射(mapping)的方式记住每组 (account_address, nonce) 对是否被使用,用以判断 nonce 是否合法。

根据前文所述,在 Operator 触发 bootloader 后的第一步是检查 nonce。因此,在每笔交易开始之前,NonceHolder 将用于确认当前使用的这组 nonce 是否合法(目前仅检查是否已使用)。如果 nonce 合法,将进入验证阶段(Verification Phase),此时 nonce 将被标记为已使用;如果不合法,则交易(验证)将失败。

关于 zkSync 当前 nonce 的重点:

尽管当前用户可以同时向账户发送具有不同 nonce 的多笔交易进行执行,但由于 zkSync 不支持并行处理,因此不同 nonce 的交易仍将按顺序进行处理。

理论上,用户可以使用任何 256 位的非零整数作为 nonce,但 zkSync 仍建议使用 incrementNonceIfEquals 作为管理 nonce 的方式,以确保它是按顺序递增的(目前 zkSync 的 AA 机制仅确认未使用过的 nonce,但官方文件表示未来可能会要求顺序递增)。

账户合约

在 zkSync 中的账户合约有以下四个必要的入口点(Entry Point),分别是:

validateTransaction:在验证阶段被调用,以确认此次操作是否经过账户所有者的授权,用户可以在这里定制自己的验证逻辑(例如各种签名算法、多签等)。

payForTransaction:当交易手续费由该账户支付(而不是使用 paymaster)时,操作员将调用此函数向 bootloader 地址支付至少 tx.gasprice * tx.gaslimit 的 ETH。

zkSync:Sushi将与zkSync 2.0集成:据官方消息,Sushi生态将与zkSync 2.0集成。Matter Labs首席产品官Steve Newcomb表示,Sushi的DeFi工具生态系统与EVM兼容的ZK-rollup的安全性和可扩展性相结合,将为zkSync不断发展的生态系统带来新的灵活性。[2022/10/27 11:48:15]

prepareForPaymaster:当交易手续费将由 Paymaster 支付时,操作员将调用此函数以完成与 paymaster 的交互前准备工作。zkSync 提供的示例是批准 Paymaster 的 ERC-20 代币。

executeTransaction:在验证阶段成功通过且成功收取手续费后,此函数将用于执行用户希望实现的操作(例如与合约互动、汇款等行为)。

关于 Paymaster、手续费数量(tx.gasprice * tx.gaslimit)等内容将在后续章节中解释。

在zkSync的账户中还有一个非必需的保险函数 executeTransactionFromOutside。当无法执行操作时(例如序列生成器没有响应或发现zkSync存在监管风险时),可以使用“逃跑机制”将资金提取到L1。这部分与AA协议没有太大的关系,因此不会在此详细描述,有兴趣的人可以查看官方文件和zkSync的规范。

验证函数的要点和限制

在validateTransaction函数中,可以实现各种定制逻辑,例如如果账户已经实现了EIP-1271标准,可以直接将EIP-1271中的验证逻辑套用在validateTransaction中,或者参考zkSync官方文档中的多签名账户合约实现。

同时,在EIP-4337的Verification Phase中为了避免DoS威胁,有一些限制(不能涉及外部的操作码以及有限的深度等),在zkSync中也有类似的限制,例如:

1.合约逻辑只能触及自己的槽位(如果账户合约的地址为A):

- 属于地址A的槽位

- 任何其他地址的槽位A

- 任何其他地址的槽位keccak256(A||X),即可以直接使用地址作为映射的键(例如映射(address=>value)),也等同于允许访问槽位keccak256(A||X),以实现扩展。例如ERC-20上的代币余额。

2.合约逻辑不得使用全局变量,例如block.number

执行函数的要点和限制

在executeTransaction函数中需要注意的是,如果要执行系统调用(System Call),需要确保具有isSystem标志。因为这些系统合约对账户系统的影响非常大,例如增加nonce的唯一方式是与NonceHolder互动,要部署合约必须与ContractDeployer互动,使用isSystem标志可以确保账户开发者有意识地与系统合约互动。

ZKSwap推进“Layer2 for all”的多链生态战略:近日,ZKSwap团队在BSC、HECO和OKChain的测试网上线了ZKSwap V1版本,并调试通过了所有核心功能。ZKSwap计划为更多的区块链基础设施提供基于零知识证明的Layer2扩展能力。

鉴于“高效—去中心化—安全性”的不可能三角难题,主流区块链基础设施在触达交易数量的门限值后,资源竞争的成本将传导至用户和应用提供者。为了各公链生态的应用繁荣,ZKSwap团队推进“Layer2 for all”的多链生态战略,致力于通过密码学、算法来实现去信任的公链扩容,降低用户和生态开发团队的费用成本。未来,ZKSwap将在更多领域推进Layer2扩展方案,成为安全、通用、开放的Layer2金融基础设施。

目前,ZKSwap团队已开放去中心化治理模块,与社区共享共创“Layer2 for all”的战略计划[2021/5/8 21:37:49]

然而,建议在实现时可以使用zkSync提供的SystemContractsCaller库,以避免自己处理isSystem标志,并使用其中的systemCallWithPropagatedRevert完成系统调用。

上述代码示例中涉及与`DEPLOYER_SYSTEM_CONTRACT`进行交互。帐户开发者最常遇到的系统合约情况是我们要使用帐户来部署一个合约,此时必须与`ContractDeployer`这个系统合约进行交互。在这种情况下,帐户开发者需要与`ContractDeployer`合约进行通信,以确保成功部署合约并执行所需的操作。

zkSync时代的费用模型和Paymaster

费用和 Gas 限额

zkSync的费用模型与以太坊非常相似,费用代币仍然是ETH。然而,除了基本的计算和写入槽位成本外,与其他Layer2解决方案(如Arbitrum、Optimism)一样,zkSync还需要考虑发布到L1的额外成本(安全费用)。由于发布数据到L1上的燃气价格非常不稳定,因此在每个区块开启(开始记录交易)时,zkSync的Operator会定义以下动态参数:

- gasPrice:以gwei为单位的燃气价格,即前文提到的交易对象中的tx.gasprice

- gasPerPubdata:在以太坊上发布一个字节的数据所需的燃气数量

此外,与EIP-4337不同,zkSync不需要定义三种燃气限制:verificationGas、executionGas和preVerificationGas,而只需要一个gasLimit来包含以上所有费用成本,因此用户需要确保gasLimit足够涵盖Verification阶段、Execution阶段以及上传数据到L1的安全费用等所有费用成本。这个费用成本包含在前文提到的交易对象中的tx.gaslimit。

欧易OKEx DeFi播报:DeFi总市值1238.1亿美元,欧易OKEx平台ZKS领涨:据欧易OKEx统计,DeFi项目当前总市值为1238.1亿美元,总锁仓量为683.20亿美元;

行情方面,今日DeFi代币普涨,欧易OKEx平台DeFi币种涨幅最大前三位分别是ZAS、HDAO、ANT;

截至18:30,OKEx平台热门DeFi币种如下:[2021/4/2 19:41:15]

将这两者相乘(tx.gasprice * tx.gaslimit)就可以得到这笔交易支付给bootloader的手续费数量。

Paymaster

Paymaster主要在用户交易支付手续费阶段,代替用户的帐户合约向bootloader支付ETH。用户可以选择不同的Paymaster和支付模式来支付手续费,例如(但不限于):

- 在交易发起前或交易执行后向Paymaster支付ERC-20代币

- 使用信用卡向Paymaster合约充值

- Paymaster将持续为用户免费支付部分或全部手续费

用户与Paymaster互动的方式取决于不同的协议,可以是中心化也可以是去中心化;可以在交易前,也可以在交易后;可以使用ERC-20代币也可以使用法定货币,甚至可以是免费的。

zkSync的Paymaster合约主要由两个函数组成,分别是validateAndPayForPaymasterTransaction(必需)和postTransaction(可选),两者都只能被bootloader调用:

- validateAndPayForPaymasterTransaction是整个Paymaster合约中唯一必须实现的函数。当操作员收到的交易附带Paymaster参数时,表示手续费不由用户的帐户合约支付,而是由Paymaster支付。此时,操作员将调用validateAndPayForPaymasterTransaction来判断该Paymaster是否愿意支付这笔交易的手续费。如果Paymaster同意,该函数将向bootloader发送至少tx.gasprice * tx.gaslimit的ETH。

- postTransaction是一个可选函数,通常用于退款(将未使用完的燃气退还给发件人)。然而,当前的zkSync尚不支持此操作。

zkSync中的Paymaster在实现了postTransaction后才会执行postTransaction,这一点与EIP-4337不同,EIP-4337在validatePaymasterUserOp没有返回上下文时不会调用postOp,反之亦然。

综合以上,举例来说用户现在想要发送一笔手续费由 Paymaster 支付的交易,那流程如下:

借由 NonceHolder 确认 nonce 是否合法

呼叫用户 Account Contract 上的 validateTransaction 进行验证,确认交易由帐户拥有者授权

呼叫用户 Account Contract 上的 prepareForPaymaster,里面可能会执行例如 approve 一定数量的 ERC-20 Token 给 Paymaster 或是不做任何事

呼叫 Paymaster Contract 上的 validateAndPayForPaymasterTransaction 确认 Paymaster 愿意支付并且收取手续费,同时 Paymaster 向用户收取一定数量的 ERC-20(前面 approve 的)

确认 bootloader 收到正确数量(至少 tx.gasprice * tx.gaslimit)的 ETH 手续费

呼叫用户 Account Contract 上的 executeTransaction 执行用户想要的交易

如果 Paymaster Contract 有实作 postTransaction 且 gas 仍然足够(没有 out of gas error),那就执行 postTransaction

最后一步即便 out of gas error 导致不能执行 postTransaction,这笔 AA 交易也算是成功,只是省略掉呼叫 postTransaction 的动作而已。

更深入探究 zkSync 的 Paymaster 会发现它的 Verification Rules 和 4337 稍有不同(zkSync Paymaster 可以踩任何其他合约的 slot)、同时也有各种不同的 type(例如 Approval-based),这部分由于比较细节所以有兴趣深入的人可以参考官方文件或我之前的实作。

Summary & Comparison

通过前文的解释,我们已经了解了账户合约具有哪些重要的入口点,以及它们的作用和相关限制。同时,我们也了解了系统合约的功能。接下来,让我们对在 zkSync 中一个自动操作(AA)交易从构建到完成的过程进行总结,同时我也会提供更详细的参考资料,以供那些希望深入了解的人参考:

1. 用户在本地使用 SDK 或钱包构建交易对象(例如:from、to、data、value等)。

2. 用户对该交易进行签名。这里的签名不一定是传统的 EIP-712 格式和 ECDSA 曲线签名。zkSync 还支持 EIP-2718 和 EIP-1559,选择签名方式和验证方式的关键在于通过帐户合约中的验证函数进行验证。

3. 将已签名的交易通过 RPC API 发送给操作员(Operator)。此时交易进入待处理状态。操作员将交易传递给 bootloader(调用 bootloader 合约上的 processL2Tx 函数),开始一系列的 AA 协议流程。

4. Bootloader 会检查 Nonce 是否合法,使用 NonceHolder 进行检查。

5. Bootloader 会调用用户账户合约上的 validateTransaction 函数,以确认此交易已获得帐户所有者的授权。

6. Bootloader 收取手续费有两种方式,具体收费方式取决于交易参数(构建交易对象时是否附带 paymaster 参数):

   a. 调用 payForTransaction 函数与账户合约收取手续费;

   b. 调用 prepareForPaymaster 和 validateAndPayForPaymasterTransaction 函数与 Paymaster 合约收取手续费。

7.「呼叫 payForTransaction 来跟 Account 合约手续费」或者「呼叫prepareForPaymaster 和validateAndPayForPaymasterTransaction 来跟 Paymaster 合约手续费」

8. 检查 bootloader 是否已收到至少 tx.gasprice * tx.gaslimit 数量的交易手续费。

9. Bootloader 会调用用户账户合约上的 executeTransaction 函数来执行交易。

10. (可选)如果使用 Paymaster 支付手续费,bootloader 会调用 postTransaction 函数。如果 Paymaster 没有实现 postTransaction,或者 gas 已耗尽,将跳过此步骤。

以上的4.~7.步为验证阶段(定义在bootloader的l2TxValidation),第8.~9.步 执行阶段(定义在 bootloader 的 l2TxExecution)。

EIP-4337、StarkNet 和 zkSync 时代的比较

基本上这三者的AA机制流程都相仿,皆为验证阶段→手续费机制(由账户合约支付或者Paymaster)→执行阶段,主要差别有:

执行 AA 机制的角色是:在 zkSync 时代中开启与其他两者 AA 的差别在于 Operator 需要和 bootloader(系统合约)一起配合,例如 bootloader 会开启一个新区块并定义该区块的相关参数,接收操作员发送来的交易者并进行验证。在 4337 中这部分由 Bundler 与 EntryPoint 协作,而在 StarkNet 中这部分全部由 Sequencer 负责。

Gas Cost 是否需要考量到 L1 安全费用:L2 的 AA 都需要考虑这个上传数据到 L1 的费用,不只是推送提到的 ZK(Validity)Rollups Native AA,在 Optimistic Rollups 实作 4337 时也需要算入 L1安全费用(计算在 preVerificationGas 中,细节可见 Alchemy 相关文件)。

是否可以在账户合约部署前发送出交易:在 StarkNet 和 zkSync 时代中都没有像 4337 的 EntryPoint 有 initCode 这个字段允许替用户部署账户合约,所以其都不在可以配置账户前发送出交易。

对比

由于StarkNet尚无已实现的Paymaster机制、zkSync也尚未完成gas退款机制的设计,所以一些比较细节的比较在这里就没有列出。

另外,目前的 4337 bundler我们完成了 P2P mempool,且 zkRollups 的 Sequencer 和 Operator 也还是唯一的官方服务器,所以都有一定中心化的成分存在。

在开发流程上 zkSync 由于没有与各家bundler串接的问题(只需要与 Operator API 交互),所以使用起来 4337 很容易,开发帐户合约(SDK)的体验也更好;同时 zkSync 可以使用 Solidity作为合约开发语言,所以也不需要在 StarkNet 开发中跨过Cairo的门槛。

结语

由于 StarkNet 和 zkSync 都属于本地 AA(Native AA)的范畴,因此你也可以参考我之前撰写的 StarkNet AA 介绍文章,题为《StarkNet Account Abstraction 简介》(Introduction of StarkNet Account Abstraction)。此外,你还可以阅读与 EIP-4337 相关的其他文章,以获得更多相关信息。

金色财经

企业专栏

阅读更多

金色财经 善欧巴

web3中文

金色早8点

YBB Capital

吴说Real

元宇宙简史

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

链链资讯

[0:0ms0-2:583ms