以太坊核心开发者大会更新：上海升级，退出机制，坎昆升级

Bitget下载

注册下载Bitget下载，邀请好友，即有机会赢取 3,000 USDT

APP下载   官网注册

上海/五车二升级的内容已经确定：撤销、eof和一些小的修改.只要他们不延迟撤退

Blob空间就要来了：EIP-4844将是以太坊下一次升级的中心。它的召唤仪式即将开始

正在努力协调执行层和共识层在技术方面的升级过程。我们也看到了关于在此流程中更好地整合机构群体意见的积极讨论

ProtocolGuild发布了中期试点报告和总体计划，以扩大一级维护者的规模，并在2023年为他们提供更好的支持

在最近的AllCoreDevs上，客户团队就上海/五车二升级的最终范围达成了共识。虽然升级的名称可能有待商榷，但升级的范围对团队来说是清楚的。。升级的主要功能是为出质人引入信标链撤销。尽快推出这个功能是客户端团队不希望妥协的事情，所以升级中的其他功能需要同时准备好，否则可能会被放弃。

上海执行层规范列出了所有EIP'；包括：

EIP-3540:EVM对象格式(EOF)v1

EIP-3651:减少访问COINBASE地址的gas开销

EIP-3670:EOF-代码验证

EIP-3855:添加操作码PUSH0

EIP-3860:限制initcode的大小并引入气体测量

EIP-4200:EOF-静态相对跳转

EIP-4750:EOF-引入函数

EIP-4895:信标链推送撤回作为系统操作

EIP-5450:EOF栈验证

虽然列表很长，但是可以分为三个不同的部分：小改进、EVM对象格式、撤回。接下来我们就一一介绍：

小改进

EIP-2929在每次交易开始时将客户端内存中的两条数据设置为热数据：发送地址和接收地址。EIP-3651在这个列表中添加了第三个地址，COINBASEaddress(即feeRecipient)。因为它也是处理块事务时客户机在内存中的地址。

EIP-3855:推0指令

顾名思义。EIP-3855引入了一个将0值推入堆栈的操作码。在EVM，通常使用按0来填充值，这个操作码将提供一种更高效、更便宜的方式来完成此操作。

EIP-3860:限制和计量initcode

该EIP增加了initcode大小的上限。并引入基于其长度的气体计量。它的大小上限为EVM增加了一个不变量，这使得它更容易理解和提出修改。

为initcode引入每32字节2gas的开销。这是支付客户端在执行之前必须执行的跳转分析。Jumpstest分析以前不包含在充气表中。

对象格式

上海升级中包含的大多数EIP实际上都是这个单一功能的一部分：EVM对象格式(EOF)。这项工作分为五个不同的生态工业园区。为了帮助客户开发者理解每一个单独的修改，但是为了提供一个更高层次的概述，开发者发布了一个统一的规范。这五个eof的EIP是：

EIP-3540:EVM对象格式版本1。

EIP-3670:EOF-代码验证

EIP-4200:EOF-静态相对跳转

EIP-4750:EOF-引入函数

EIP-5450:EOF-stack验证

值得注意的是，EOF的第一步是EIP-3541，在伦敦升级，为EOF合约保留了前缀0xEF00。在过去的几个月里。上海升级的EOF范围也发生了变化。

二月份，客户团队同意考虑在上海进行升级，以包括两个最小的EOFEIP:EIPs35403670。它们都将作为组件。，但如果不引入EIP4200、4750和5450，它不会提供所有功能。虽然可以扩展EOF，但是向后不兼容可能需要一个新版本。。因为在EOF之前或具有特定版本的EOF契约必须总是可执行的，所以每个新的EOF版本意味着客户端开发者必须维护一组与旧规则并行的新EVM执行规则。EOF之前的

客户端一次只维护一套EVM规则。代码库还支持以前的EVM规则，这些规则将在每次网络升级时被修改，但是一旦它们到达区块链的链头，只有最新的规则必须被应用。部署EOF后，客户端将维护两套并行的EVM规则，因此它们可以在EOF和非EOF契约中执行代码。换句话说，eof版本的增加增加了必须维护的并行EVM规则集的数量，而不是连续的。

为此，在过去的几个月里，客户团队开始青睐"大EOF"接近。这样，尽管他们必须实现更大的修订集，EOF版本将持续更长时间，并减少"并行EVMs"需要维护。因此开发商认为"大EOF"并最终将其纳入上海升级。

换句话说，更大的函数显然更难实现和测试，团队不希望看到EOF严重延迟信标链的退出。所以，如果到了一月份，EOF的实现还没有完成，他们可以'；不能快速地相互操作。客户团队同意将EOF移出上海进行升级。

有了这些上下文，让'；让我们简单介绍一下每个EOFEIP:[XY002]

EIP-3540:EVMObjectFormat(EOF)v1(EVMObjectFormatVersion1)

ThisEIPintroducesa"container"forthedocumentendcontract.。它添加了一个标记来区分协定中的代码和数据部分，并防止部署未格式化的EOF协定。这确保了任何链中的EOF契约都将遵循有效的格式，这简化了与这些契约及其静态分析的交互。

