宇宙链 宇宙链
Ctrl+D收藏宇宙链

Vitalik :以太坊的账户抽象之路

作者:

时间:1900/1/1 0:00:00

注:原文作者是以太坊联合创始人VitalikButerin。

账户抽象允许我们使用智能合约逻辑来指定交易的效果,以及费用支付和验证逻辑。这带来了许多重要的安全好处,例如多重签名和智能恢复钱包,能够在不更换钱包的情况下更换密钥以及量子安全性。

许多帐户抽象的方法已在不同程度上被提出并得到了实施,参见:EIP-86、EIP-2938?,以及两年前的这篇文章?。今天,由于开发者们希望专注于合并与分片,这些EIP的开发陷入了僵局,而ERC-4337?这种不需要任何共识更改的替代方案已经取得了很大进展。

ERC-4337尝试通过额外的协议手段实现和EIP-2938相同的事情。用户需要发送称为用户操作的链外消息,这些消息由区块提议者或为区块提议者生成bundles的构建者批量收集并打包成单笔交易。提议者或构建者负责过滤操作以确保他们只接受支付费用的操作。用户操作有一个单独的mempool存储池,连接到这个存储池的节点会进行ERC-4337特定的验证,以确保用户操作在转发之前能够支付费用。

链游Civitas完成2000万美元融资,Delphi Digital和三箭资本领投:4月12日消息,链游Civitas宣布完成2000万美元融资,Delphi Digital和三箭资本领投,Framework Ventures、BITKRAFT、DeFiance Capital、Sfermion、CCP Games、Yield Guild Games、Merit Circle和YGG SEA等参投。

据了解,本轮融资将用于将Civitas构建为一款社区驱动的协作类城市建设游戏,拟在2023年第一季度推出测试版,并在2023年晚些时候正式推出。(Venturebeat)[2022/4/13 14:20:44]

ERC-4337作为一个纯自愿的ERC可以做很多事情。然而,在一些关键领域,它比真正的协议内解决方案更弱:

现有用户如果不将其所有资产和活动移动到新帐户,则无法升级;

额外的gas开销;

较少受益于协议内抗审查技术,它以交易为目标并会错过用户操作

而实现最佳效果的一条现实途径,是在短期内开始大力支持ERC-4337,然后随着时间的推移添加EIP来弥补其弱点。这并不一定需要大家专门承诺遵守ERC-4337。相反,可以将协议内支持设计为更通用,并支持ERC-4337及其替代方案和改进。

Vitalik最推崇作家大为·格雷伯去世:Vitalik Buterin最推崇作家、《债:第一个5000年》作者大为·格雷伯于9月2日去世,大卫?格雷伯认为唯有全面历史地理解了债及其与暴力之间的关系,我们方能开始正确估量我们刚刚到来的新纪元。大为·格雷伯曾深入研究了虚拟货币的历史,认为虚拟信用货币早在农耕帝国时代就是主导货币形式,利息货币的习惯同时也起源于苏美尔,利息率固定为20%,2000年来一直保持稳定。在中世纪(公园600-1500年)虚拟信用货币回归,而当今时代(1971以后)则是债的帝国。值得一提的是,占领华尔街运动也是大为·格雷伯组织的。[2020/9/4]

在这里,我将列出其中的一些EIP,并说明它们可以按什么顺序实施。

将EOA钱包转换为智能合约钱包

为了让现有的EOA钱包升级到ERC-4337钱包,我们可以制作一个EIP,允许EOA执行设置其合约代码的操作。一旦EOA做到了这一点,这种转变就不可逆转。从那时起,该帐户将仅用作智能合约钱包。幸运的是,由于ERC-4337帐户是DELEGATECALL代理,因此如果需要,以后可以将钱包转换为与其他ERC兼容的智能合约。

关于如何实施此升级过程有一些提案:

1、“replacecode”交易类型

公告 | OKEx已完成VITE主网切换并开放VITE充提:据官方消息,OKEx已完成VITE主网切换,于2019年09月26日11:30(HKT)开放VITE的充提。[2019/9/26]

这还没有作为正式的EIP引入,但方法很简单:添加一个新的EIP-2718?交易类型,只需将帐户码替换为calldata。

2、AUTH_USURP(EIP-5003)

EIP-5003?是EIP-3074?的扩展提案,它引入了新的AUTHUSURP操作码。如果使用EIP-3074机制,EOA地址A已授权另一个地址B代表它行事,则AUTHUSURP允许B设置A的代码。

这种方法比“replacecode”路线更复杂,只有当我们打算采用EIP-3074时,这才有意义。

强制转换

在更长远的未来,我们可能希望进行强制转换,以简化协议,并使合约成为唯一的帐户类型,从协议中取消ECDSA。一种可能的方法是添加一个覆盖规则,从某个区块开始,没有code的账户被视为具有特定标准化“ERC-4337EOA钱包”code的账户。

