Vitalik提出的EIP-2938将给以太坊带来哪些改变?

以太坊有两种类型的账户。外部自有账户(EOA)和合约账户(CA)。EOAs由私钥操控,而CA由其间包含的智能合约代码操控。EOAs一向比CA更有特权,由于只要EOAs可以经过付出gas开端买卖履行。账户笼统(AA)是一个提案,它答应合约像EOA相同成为一个 "顶层 "账户,其可以付出费用并开端买卖履行。

账户笼统的动机是明显改进用户在钱包、DApps和DeFi等各种场景下与以太坊进行交互时的用户体会。账户笼统在以太坊中供给了一个根底层的功用,来决议什么时候可以付出gas,以及对谁付出gas等问题。

Status Messenger运用集成了一个以隐私为中心的信息系统,以及一个以太坊钱包和一个Web3 DApp浏览器。Status wallet现在是一个EOA钱包,它约束了咱们供给只要智能合约钱包才能供给的丰富的用户体会,如多重签名安全、交际康复、利率约束、答应/回绝地址列表和无gas的元买卖。现在智能合约钱包的用户体会到了gas 费波动的影响,而且第三方中继器无法有用处理这个问题。而账户笼统旨在处理这个问题。 

在本文中,咱们提出了智能合约钱包布景下对账户笼统的需求。然后,咱们经过描绘协议改动和对节点的影响深入探讨账户笼统的关键方面。最后,咱们评论了一些扩展的提议,并经过合理化与以太坊接口的Status项意图方案路线图来结束,这些项目或许都会受到账户笼统的影响。

历史&动机

账户笼统开端是在2017年以EIP-86的方法提出的,意图是完成 "买卖来历和签名的摘要",但这一想法的起源可以追溯到更早的2016年。当时有人主张:"与其有一个协议内机制,将ECDSA和默认的nonce方案作为仅有的 「规范 」方法来确保账户的安全,不如采取开端办法,树立一个模型,从长远来看,一切的账户都是合约,而且合约可以付出gas,用户可以自由定义自己的安全模型。"

开端的主张被认为是具有挑战性的,由于需求改动许多协议而且需求确保安全性。最近,Vitalik等人提出了EIP-2938的草案,该草案概述了一个更简单完成的方法:经过将协议/共识的改动最小化,并经过节点mempool规矩强制履行所需的安全确保。由Sam Wilson和Ansgar Dietrichs(别的两位EIP作者)撰写的Vitalik的以太坊 Engineering Group Meetup presentation和ETH Online presentation(以及相关文章1和2)为这个主题供给了更具体的介绍。本文要点介绍了一切这些来历的关键内容。 

动机:账户笼统背后的动机原理非常简略,但却是根本性的:今日的以太坊买卖具有可编程的效果(经过调用智能合约完成),但它们只具有固定的有用性,即只要当它们具有有用的ECDSA签名与有用的nonce,而且具有满意的账户余额时,买卖才是有用的。账户笼统经过引进一种新的账户笼统买卖类型,将买卖从固定有用性升级为可编程有用性。这种账户笼统买卖类型总是来自一个特别的地址而且协议不需求对其进行签名、Nonce或余额查看。这种账户笼统买卖的有用性由方针智能合约决议,方针智能合约可以履行自己的有用性规矩,之后它可以决议为这类买卖付款。

那么,为什么这个很有用呢?咱们以以太坊钱包为例来着重账户笼统的优点。

智能合约钱包:如今大多数以太坊钱包都是EOA钱包,它由种子短语生成的私钥保护。(BIP-39种子短语是一个由12-24个单词组成的有序列表,这些单词是从2048个单词中随机选择的。这供给了取得二进制种子所需的熵,该种子运用PBKDF2函数生成。然后,二进制种子被用来生成BIP-32钱包的非对称密钥对。) 用户应该把种子短语写在安全的当地,由于今后在另一个钱包上康复密钥时或许需求它。但是,这种钱包很简单受到私钥被盗或种子短语丢失的影响,然后导致用户的资金丢失。

智能合约钱包是经过智能合约在链上完成的。这种钱包经过完成多签名安全、交际或根据时刻的康复、买卖或金额的速率约束、答应/回绝地址列表、无gas买卖和批量买卖等功用,供给可编程的功用缓解危险以及用户友好体会。 