EIP-3670:EOFCodeVerification(EOFCodeVerification)

Basedonthecontainerintroducedby3540.EIP-3670确保EOF合同中的代码是有效的，或者阻止它被部署。

这意味着EOF契约中不能部署未定义的操作码，这有一个额外的好处，就是减少了需要添加的EOF版本数量。。如果添加了新的操作码，您可以简单地更改验证规则来启用它，并确保没有已部署的EOF契约在其代码部分引用它。

EIP-4200:EOF-staticrelativejump(EOF-staticrelativejump)

EIP-4200引入了第一批特定于EOF的操作码：RJUMP、RJUMPI和RJUMPV，它们将目的地编码为有符号的即时值。编译器可以使用这些新的跳转操作码来优化gas开销。因为它们消除了运行时jumpdest分析的需要，而现有的JUMPJUMPI操作码是必需的。EIP-4750:eof函数

EIP-4750比4200更进一步：它不允许使用JUMPJUMPI操作码，并添加了无法复制RJUMP、RJUMPI和RJUMPV函数的替代方法。。它是通过在EOF字节码中引入一个特定的函数段来实现的，这个函数段可以从新的JUMPF、CALLF和RETF操作码跳转到并使用它们来调用和返回。

EIP-5450:EOF堆栈验证

最后，EIP-5450向EOF合同添加了另一个验证检查，这次是围绕堆栈。。该EIP防止EOF契约部署在某些情况下可能导致堆栈下溢和上溢的代码。有了这个EIP，客户可以在执行EOF契约时减少验证检查的次数，因为他们对栈相关的异常有更好的保证。

作为一个非常关注EIP本身的非EVM专家，我可以介绍这么多！如果读者想了解更多关于EOF的知识，，推荐Geth团队的lightclients和Solidity团队的Leo的相关推文。

信标链撤回

最后但同样重要的是，"的主要部分沙贝拉"是烽火连锁撤退。在共识层规范和EIP-4895中解释了这部分变化。现在有一个稍微过时的元规范将这些变化联系起来。。

从高层的角度来看，退出的机制如下：

当提出一个块时，验证者线性扫描验证者索引，找出前16个具有0x01证书的验证者，需要满足以下条件之一：

havingabalanceofmorethan32ETH(i.e.cumulativeverifierreward)

isrevocable(thatis,ithascompletelyexitedtheverifierset)

Thebalanceisgreaterthan32eths(thatis,ithaswontheverifierreward)

是可撤销的(drawable，即它已经完全退出了验证器集合)

Basedonthese,thevalidatorwillcreateawithdrawallisttobeincludedintheirExecutionPayload.Eachiteminthislistcontainsthefollowing:

验证者将从这些验证者中创建一个撤销列表，并将其打包到他们的执行有效负载中。列表中的每一项都包含以下内容：

WithdrawalIndex:——所有提款交易的指数。这有助于区分从相同地址和相同验证者处提取的相同金额

ValidatorIndex:建议余额的验证者索引

ExecutionAddress:执行层的ETH地址，也就是取款应该发送到的地方

Amount:发送到ExecutionAddress的数字。，这个数是以gwei(不是wei)来度量的

在构建或处理一个块时，执行层客户端会在事务执行后进行这些取款。换句话说，提款的处理类似于工作量认证奖励的记录。它不会与用户争夺块空间。

有一些值得注意的细节：

处理提现的时候，没有优先级/排名的区别"全额付款"和"部分基金"。当核对人离开提款小组时，建议全额提款。并且周期性地发生部分撤销，即，当线性扫描验证者集合并且扫描验证者的索引号时。

为了处理取款，验证者必须使用0x01凭证，该凭证由ETH地址表示。。当信标链在线时，只允许BLS密钥对0x00凭据。为了开始取款，具有0x00凭证的验证者将需要签署BLSToExecutionChange消息。这些将在五车二升级中激活。。将有各种各样的工具来签署这个消息，验证者可以期待这些工具的支持和教程。

验证器的扫描基于每个块。如果在扫描了验证者集合的子集之后，没有16笔提款需要处理，验证者将停止扫描。，下一个验证器将从最后扫描的验证器索引开始。

照例会有几个开发者测试网和测试网(甚至可能会有一些新的测试网！)为验证者运行整个流程，解决所有问题。

上海/五车二并不是唯一取得进展的升级项目！开发者团队还在期待下一次的升级。

由于上海升级内容已满，很多考虑升级的EIP(CFI)未能进入上海升级。。客户团队开始讨论下一次升级应该考虑哪些EIP:坎昆升级(共识层名称待定)

在共识层方面，EIP-4844成为五车二升级后第一个写入规范的EIP。。执行层(还没有)可以实现这种布局的规范，但是执行层团队同意遵循类似的路径，并在下一次升级中专注于EIP-4844。

按照敌无双举办城市名称升级的惯例。Cancun.md已经创建，其中EIP-4844已经正式包含在升级中。