这可以通过“poking”过程来完成,其中任何源自EOA的交易都将其转换,并且任何触及具有非零nonce的EOA交易都会将其转换。也可以一次性通过整个状态来完成。

声音 | BM 评价 Vitalik 新共识算法:是对非 BFT 终结性的正式描述:据 IMEOS 报道,Vitalik 近期在其博客上发布了一篇名为《一个99%容错共识的指南》的文章,文章认为这个算法只需要 1% 的节点“诚实”。这意味着,从理论上讲,攻击者需要控制超过99% 的区块链节点才能进行攻击。因此不再有 51% 的攻击。

EOS 社区成员询问 BM 对这个文章的看法以及意见,BM 回复道:这篇文章没有给出譬如什么时候开始实施的时间先,但可以安全地假设一下这个新算法将会在基于 POS 的共识生效后实施......所以相当于在宇宙热寂之后实施......

“不过这个算法是关于 Steem 和 Bitshare 的非 BFT 终结性的正式描述,这就很有趣了。”[2018/8/16]

问题

合约内ECRECOVER验证:一些智能合约依赖于这样的假设,即如果你向特定账户提供ECRECOVER的签名,你就拥有该账户。如果EOA转换为合约,然后更改其验证密钥,则原始密钥仍然能够在这些特定上下文中“代表”帐户。这可通过开始鼓励所有此类项目更改为使用EIP-1271验证,而不是在帐户有code的情况下使用ECRECOVER。

尚未检测到的账户:强制转换面临的一个挑战是拥有资产但尚未发送或接收任何交易的账户,因此协议无法可靠检测到这些账户。协议必须保留将此类账户永久转换为默认钱包的功能,或者需要有一个截止期,在此之后尚未转换的帐户将被烧毁。

Vitalik Buterin:以太坊已经发展到一定瓶颈 以太经典才是黑马:据今日头条报道,以太坊智能合约平台网路组织遭骇,骇客利用智能合约的漏洞,下指令让DAO重复拨款,总共盗领370万以太币(当时约合5300万美元)。为了取回被盗资金,布特林(Vitalik Buterin)与DAO成员决定忽略被骇旧区块,并重新建立新区块。这个决定,等于打破区块链不可回复、不可窜改的初衷和原则,自然引发许多争议。但是事情发展到现在,布特林说:“虽然以太坊(ETH)似乎正在吸引所有媒体的关注,以太经典(ETC)似乎扮演了黑马的角色。”他认为以太坊已经发展到了一定的瓶颈。ETC已经回归了奥地利经济学派的传统,按照比特币的方式进行了了减产的规划,最后总量不会超过2.1亿个。以太坊现价报4717元,跌幅8.23%,以太经典194元,跌幅达9.65%。[2017/12/28]

EOA只检查不可转让性:一些应用程序实施合约内检查以仅允许EOA与其交互。这通常是为了强制执行不可转让性。从根本上来说,这是一个坏主意,并且与转向智能合约以提高安全性的目标不相容。因此,不应鼓励这种做法,而应鼓励应用依赖原所有者恢复程序来使转移无法执行。

降低Gas成本

ERC-4337钱包面临更高的gas成本,原因如下:

1、需要支付大量的单个存储读/写成本,在EOA的情况下,这些成本会捆绑到一笔21000gas的付款中:

编辑包含pubkey+nonce(~5000)的存储slot;

用户操作调用数据成本;

ECRECOVER(~3000);

首次访问钱包本身(~2600)

首次访问收款人账户(~2600)

将ETH转入收款人账户(~9000)

编辑存储以支付费用

访问包含代理(~2100)的存储slot,然后访问代理本身(~2600);

2、除了上述存储读/写成本之外,合约还需要执行“业务逻辑”

3、需要消耗gas来支付日志费用;

4、一次性合约创建成本

其中很多问题将在Verkle树witnessgascostEIP?以及writegascostreformEIP?中自动解决,以更精简的系统取代大量存储成本。例如,pubkey和nonce可以存储在slot0…63中,这将访问它们的成本降低到1000以下。用户在转移ETH和支付费用时支付的费用会更少,因为目标账户和接收账户只需要被首次访问一次。

还有更多的EIP可以帮助我们实现简化。例如:

禁止智能合约逻辑使用slot0的自愿ERC,将允许它用于存储代理,从而使其受益于更便宜的gas成本。

“codeaddress”字段可以使代理更轻松,消耗的gas更少。

“snappycompression”预编译可以更轻松地使用ABI对象,而无需为所有零字节支付calldatagas成本。

这是一个需要更多研究的领域。

crLists

这是一个长期的问题,因为只有启用了完全的协议提议者/构建者分离方案后,crLists才真正适用。挑战在于,我们希望提议者能够识别“值得”包含的用户操作,以便协议可以迫使它们被包含在下一个有空间的区块中。