虽然智能合约钱包暴露在易受进犯的智能合约的安全危险之下,但钱包供给商履行的安全测验和审查可以减轻这种危险。EOA钱包的危险彻底在于钱包用户,他们被托付负责种子短语的安全,而在智能合约中没有任何可保障安全的程序。

智能合约钱包的比方有Argent、Authereum、Dapper、Dharma、Gnosis Safe、Monolith和MYKEY。如下图所示,这类钱包的采用率好像在增加。

Vitalik提出的EIP-2938将给以太坊带来哪些改变?

Argent经过他们的Guardians概念完成了无密钥交际康复功用,其间Guardians是用户信任的人或设备,可以帮助找回用户的钱包。Argent还旨在完成相似银行的安全性(经过每日买卖限额、账户锁定和可信联络人等功用)以及相似Venmo的可用性(经过运用ENS称号而非地址和支撑元买卖)相结合。

Gnosis Safe是一个多签名的智能合约钱包,专心于团队管理资金,需求团队成员的最低数量(m-of-n)同意买卖才能产生。它还可以经过元买卖完成无gas签名。 

一切这些先进的钱包功用都需求运用完善的智能合约。钱包用户要么需求与EOA进行交互,要么依托钱包供给商经过供给商的中继器或第三方中继器网络(如 Gas Station Network)来支撑元买卖。前者依托于在KYC后的中心化买卖所购买ETH,而后者旨在经过将用户的负担搬运到中继器上,以削减这种上链用户体会冲突,其本钱由钱包供给商链上/链下和/或用户链下补偿。

但是,根据中继器的架构有三个主要缺陷:(1)它们或许会被认为是中心化的中介机构,有或许会对买卖进行审查(2)由于中继者的买卖需求额定的21000根底gas fee,而且它们的业务需求在gas fee之外取得赢利,因而在技能/经济上功率低下(3)运用中继者专用协议迫使运用依托非基底层的以太坊根底设施,其用户群较小,可用性确保不确认。

账户笼统将使智能合约钱包可以承受用户的无gas买卖,并在不依托中继层网络的状况下为其付出gas 费。因而,这种底层才能将极大地改进这类钱包的入驻用户体会,而不会献身以太坊的去中心化保障。

Tornado Cash:一个相关的动机运用是混币器,如tornado.cash,其间Tornado经过运用智能合约打破地址之间的链上联络来改进买卖隐私,该合约承受ETH存款,随后可由不同的地址提取。用户在存款时需求供给隐秘的哈希值,之后在提现时供给zkSnark证明,以显现对隐秘的了解,而不泄露隐秘或之前的存款自身。这样就把提现和存款脱钩了。

但提现存在一个问题,要从新生成的地址中履行提现买卖,用户需求在里面有一些ETH来付出gas。这个ETH的来历(一般是买卖所)会破坏Tornado的隐私。首选的替代方案是再次运用中继器网络,但是它有前面概述的缺陷。

账户笼统将处理这个问题,答应Tornado合约承受用户的提现账户笼统买卖,然后验证zkSnark并扣除一些gas费(从之前的存款金额中扣除),然后将剩下的存款金额转到提现地址。

账户笼统

EIP-2938号文件提出的账户笼统,答应合约成为付出费用和开端履行买卖的最高档账户。这是经过引进协议改动完成的,新的账户笼统买卖类型需求两个新的操作码:NONCE和PAYGAS,对mempool的规矩进行改动以及支撑高档用法的扩展。账户类型依然有两种类型(EOA和合约账户),一切拟议的改动都与当时的买卖、智能合约和协议向后兼容。

账户笼统的运用分为两个方面考虑:1)单租户运用,如智能合约钱包,为每个用户创立一个新的合约 2)多租户运用,如tornado.cash或Uniswap,多个用户与同一套智能合约交互。

账户笼统对多租户运用的支撑需求更多的研讨,主张作为未来的工作。所以咱们将在本文中要点评论单租户账户笼统的支撑。

协议改动

引进了一种新的买卖类型,以及两个支撑NONCE和PAYGAS的操作码。这些是仅有的协议改动。

账户笼统买卖:引进了一种新的账户笼统买卖类型AA_TX_TYPE。它的有用类型被解释为RLP([nonce, target, data]),而不是现有的买卖类型。后者的有用类型是RLP([nonce, gas_price, gas_limit, to, value, data, v, r, s])。

