原文作者：GaryMa
近日，，在此前的五大关键路线的基础上，新增了以解决交易审查和 MEV 风险为中心的关键路线 The Scourge。至此，以太坊未来的发展进化将主要分为六大关键路线，分別是：The MergVitalik 发布了以太坊的最新路线图e、The Surge、The Scourge、The Verge、The Purge、The Splurge。值得注意的是，这六大关键路线是同时推进的。下面，我们也根据这最新的路线图表，简单描述一下各个关键路线。
该路线的主要目标是构建去中心化、健壮简洁的 PoS 共识机制。以太坊目前已经成功切换为 PoS，接下来主要是针对网络验证者安全以及零星功能的修修补补：
Beosin：SEAMAN合约遭受漏洞攻击简析:金色财经报道，根据区块链安全审计公司Beosin旗下Beosin EagleEye 安全风险监控、预警与阻断平台监测显示，2022年11月29日，SEAMAN合约遭受漏洞攻击。Beosin分析发现是由于SEAMAN合约在每次transfer函数时，都会将SEAMAN代币兑换为凭证代币GVC，而SEAMAN代币和GVC代币分别处于两个交易对，导致攻击者可以利用该函数影响其中一个代币的价格。
攻击者首先通过50万BUSD兑换为GVC代币，接下来攻击者调用SEAMAN合约的transfer函数并转入最小单位的SEAMAN代币，此时会触发合约将能使用的SEAMAN代币兑换为GVC，兑换过程是合约在BUSD-SEAMAN交易对中将SEAMAN代币兑换为BUSD，接下来在BUSD-GVC交易对中将BUSD兑换为GVC，攻击者通过多次调用transfer函数触发_splitlpToken()函数，并且会将GVC分发给lpUser，会消耗BUSD-GVC交易对中GVC的数量，从而抬高了该交易对中GVC的价格。最后攻击者通过之前兑换的GVC兑换了50.7万的BUSD，获利7781 BUSD。Beosin Trace追踪发现被盗金额仍在攻击者账户（0x49fac69c51a303b4597d09c18bc5e7bf38ecf89c），将持续关注资金走向。[2022/11/29 21:10:04]
信标链取款功能的激活：目前已经作为 EIP-4895 的主要内容，准备于上海升级时部署，至于具体实施时间，在最新以太坊核心开发者会议上，开发者们只能模糊地估计数月内。
慢雾：DEUS Finance 二次被黑简析:据慢雾区情报，DEUS Finance DAO在4月28日遭受闪电贷攻击，慢雾安全团队以简讯的形式将攻击原理分享如下:
1.攻击者在攻击之前先往DeiLenderSolidex抵押了SolidexsAMM-USDC/DEI的LP。
2.在几个小时后攻击者先从多个池子闪电贷借出143200000USDC。
3.随后攻击者使用借来的USDC在BaseV1Pair进行了swap操作，兑换出了9547716.9个的DEI，由于DeiLenderSolidex中的getOnChainPrice函数是直接获取DEI-USDC交易对的代币余额进行LP价格计算。因此在此次Swap操作中将拉高getOnChainPrice函数获取的LP价格。
4.在进行Swap操作后，攻击者在DeiLenderSolidex合约中通过borrow函数进行借贷，由于borrow函数中用isSolvent进行借贷检查，而在isSolvent是使用了getOnChainPrice函数参与检查。但在步骤3中getOnChainPrice的结果已经被拉高了。导致攻击者超额借出更多的DEI。
5.最后着攻击者在把用借贷出来DEI兑换成USDC归还从几个池子借出来的USDC，获利离场。
针对该事件，慢雾安全团队给出以下防范建议：本次攻击的原因主要在于使用了不安全的预言机来计算LP价格，慢雾安全团队建议可以参考Alpha Finance关于获取公平LP价格的方法。[2022/4/28 2:37:18]
Distributed Validators（DV）：分布式验证者技术，旨在将以太坊验证者的工作分布到一组分布式节点中的技术，与目前在一台机器上运行验证者客户单的传统技术相比，更加能够提高安全性、在线弹性等，具体可见 DV 技术规范。
Grim Finance 被黑简析：攻击者通过闪电贷借出 WFTM 与 BTC 代币:据慢雾区情报，2021 年 12 月 19 日，Fantom 链上 Grim Finance 项目遭受攻击。慢雾安全团队进行分析后以简讯的形式分享给大家。
1. 攻击者通过闪电贷借出 WFTM 与 BTC 代币，并在 SpiritSwap 中添加流动性获得 SPIRIT-LP 流动性凭证。
2. 随后攻击者通过 Grim Finance 的 GrimBoostVault 合约中的 depositFor 函数进行流动性抵押操作，而 depositFor 允许用户指定转入的 token 并通过 safeTransferFrom 将用户指定的代币转入 GrimBoostVault 中，depositFor 会根据用户转账前后本合约与策略池预期接收代币(预期接收 want 代币，本次攻击中应为 SPIRIT-LP)的差值为用户铸造抵押凭证。
3. 但由于 depositFor 函数并未检查用户指定转入的 token 的合法性，攻击者在调用 depositFor 函数时传入了由攻击者恶意创建的代币合约地址。当 GrimBoostVault 通过 safeTransferFrom 函数调用恶意合约的 transferFrom 函数时，恶意合约再次重入调用了 depositFor 函数。攻击者进行了多次重入并在最后一次转入真正的 SPIRIT-LP 流动性凭证进行抵押，此操作确保了在重入前后 GrimBoostVault 预期接收代币的差值存在。随后 depositFor 函数根据此差值计算并为攻击者铸造对应的抵押凭证。
4. 由于攻击者对 GrimBoostVault 合约重入了多次，因此 GrimBoostVault 合约为攻击者铸造了远多于预期的抵押凭证。攻击者使用此凭证在 GrimBoostVault 合约中取出了远多于之前抵押的 SPIRIT-LP 流动性凭证。随后攻击者使用此 SPIRIT-LP 流动性凭证移除流动性获得 WFTM 与 BTC 代币并归还闪电贷完成获利。
此次攻击是由于 GrimBoostVault 合约的 depositFor 函数未对用户传入的 token 的合法性进行检查且无防重入锁，导致恶意用户可以传入恶意代币地址对 depositFor 进行重入获得远多于预期的抵押凭证。慢雾安全团队建议：对于用户传入的参数应检查其是否符合预期，对于函数中的外部调用应控制好外部调用带来的重入攻击等风险。[2021/12/19 7:49:04]
Single Secret Leader Election（SSLE）：单一秘密领导者选举，目前信标链采用的是 Single Leader Election，即每个 Slot 所选出的提议者会提前公开，使他们容易受到 DoS 攻击。通过将这一过程加密隐藏，只有提议者知道自己的身份，能够有效缓解潜在风险。
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]
Single Slot Finality（SSF）：单 Slot 最终性，当前以太坊区块需要 64 到 95 个 slot（约 15 分钟）才能实现最终确定性，不过 Vitalik 认为有充分的理由把最终确定性时间缩短为一个 slot，从而实现更好的用户体验，具体可见 SSF。
该路线的主要目标是推动以 Rollup 为中心的扩容，实现每秒 10 万的 TPS，主要分为两个阶段：
实现 Rollup 的初步扩容：EIP4844 向以太坊引入一种新的交易类型，这种交易类型携带短暂存在的 blob 数据，将使得 rollup 的开销降低 10-100 倍，同时结合初步的 OP Rollup 欺诈证明以及 ZK-EVMs 的辅助，实现初步扩容。
实现 Rollup 的完全扩容：在前者基础优化完善的同时，重点着手数据可用性 DA 方面的优化，如数据可用性抽样的客户端、P2P 设计等。
该路线的主要目标是确保可靠可信中立的交易纳入区块，避免网络出现中心化以及 MEV 相关风险等，而这其中的关键里程碑是在协议层面实现区块提议者与构建者分离，即 Proposer-Builder Separation/PBS。
在 PBS 的设计中，区块提议者负责从内存池中收入交易，并创建一个包含区块交易信息的列表 crList 传递给区块构建者们。区块构建者们以最大化 MEV 为目的对 crList 中的交易进行重新排序并构建区块，然后再向区块提议者提交他们的出价，而区块提议者就会选择出价最高者为有效的区块。
在实现 PBS 之后，进一步的还有以太坊开发者提出的 Smoothing MEV 方案，旨在减少每个验证者之间捕获的 MEV 的差距，最终目标是使每个验证者的奖励分布尽可能接近均匀，从而保证协议共识的稳定，同时还考虑潜在的 MEV 销毁可能。
该路线的主要目标是降低验证区块的门槛，包含两个关键里程碑检查点：
Verkle Trees：围绕 Verkle 树设计对 Merkle 树进行优化，使得验证者无需存储所有状态也能参与由交易验证成为可能。
Fully SNARKed：将 SNARK 全面引入到以太坊协议，如 EVM、Verkle 证明以及共识状态转换等，即使到了量子计算时代，也可切换到量子安全的 STARKs。
该路线的主要目标是简化以太坊协议，消除技术债务，通过清除历史数据，限制验证者参与网络的成本，减少节点的存储需求，甚至不再需要存储全节点数据，从而提高节点效率，间接提升 TPS。这其中主要包含两大关键里程碑检查点 History Expiry 和 State Expiry，鉴于该路线偏技术向，暂且按下不表。
该路线主要是一些零碎的优化修复，如账户抽象、EVM 优化以及随机数方案 VDF 等。
GaryMa
个人专栏
阅读更多
金色财经
PANews
达瓴智库
CT中文
区块律动BlockBeats
DeFi之道
web3中文
文章汇
01元宇宙
金色荐读
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。