这要求在协议中明确“验证”和“执行”的概念。对于用户操作,必须有一种已定义的方法来验证该操作,以及有一种已定义的方法来执行该操作,这样如果某个操作被验证,则执行该操作的尝试将是保证支付费用的,除非被读取的状态在验证期间被修改。这些操作可以通过嵌入ABI方法来实现,如果实现了EOFEIP,也可以通过添加专用的EOF部分来实现。

幸运的是,这不需要我们把ERC-4337当作一个最终标准,而是纳入ERC-4337所支持的一个较弱概念,其他在很大程度上不同的ERC也可以轻松支持它。

原因是,ERC-4337和EIP-2938的复杂性很大程度上与解决更强的DoS抗性问题有关:不可能使一个操作取消数百个其他操作,因为这将允许廉价地对mempool进行垃圾交易攻击。这需要对帐户验证可访问的内容施加限制。在这里,我们可以做一些更简单的事情:只记录在验证过程中触摸了哪些状态对象,如果这些状态对象中的任何一个被编辑,则不需要包含。

这使得个人账户可以在审查抵制和灵活性之间选择自己的权衡。在极端情况下,如果账户愿意,可以通过Uniswap在验证期间支付费用,但由于任何人都可以发送影响Uniswap状态的交易,因此此类账户实际上没有抗审查保证。

crList设计的大致轮廓如下:

提议可以包含一个crList,它指定要包含的操作列表,以及每个操作读取的状态对象(key,value)对的列表。接受crList的构建者必须检查所有操作是否通过validate检查。

执行crList中的每个操作都需要该区块,除非该区块没有足够的剩余gas,或者执行时的当前状态已经编辑了该操作读取的状态对象之一。

ERC-4337的剩余复杂性将仅用于mempool安全。原则上,可以有多个相互竞争的ERC以不同的方式实现该目标,只要它们都遵循相同的验证和执行标准。

这种方法的一个缺点是它与签名聚合不完全兼容:因为协议不“理解”聚合方案,它不能强制聚合,恶意构建者可能纳入未聚合的操作,并迫使发送者为其支付全部gas。但这种不便可以说是适度的。

可能的路线图

短期

将ERC-4337全面投入生产。理想情况下,可以使用签名聚合功能对其进行扩展,以实现rollup友好性。

应该有接入ERC-4337的易于使用的浏览器钱包。

考虑实现签名聚合和压缩,以使ERC-4337对L2更加友好;

在L2协议中引导ERC-4337生态,其中gas成本问题会较少;

中期

实施Verkle树,添加EIP以降低gas成本;

添加可选的EOA-to-ERC-4337转换;

在PBS推出的同时或不久之后添加crList逻辑;

长期

考虑强制转换;

可能的替代方案

考虑编写一个在协议层包含ERC-4337等效帐户和交易的EIP,并推动其在L2中的采用;

使用一种通过axuliary区块?工作的抗审查解决方案,消除用户操作对以太坊协议的可读的需要;

标签:GASVITITATALgas币价发行量MoviTokenDreamPad CapitalCardanoTales

芝麻开门交易所热门资讯
A16z:元宇宙解锁游戏基础设施中的新机遇

您安装了每个人都在谈论的新跑酷游戏,您的化身立即获得了一套新技能。在教程关卡几分钟后,爬上墙壁并越过障碍物,您就可以迎接更大的挑战了.

1900/1/1 0:00:00
金色观察|BTC跌破2万美元:矿工卖币求生 熊市何时休?

涨涨跌跌,比特币自6月23日以来再度跌破2万美元。熊市之下,加密货币市场艰难求生。 关机、卖币,矿工难捱 随着哈希率保持在历史高位,BTC徘徊在2万美元左右,矿工们正努力实现收支平衡.

1900/1/1 0:00:00
金色午报 | 6月26日午间重要动态一览

7:00-12:00关键词:PDF、BlockFi、罗马尼亚、Horizon1.安全分析师:有盗取NFT的恶意文件伪装成PDF文件的攻击形式;2.TheSandbox联合创始人和COO:绝不可能被Meta收购;3.

1900/1/1 0:00:00
web3创业者如何回答如果XX做了怎么办

我自己做过媒体,投资人,现在是正在web3创业融资的创业者。最近一个比较大的体感是:web3创业者普遍都不担心某个巨头把自己赛道copy这事。也就是融资pitch中的经典问题,如果xx做了你们怎么办? 大部分人应该是开心的.

1900/1/1 0:00:00
人为“调高GAS费”创收?Arbitrum Odyssey上GMX遭质疑

据L2Fees网站数据统计,今日Arbitrum上交易GAS费用短时飙升,目前为6.65美元,超过以太坊主网.

1900/1/1 0:00:00
覆盖最广的《数字藏品行业自律发展倡议》都说了啥

6月30日,在中国文化产业协会牵头下,包括文旅产业专业机构和协会、文化央企、IP机构以及蚂蚁、腾讯、百度、京东等互联网科技公司在内,近30家机构在京联合发起《数字藏品行业自律发展倡议》,号称“行业覆盖方最广的自律公约”.

1900/1/1 0:00:00