账户笼统买卖中省掉的gas_price和gas_limit在履行过程中由方针账户笼统合约指定。账户笼统买卖中省掉的 ECDSA 签名 v、r、s 由特定合约对数据进行验证查看替代。to 地址由方针合约地址替代。之所以省掉该值,是由于一切账户笼统买卖的始发地址是一个特别的ENTRY_POINT地址(0xFFFF...FFF),而不是与之相关联的EOA值。

假如查看失利,则买卖被认为是无效的,不然,tx.target.nonce将被递增,买卖继续进行。

账户笼统买卖的根本gas本钱主张为15000,而不是现在的21000(以反映缺少内涵ECDSA签名所节省的本钱)。此外,账户笼统买卖没有内涵gas限额。在开端履行时,gas限值只需设定为该组的剩下gas。

NONCE操作码:NONCE操作码(0x48)将被调用者的NONCE(即账户笼统方针契约)压入EVM仓库。因而,Nonce暴露给EVM,以答应对一切买卖字段(包含nonce)进行签名验证,作为账户笼统合约中验证的一部分。

PAYGAS操作码:PAYGAS操作码(0x49)从仓库中取出两个参数: (顶部)version_number, (顶部第二个)memory_start. version_number答应未来的完成改动opcode的语义。现在,该操作码的语义如下。

查看 version_number == 0 (不然抛出反常)

提取 gas_price = bytes_to_int(vm.memory[memory_start: memory_start + 32])

提取 gas_limit = bytes_to_int(vm.memory[memory_start + 32: memory_start + 64])

查看contract.balance >= gas_price * gas_limit (不然抛出反常)

查看 globals.transaction_fee_paid == False (不然抛出反常)

查看AA履行结构==顶层结构,即假如当时EVM履行退出或复原,则整个业务的EVM履行终止(不然抛出反常)。

设置contract.balance -= gas_price * gas_limit(约束)。

设置 globals.transaction_fee_paid = True

设置 globals.gas_price = gas_price 和 globals.gas_limit = gas_limit。

设置当时履行上下文的剩下gas=gas_limit-现已耗费的gas。

在账户笼统买卖履行结束时,(globals.gas_limit - remaining_gas)*globals.gas_price搬运给矿工,账户笼统合约交还 remaining_gas * globals.gas_price。

PAYGAS作为EVM履行查看点。在此点之后的任何复原都只会复原到这里,然后合约不承受退款,globals.gas_limit * globals.gas_price搬运到矿机

新的买卖类型和两个新的操作码构成了协议/共识层面的改动,它们的语义是比较简单了解。

Mempool规矩

"Mempool "指的是以太坊节点内部的一组内存数据结构,它在挖矿前存储候选买卖。Geth称其为 "买卖池";Parity称其为 "买卖行列"。无论称号怎么,它都是一个坐在内存中等候被归入区块的买卖池。把它看成是一个 "等候区",等候买卖被承受到一个区块中。"

现在,经过固定的买卖有用性规矩,矿工和其他节点只需求最小的尽力就可以验证其mempool中的买卖,然后避免DoS进犯。例如,假如一个矿工拥有有用的ECDSA签名、有用的nonce,而且有满意的账户余额,就可以确认某笔买卖将真实付出费用。该矿工的mempool中的其他买卖只要在来自同一地址,而且,增加nonce或充沛削减账户余额的状况下,才或许使这个待处理的买卖无效。这些条件在计算上是最小的,以使矿工和节点对其mempools有满意的决心,分别进行区块等候或重播。

账户笼统买卖以其可编程的有用性引进了更多的复杂性。账户笼统买卖不付出任何前期gas,并依托其方针账户笼统合约来付出gas(经过PAYGAS)。从概念上讲,账户笼统买卖处理分为两个阶段:较短的验证阶段(PAYGAS之前)和较长的履行阶段(PAYGAS之后)。假如验证阶段失利(或抛出反常),买卖无效(就像今日无效签名的非账户笼统买卖相同),不会被包含在一个区块中,矿工也得不到任何费用。

