采用不同方法的原因是共识层(eth2)与执行层(eth1)之间的规范格式是不一样的。 虽然以太坊的规范格式一开始是黄皮书,但其大量数学语构的特点使其难以说明变更。相反,我们通常使用核心EIP(Core EIPs)来说明协议规则的变更。这些内容又再反馈到黄皮书上。 另一方面,以太坊2.0的规范一开始是用markdown文档来写,逐渐发展成现在用可执行的python规范。不用说,存在两套不同的方法是远不够理想的! 因此,“合并”的一个辅助举措是为执行层创建可执行的规范,与eth2.0-specs库的格式相匹配。这样,我们不仅可以为整个以太坊协议提供一个共同的规范格式,还能从规范生成自动化测试。这仍处于早期,Quilt团队已经开了一个PR,有一个初步的实现 上海升级 如之前的更新提到的,尽管“合并”是伦敦和Altair升级后的工作重点,开发者已经对下一次执行层的升级——上海升级有想法了。 这次升级会在“合并”之前或之后进行,取决于二者在12月的准备情况,因为届时难度炸弹需要再次被推迟。尽管这次升级目前还没有规范,也没有EIP被正式纳入,但有两份候选的:EIP-3074和EIP-3540。 EIP-3074 这份EIP旨在让智能合约在与用户地址互动上有更多的灵活性。这份EIP作者之一的 lightclient发的这个推文很好地总结了它的主要裨益。 有人担心这份EIP会改变一些安全假设,特别是关于msg.sender代表的地址,以及智能合约可以代表用户账户采取的行为广度。两家审计机构受委托研究这份EIP,以探索这些安全忧虑:Least Authority负责研究这份EIP本身;Dedaub负责研究EIP-3074会如何影响当前部署了的合约。 这是Least Authority的完整审计报告,审计者在最新的一次核心开发者会议里分享了他们研究成果的总结(从1:07:00开始)。在该次会议里,Dedaub也在Least Authority的分享后讨论了他们的审计结果,在推特上分享和总结了他们的报告。 尽管在该次会议里没有对3074作出任何决定,这些审计结果有助于澄清纳入这份EIP所涉及的安全权衡。同时,有人在Ethereum Magicians论坛上提出了"3074的替代方案",这将在本周的核心开发者会议上讨论。 EIP-3540 此提案依附于已被纳入伦敦升级的EIP-3541。它引入“一种用于EVM的可扩展、版本化容器格式,在部署时进行一次性验证。”这将有助于更好地分离代码与数据,两者现在客户端都需要在运行时间验证。 这个变更对多种用例都有所裨益,比如二层网络的代码验证、多字节操作码,可能会弃用JUMPDEST等。 这份EIP作者之一的Alex Beregszaszi最近分享了一个更完整的概述和路线图。 如果时间允许的化,下一次的核心开发者会议会讨论这份EIP。如果时间不允许的话,可能是再下一次会议。 (责任编辑:admin) |