这个决定是在2022年最后一次AllCoreDevs会议的最后一刻做出的，所以没有时间处理其他提案。。进入上海升级CFI但没有进入决赛阶段的EIP被移到了坎昆升级的CFI名单中，以太坊魔术师论坛也开了帖子讨论坎昆的候选人EIP。明年初关于坎昆范围的讨论'；的升级应该正式开始。

KZG仪式

另一件和坎昆有关的事'；的升级和预期是KZG仪式，这是EIP-4844的要求。

该仪式将产生验证blob数据有效性所需的随机性。为了被认为是安全的，只有一个参与者需要诚实。换句话说，如果除了一个参与者之外的所有参与者都串通起来，那么整个过程就是密码安全的。这个仪式从一月份开始，将向所有人开放几个月。我们的目标是有10，000名参与者，该计划将是迄今为止同类活动中最大的一次！如果你想确保你不会'；不要错过它请在推特上关注特伦特范埃普斯！

上一次更新中提到，合并后协调以太坊在执行层和共识层的升级过程是一项重要的工作。从高层次的角度来看，执行层使用黄皮书EIP来解释修改，而共识层使用可执行的Python规范。

执行层流程的优势在于EIP为社区所熟知，其格式可以清楚地显示提案背后的原因。。黄皮书中有大量的数学内容，并且需要将规范放回每个EIP的上下文中，这使得理解和扩展实现层规范非常困难。

共识层的问题是相反的：它在单个仓库中有一个清晰易懂的规范。但修改意见不具体，不可识别，提案淹没在仓库里的其他公共PR里。

随着以太坊执行层规范的推出，我们希望从执行层缩短这个差距。而且，通过一些过程论证，我们或许可以将EIP引入共识层流程！

也就是说，随着上海升级范围的讨论和最终确定，很明显，这个过程中可能还缺少另一部分：让社区表达他们对变化的相对偏好。，并参与关于整个升级范围(而非单个EIP)的讨论，作为AllCoreDevs和共识级别会议决策的一部分。

It'；现在还不清楚会是什么样。——I'我很乐意接受建议。！但是，随着积极参与协议变更的利益相关者的数量以及受一级变更影响的区域的数量的增加，我们显然需要一些东西。幸运的是，我们没有'；Idon’我不需要从头开始。以太坊魔术师已经存在很多年了。它的线下聚会、特别小组会议或社区会议可能是一个很好的扩张起点。

期待2023年初在这方面取得更多进展！

随着ProtocolGuild，PG)试点项目的一半完成，他们发布了一份报告来回顾事情的进展，并思考项目的下一步是什么。

提醒一下PG是一个面向以太坊Layer1客户端开发者、协议研究者和支持贡献者(比如你)的免许可资助机制。

这个机制是以个人为中心，而不是以组织为中心。总之，每个成员都有资格获得公会的代币份额，根据其对以太坊贡献的长短进行加权。成员的添加和删除是以真实的方式进行的。基于一套标准，宝洁公司内部达成了普遍共识。然后这个列表会被放到链上。，使用0xSplit的拆分契约。然后，捐赠者可以将资金直接寄给接受者'；的地址，或者将它们寄给一份将资金分配给接受者的授权合同。的地址。

本推文中总结了试点项目的中期报告。以下是一些要点

这个试点项目筹集了970万美元，资金来自很多组织。，比如Lido，Uniswap，ENS，NounsDAO和MolochDAO，还有一些经常捐款的个人(感谢Tetranode！谢谢你使这个计划成为可能？

PG发布时有90个成员，现在有128个成员，其中已经分发了500万美元

平均每个成员收到3.9万美元，其中最低的是1.3万美元。，最高为7.9万美元。

PG的架构正在改变，将支持L2，删除多签需求更新权重

展望未来现在是时候扩大PG的影响力，发挥它的潜力了：为以太坊的维护者提供有竞争力和风险调整的补偿。这里最简单的方法就是从项目一开始就给PG捐款。正如丹尼瑞安在开创PG的推文中所说。

试点项目中的大部分捐款来自大型项目，资金很多。如果协议公会能说服这些项目从第一天就捐钱给PG。也就是说，当他们的令牌仍然是真的"一文不值"，之后以太坊的维护者可以从这些成功项目的整个上升轨迹中获益。

当涉及足够多的项目时，激励措施可以留住维护协议的最佳人才。而不是把他们拉开。

为了支持这种捐赠和许多其他捐赠类型，宝洁公司需要进行技术创新。下一个版本将支持L1和L2，并进一步减少其链治理的足迹。

如果你想给协议会捐款，请联系我，电话——。我的DM开了！

这是2022年的最后总结.多么不平凡的一年！三个月前，我们没有'；甚至不能合并！现在以太坊一直在后台悄悄运行权益证书，重心转移到了未来事务上。

随着你一月份的回归，你可以期待：

上海/五车二升级开发者测试网络和影分叉

KZG仪式启动

围绕坎昆的讨论以及网络升级过程应该如何发展以更好地捕捉社区的偏好

协议公会的试点将结束，我们将在试点后宣布结构

感谢您的阅读。！感谢过去一年里花时间改进以太坊的每一个人。我们已经取得了很大成就。

2023年见！

相关内容