因而,矿工和节点需求一个可预测的机制来避免一个待处理的账户笼统买卖的有用性对mempool中其他待处理买卖的依托性。不然,一个买卖的履行或许会使mempool中的许多/一切账户笼统买卖无效,导致DoS进犯。为了避免这种状况,有两个主张的规矩要在mempools中的账户笼统买卖上履行(由矿工和节点履行,但不是在协议自身)。

Opcode Restriction

为了避免账户笼统买卖的有用性取决于账户笼统合约自身以外的任何要素,以下操作码在核查阶段(即在PAYGAS之前)被视为无效:PAYGAS之前):环境操作码(BLOCKHASH、COINBASE、TIMESTAMP、NUMBER、DIFFICULTY、GASLIMIT)、BALANCE(任何账户,包含方针自身)、对方针以外的任何事物的外部调用/创立或预编译(CALL, CALLCODE、STATICCALL、CREATE、CREATE2)和读取代码的外部状况拜访(EXTCODESIZE、EXTCODEHASH、EXTCODECOPY、DELEGATECALL),除非地址是方针。

节点要抛弃mempool中以账户笼统合约为方针的账户笼统业务,打破这个操作码约束规矩。这确保了只要账户笼统合约状况不产生改动,mempool中的有用账户笼统业务将坚持有用。

字节码前缀约束

假如非账户笼统业务可以影响账户笼统合约的状况,那么就会影响mempool中账户笼统业务的有用性。为了避免这种状况的产生,账户笼统业务应该只答应针对那些在其字节码开头有AA_PREFIX的合约,其间AA_PREFIX完成了对msg.sender是账户笼统业务的特别ENTRY_POINT地址的查看。这有用地避免了非账户笼统买卖与账户笼统合约的交互。

节点要把账户笼统业务丢给在其字节码进口点没有这个AA_PREFIX的账户笼统合约。

对账户笼统合约施行的这两个约束共同确保了:(1)账户笼统买卖的有用性逻辑所能拜访的仅有状况是账户笼统合约内部的状况,(2)这个状况只能被其他针对这个特定账户笼统合约的账户笼统买卖修正。

因而,只要在另一宗针对同一份账户笼统合约的等候买卖中,未完成的账户笼统买卖才会失效。但是,鉴于这些不是协议/共识的改动,矿工可以自由地在区块中包含打破这些规矩的买卖。

扩展

上述协议变更和mempool规矩答应根本的账户笼统合约充沛而安全地完成单租户运用,如智能合约钱包。其他需求放宽上述规矩或需求完成多租户运用的高档用法,则需求账户笼统以扩展的方法供给更多的支撑,比方。

SET_INDESTRUCTIBLE opcode,禁用SELFESTRUCT,答应账户笼统合约在验证阶段安全地调用DELEGATECALL的库。

IS_STATIC opcode,假如当时上下文是静态的,则回来true,答应非账户笼统业务调用者覆盖之前的字节码前缀约束,安全地从账户笼统合约中读出值。

RESERVE_GAS opcode,当从一个非账户笼统业务调用时,它树立了一个账户笼统合约耗费的gas下限,该下限是寻求写入合约状况的。这样做的作用是迫使进犯者不耗费最低数量的gas,以抑制企图使mempool中任何账户笼统业务无效的行为。

还有其他的如多个待处理的买卖、验证的缓存成果、验证的动态gas约束和赞助买卖,这些都是支撑多租户运用和zk证明所需求的,如Tornado Cash。关于它们的具体内容不在本文的评论范围内。

下一步工作

账户笼统EIP-2938现在处于草案形式,正在以太坊研评论坛中进行评论。EIP的下一步是被考虑归入行将到来的硬分叉之一。EIP作者的方针显然是Berlin之后的硬分叉(Berlin暂定于2021年头的某个时刻),其时刻表现在还不是很明确。所以对于EIP-2938来说,现在还为时过早。

此外,也不清楚是否有必要在以太坊根底第1层(L1)加入EIP-2938。鉴于第2层(L2)处理方案的相对灵活性(如咱们之前的文章所述),账户笼统可以在特定的L2上完成,而不需求升级整个L1。但是,即使一些L2完成了自己的账户笼统版本,在L1上一致支撑账户笼统也有优点。因而,账户笼统在哪里完成,怎么完成,还有待调查。

“账户笼统不太重要是由于不管L1是否支撑,都可以在L2上完成。”--- Vitalik在他关于以汇总为中心的以太坊路线图的文章中谈到了在根底层将继续起作用的事情)。

