原文作者：GaryMa?
近日，Vitalik发布了以太坊的最新路线图，在此前的五大关键路线的基础上，新增了以解决交易审查和MEV风险为中心的关键路线TheScourge。至此，以太坊未来的发展进化将主要分为六大关键路线，分別是：TheMerge、TheSurge、TheScourge、TheVerge、ThePurge、TheSplurge。值得注意的是，这六大关键路线是同时推进的。下面，我们也根据这最新的路线图表，简单描述一下各个关键路线。
TheMerge
安全公司：AurumNodePool合约遭受漏洞攻击简析:金色财经报道，据区块链安全审计公司Beosin EagleEye监测显示，2022年11月23日，AurumNodePool合约遭受漏洞攻击。
Beosin分析发现由于漏洞合约的changeRewardPerNode函数未进行验证，导致攻击者可以调用该函数进行任意值设置。
攻击者首先调用changeRewardPerNode函数将每日奖励值设置成一个极大数，接下来调用claimNodeReward函数提取节点奖励，而节点奖励的计算取决于攻击者设置的rewardPerDay值，导致计算的节点奖励非常高。而在这一笔交易之前，攻击者便通过一笔交易(0xb3bc6ca257387eae1cea3b997eb489c1a9c208d09ec4d117198029277468e25d)向合约存入了1000AUR，创建了攻击者的节点记录，从而使得攻击者能够提取出该节点奖励。最终攻击者通过该漏洞获得约50个BNB($14,538.04)。[2022/11/23 8:01:04]
该路线的主要目标是构建去中心化、健壮简洁的PoS共识机制。以太坊目前已经成功切换为PoS，接下来主要是针对网络验证者安全以及零星功能的修修补补：
Beosin：SheepFarm项目遭受攻击事件简析:金色财经报道，根据区块链安全审计公司Beosin旗下Beosin EagleEye 安全风险监控、预警与阻断平台监测显示，BNB链上的SheepFarm项目遭受漏洞攻击，Beosin分析发现由于SheepFarm合约的register函数可以多次调用，导致攻击者0x2131c67ed7b6aa01b7aa308c71991ef5baedd049多次利用register函数增大自身的gems，再利用upgradeVillage函数在消耗gems的同时累加yield属性，最后调用sellVillage方法把yield转换为money后再提款。本次攻击导致项目损失了约262个BNB，约7.2万美元。Beosin Trace追踪发现被盗金额仍在攻击者账户，将持续关注资金走向。[2022/11/16 13:10:39]
信标链取款功能的激活：目前已经作为EIP-4895的主要内容，准备于上海升级时部署，至于具体实施时间，在最新以太坊核心开发者会议上，开发者们只能模糊地估计数月内。
慢雾：Harmony Horizon bridge遭攻击简析:据慢雾安全团队消息，Harmony Horizon bridge 遭到黑客攻击。经慢雾 MistTrack 分析，攻击者（0x0d0...D00）获利超 1 亿美元，包括 11 种 ERC20 代币、13,100 ETH、5,000 BNB 以及 640,000 BUSD，在以太坊链攻击者将大部分代币转移到两个新钱包地址，并将代币兑换为 ETH，接着将 ETH 均转回初始地址（0x0d0...D00），目前地址（0x0d0...D00）约 85,837 ETH 暂无转移，同时，攻击者在 BNB 链暂无资金转移操作。慢雾 MistTrack 将持续监控被盗资金的转移。[2022/6/24 1:28:30]
DistributedValidators：分布式验证者技术，旨在将以太坊验证者的工作分布到一组分布式节点中的技术，与目前在一台机器上运行验证者客户单的传统技术相比，更加能够提高安全性、在线弹性等，具体可见DV技术规范。
Force DAO 代币增发漏洞简析:据慢雾区消息，DeFi 量化对冲基金 Force DAO 项目的 FORCE 代币被大量增发。经慢雾安全团队分析发现： 在用户进行 deposit 操纵时，Force DAO 会为用户铸造 xFORCE 代币，并通过 FORCE 代币合约的 transferFrom 函数将 FORCE 代币转入 ForceProfitSharing 合约中。但 FORCE 代币合约的 transferFrom 函数使用了 if-else 逻辑来检查用户的授权额度，当用户的授权额度不足时 transferFrom 函数返回 false，而 ForceProfitSharing 合约并未对其返回值进行检查。导致了 deposit 的逻辑正常执行，xFORCE 代币被顺利铸造给用户，但由于 transferFrom 函数执行失败 FORCE 代币并未被真正充值进 ForceProfitSharing 合约中。最终造成 FORCE 代币被非预期的大量铸造的问题。 此漏洞发生的主要原因在于 FORCE 代币的 transferFrom 函数使用了`假充值`写法，但外部合约在对其进行调用时并未严格的判断其返回值，最终导致这一惨剧的发生。慢雾安全团队建议在对接此类写法的代币时使用 require 对其返回值进行检查，以避免此问题的发生。[2021/4/4 19:45:30]
SingleSecretLeaderElection：单一秘密领导者选举，目前信标链采用的是SingleLeaderElection，即每个Slot所选出的提议者会提前公开，使他们容易受到DoS攻击。通过将这一过程加密隐藏，只有提议者知道自己的身份，能够有效缓解潜在风险。
SingleSlotFinality：单Slot最终性，当前以太坊区块需要64到95个slot才能实现最终确定性，不过Vitalik认为有充分的理由把最终确定性时间缩短为一个slot，从而实现更好的用户体验，具体可见SSF。
实现Rollup的初步扩容：EIP4844向以太坊引入一种新的交易类型，这种交易类型携带短暂存在的blob数据，将使得rollup的开销降低10-100倍，同时结合初步的OPRollup欺诈证明以及ZK-EVMs的辅助，实现初步扩容。
实现Rollup的完全扩容：在前者基础优化完善的同时，重点着手数据可用性DA方面的优化，如数据可用性抽样的客户端、P2P设计等。
TheScourge
该路线的主要目标是确保可靠可信中立的交易纳入区块，避免网络出现中心化以及MEV相关风险等，而这其中的关键里程碑是在协议层面实现区块提议者与构建者分离，即Proposer-BuilderSeparation/PBS。
在PBS的设计中，区块提议者负责从内存池中收入交易，并创建一个包含区块交易信息的列表crList传递给区块构建者们。区块构建者们以最大化MEV为目的对crList中的交易进行重新排序并构建区块，然后再向区块提议者提交他们的出价，而区块提议者就会选择出价最高者为有效的区块。
在实现PBS之后，进一步的还有以太坊开发者提出的SmoothingMEV方案，旨在减少每个验证者之间捕获的MEV的差距，最终目标是使每个验证者的奖励分布尽可能接近均匀，从而保证协议共识的稳定，同时还考虑潜在的MEV销毁可能。
VerkleTrees：围绕Verkle树设计对Merkle树进行优化，使得验证者无需存储所有状态也能参与由交易验证成为可能。
FullySNARKed：将SNARK全面引入到以太坊协议，如EVM、Verkle证明以及共识状态转换等，即使到了量子计算时代，也可切换到量子安全的STARKs。
TheSplurge
该路线主要是一些零碎的优化修复，如账户抽象、EVM优化以及随机数方案VDF等。
相关链接
DV?|?SSF?|?SmoothingMEV?|?VerkleTrees
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。