Status:Status钱包现在是一个EOA钱包,它的差异在于捆绑了一个以隐私为中心的短信系统,并完成了聊天中的付出或Keycard的增强安全性等集成。正在考虑智能合约钱包的功用,如多签和交际康复,账户笼统 EIP-2938的支撑将有助于消除对集中式和低效的根据relayer的架构的依托,如前所述。

Status也在评估L2处理方案,既要支撑其钱包中的多链,又要为各种用例供给所需的扩展,如咱们在前面的文章中所述。例如,Keycard正在探究一个付出网络,其信用卡等级的可扩展性和近乎即时的结局性的规划要求是现在以太坊网络无法满意的。此外,还有许多其他的方案,如推荐方案、Tribute-to-Talk和ENS称号,一切这些方案都将受益于L2扩展性,以完成可行的部署和合理的用户体会。假如一个可行的L2处理方案完成了账户笼统,那么树立在该L2根底上的项目将可以利用账户笼统的优势,而不用依托L1。

总结

以太坊协议的一个根本方面是,只要外部自有账户(EOAs)可以付出gas费并开端履行买卖。合约账户(CA)不能这样做。账户笼统(AA)是一个提案,旨在改动这种差异,答应专门构建的CA以编程方法查看新式账户笼统买卖的有用性,决议代为付出gas费,然后有用地启动其履行,而不需求EOA。 

账户笼统对于明显改进钱包、混币器、DApps和DeFi等各种场景下的用户体会具有意义,而无需依托中心化和低效的根据relayer的架构。根本的单租户场景,如智能合约钱包,经过引进一种新的买卖类型、两种新的操作码和两种mempool规矩,账户笼统可以安全地支撑。高档多租户运用,如Tornado Cash,需求对这些协议改动和节点规矩进行扩展。 

在这篇文章中,咱们提到了智能合约钱包布景下对账户笼统的需求。咱们经过描绘协议改动和对节点的影响来着重账户笼统的关键方面。咱们触及了一些针对高档用处的拟议扩展,最后,咱们在以太坊当时的路线图和Status的优先事项中对账户笼统进行了定位。

在Web3中削减冲突和改进用户体会是这个生态系统中一切项意图首要任务。账户笼统,以某种方法,或许必定会在未来的尽力中发挥重要作用。

视野开拓

基本收入将能强化以下林林总总的日常自由: ·拒绝从事繁重、枯燥乏味、低薪或纯属肮脏的工作的自由。 ·接受以上工作除外的其他所有工作的自由(若纯粹考量财务需要,你可能不愿意接受那些工作,但有了基本收入后,你变得愿意接受那些工作)。 ·即使薪资比以前少或财务安全感降低,却继续从事同一工作的自由。 ·开创小规模事业(虽然高风险,但报酬潜力大)的自由。 ·长时间为亲友从事照护工作的自由,或为社区从事义工活动的自由(若基于财务需要而必须长时间投入有薪的劳动工作,可能就无法自由从事这类工作)。 ·从事各式各样创意工作与活动的自由。 ·冒险学习新技术或职能的自由。 ·免受官僚干预、窥探与胁迫的自由。 ·基本收入将能强化以下林林总总的日常自由: ·拒绝从事繁重、枯燥乏味、低薪或纯属肮脏的工作的自由。 ·接受以上工作除外的其他所有工作的自由(若纯粹考量财务需要,你可能不愿意接受那些工作,但有了基本收入后,你变得愿意接受那些工作)。 ·即使薪资比以前少或财务安全感降低,却继续从事同一工作的自由。 ·开创小规模事业(虽然高风险,但报酬潜力大)的自由。 ·长时间为亲友从事照护工作的自由,或为社区从事义工活动的自由(若基于财务需要而必须长时间投入有薪的劳动工作,可能就无法自由从事这类工作)。 ·从事各式各样创意工作与活动的自由。 ·冒险学习新技术或职能的自由。 ·免受官僚干预、窥探与胁迫的自由。 ·建立 […] ·脱离恶化关系或虐待关系的自由。 ·养育小孩的自由。 ·偶尔偷懒的自由,我们稍后将回头讨论这项重要的自由。-《基本收入》

发表回复

您的电子邮箱地址不会被公开。 必填项已用 * 标注